Clara Segura

	2009
18		Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. Electr. Notes Theor. Comput. Sci. 246: 167-182 (2009)
	2008
17		Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler: Interactive Learning of Data Structures and Algorithmic Schemes. ICCS (1) 2008: 800-809
16		Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151
15		Manuel Montenegro, Ricardo Pena, Clara Segura: A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162
	2007
14		Clara Segura, Carmen Torrano: Using Template Haskell for Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 177: 201-217 (2007)
	2006
13		Ricardo Peña-Marí, Clara Segura, Manuel Montenegro: A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128
12		Fernando Rosa Velardo, Clara Segura, Alberto Verdejo: Typed Mobile Ambients in Maude. Electr. Notes Theor. Comput. Sci. 147(1): 135-161 (2006)
	2005
11		Fernando Rosa Velardo, Clara Segura, David de Frutos-Escrig: Tagged Systems: A Framework for the Specification of History-dependent Properties. Electr. Notes Theor. Comput. Sci. 137(1): 151-174 (2005)
10		Ricardo Peña-Marí, Clara Segura: Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005)
	2003
9		Clara Segura, Ricardo Pena: Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85
	2001
8		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641
7		Ricardo Pena, Clara Segura: Sized Types for Typing Eden Skeletons. IFL 2001: 1-17
6		Ricardo Pena, Clara Segura: A Polynomial-Cost Non-determinism Analysis. IFL 2001: 121-137
5		Ricardo Pena, Fernando Rubio, Clara Segura: Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62
	2000
4		Ricardo Pena, Clara Segura: Non-determinism Analysis in a Parallel-Functional Language. IFL 2000: 1-18
3		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26
2		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimizing Eden by Program Transformation. WFLP 2000: 89-103
	1999
1		Ulrike Klusik, Ricardo Pena, Clara Segura: Bypassing of Channels in Eden. Scottish Functional Programming Workshop 1999: 2-10

Coauthor Index

1	David de Frutos-Escrig	[11]
2	Ulrike Klusik	[1]
3	Manuel Montenegro	[13] [15] [16] [18]
4	Cristóbal Pareja-Flores (Cristóbal Pareja)	[2] [3] [8]
5	Ricardo Peña-Marí (Ricardo Pena)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13] [15] [16] [18]
6	Isabel Pita	[17]
7	Fernando Rubio	[2] [3] [5] [8]
8	Ana Isabel Saiz	[17]
9	Pablo Soler	[17]
10	Carmen Torrano	[14]
11	Fernando Rosa Velardo	[11] [12]
12	Alberto Verdejo	[12]
13	Rafael del Vado Vírseda	[17]

Colors in the list of coauthors