Ricardo Peña-Marí

Ricardo Pena

	2009
46		Javier de Dios, Ricardo Peña-Marí: A Certified Implementation on Top of the Java Virtual Machine. FMICS 2009: 181-196
45		Javier de Dios, Ricardo Peña-Marí: Formal Certification of a Resource-Aware Language Implementation. TPHOLs 2009: 196-211
44		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)
43		Alberto de la Encina, Ricardo Peña-Marí: From natural semantics to C: A formal derivation of two STG machines. J. Funct. Program. 19(1): 47-94 (2009)
	2008
42		Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151
41		Manuel Montenegro, Ricardo Pena, Clara Segura: A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162
	2006
40		Ricardo Peña-Marí, Clara Segura, Manuel Montenegro: A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128
	2005
39		Ricardo Peña-Marí, Clara Segura: Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005)
38		Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: Parallel functional programming in Eden. J. Funct. Program. 15(3): 431-475 (2005)
	2004
37		Philip W. Trinder, Greg Michaelson, Ricardo Pena: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers Springer 2004
	2003
36		Ricardo Pena, Thomas Arts: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers Springer 2003
35		Rafael Martínez, Ricardo Pena: Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. IFL 2003: 135-151
34		Clara Segura, Ricardo Pena: Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85
33		Alberto de la Encina, Ricardo Pena: Formally deriving an STG machine. PPDP 2003: 102-112
32		Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder: Comparing Parallel Functional Languages: Programming and Performance Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
	2001
31		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641
30		Ricardo Pena, Clara Segura: Sized Types for Typing Eden Skeletons. IFL 2001: 1-17
29		Ricardo Pena, Clara Segura: A Polynomial-Cost Non-determinism Analysis. IFL 2001: 121-137
28		Alberto de la Encina, Ricardo Pena: Proving the Correctness of the STG Machine. IFL 2001: 88-104
27		Ricardo Pena, Fernando Rubio: Parallel Functional Programming at Two Levels of Abstraction. PPDP 2001: 187-198
26		Ricardo Pena, Fernando Rubio, Clara Segura: Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62
	2000
25		Ricardo Pena, Clara Segura: Non-determinism Analysis in a Parallel-Functional Language. IFL 2000: 1-18
24		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26
23		Ricardo Pena: Compiler Construction in a Functional Setting. WFLP 2000: 510-524
22		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimizing Eden by Program Transformation. WFLP 2000: 89-103
	1999
21		Felix Hernandez, Ricardo Pena, Fernando Rubio: From GranSim to Paradise. Scottish Functional Programming Workshop 1999: 11-19
20		Ulrike Klusik, Ricardo Pena, Clara Segura: Bypassing of Channels in Eden. Scottish Functional Programming Workshop 1999: 2-10
	1998
19		Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena: Implementing Eden - or: Dreams Become Reality. IFL 1998: 103-119
	1997
18		Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: High-level Parallel and Concurrent Programming in Eden. APPIA-GULP-PRODE 1997: 213-224
17		Luis A. Galán, Ricardo Pena: Verification and Refinement of Distributed Programs in a Fair Framework. ARTS 1997: 280-294
16		Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena: The Eden Coordination Model for Distributed Memory Systems. HIPS 1997: 120-124
15		Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena: DREAM: The DistRibuted Eden Abstract Machine. Implementation of Functional Languages 1997: 250-269
	1996
14		Luis A. Galán, Cristóbal Pareja, Ricardo Pena: Functional Skeletons Generate Process Topologies in Eden. APPIA-GULP-PRODE 1996: 245-258
13		Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: Eden - The Paradise of Functional Concurrent Programming. Euro-Par, Vol. I 1996: 710-713
12		Ricardo Peña-Marí, Luis A. Galán: Proving Progress Properties of non Terminating Programs under Fairness Assumptions. Euro-Par, Vol. I 1996: 775-778
11		Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez: A New Look to Pattern Matching in Abstract Data Types. ICFP 1996: 110-121
10		Luis A. Galán, Cristóbal Pareja, Ricardo Pena: Functional Skeletons Generate Process Topologies in Eden. PLILP 1996: 289-303
	1995
9		Manuel Núñez, Pedro Palao, Ricardo Pena: A Second Year Course on Data Structures Based on Functional Programming. FPLE 1995: 65-84
8		Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide: A Tabulation Transformation Tactic Using Haskell Arrays. GULP-PRODE 1995: 485-496
	1994
7		Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena: Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) 1994: 393-407
6		Ricardo Peña-Marí, Luis A. Galán: Introducing Fairness in CSP Systems Specified with State Variables. PARLE 1994: 757-760
	1993
5		Ricardo Pena, Luis M. Alonso: A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. TAPSOFT 1993: 328-342
	1991
4		Luis M. Alonso, Ricardo Pena: Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. PARLE (2) 1991: 75-91
	1989
3		Ricardo Pena, Luis M. Alonso: Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. TAPSOFT, Vol.2 1989: 328-344
2		Celestí Rosselló, José L. Balcázar, Ricardo Pena: Deriving Specifications of Embeddings in Recursive Program Design. Structured Programming 10(3): 133-145 (1989)
	1988
1		Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena: Term Rewriting Methods for Partial Specifications. ADT 1988

Coauthor Index

1	Luis M. Alonso	[3] [4] [5]
2	Thomas Arts	[36]
3	José L. Balcázar	[2]
4	Silvia Breitinger	[13] [15] [16] [18]
5	Javier de Dios	[45] [46]
6	Alberto de la Encina	[28] [33] [43]
7	Luis A. Galán	[6] [7] [10] [12] [14] [17]
8	Kevin Hammond	[32]
9	Felix Hernandez	[21]
10	Susumu Horiguchi	[32]
11	Ulrike Klusik	[15] [19] [20] [32]
12	Hans-Wolfgang Loidl	[32]
13	Rita Loogen	[13] [15] [16] [18] [32] [38]
14	Rafael Martínez (Rafael Martínez-Olalla)	[35]
15	Greg Michaelson	[32] [37]
16	Manuel Montenegro	[40] [41] [42] [44]
17	Marisa Navarro	[1]
18	Pilar Nivela	[1]
19	Manuel Núñez	[7] [9] [11]
20	Fernando Orejas	[1]
21	Yolanda Ortega-Mallén	[13] [15] [16] [18] [19] [38]
22	Pedro Palao	[9]
23	Pedro Palao-Gostanza	[11]
24	Cristóbal Pareja-Flores (Cristóbal Pareja)	[7] [8] [10] [14] [22] [24] [31]
25	Álvaro J. Rebón Portillo	[32]
26	Steffen Priebe	[32]
27	Celestí Rosselló	[2]
28	Fernando Rubio	[21] [22] [24] [26] [27] [31] [32]
29	Ana Sánchez	[1]
30	Norman Scaife	[32]
31	Clara Segura	[20] [22] [24] [25] [26] [29] [30] [31] [34] [39] [40] [41] [42] [44]
32	Philip W. Trinder	[32] [37]
33	J. Ángel Velázquez-Iturbide	[8]

Colors in the list of coauthors