Ricardo Peña-Marí

Ricardo Pena

2009
43	EE	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	EE	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151
41	EE	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	EE	Ricardo Peña-Marí, Clara Segura: Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005)
38	EE	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	EE	Rafael Martínez, Ricardo Pena: Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. IFL 2003: 135-151
34	EE	Clara Segura, Ricardo Pena: Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85
33	EE	Alberto de la Encina, Ricardo Pena: Formally deriving an STG machine. PPDP 2003: 102-112
32	EE	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	EE	Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641
30	EE	Ricardo Pena, Clara Segura: Sized Types for Typing Eden Skeletons. IFL 2001: 1-17
29	EE	Ricardo Pena, Clara Segura: A Polynomial-Cost Non-determinism Analysis. IFL 2001: 121-137
28	EE	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	EE	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	EE	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	EE	Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena: The Eden Coordination Model for Distributed Memory Systems. HIPS 1997: 120-124
15	EE	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	Alberto de la Encina	[28] [33] [43]
6	Luis A. Galán	[6] [7] [10] [12] [14] [17]
7	Kevin Hammond	[32]
8	Felix Hernandez	[21]
9	Susumu Horiguchi	[32]
10	Ulrike Klusik	[15] [19] [20] [32]
11	Hans-Wolfgang Loidl	[32]
12	Rita Loogen	[13] [15] [16] [18] [32] [38]
13	Rafael Martínez	[35]
14	Greg Michaelson	[32] [37]
15	Manuel Montenegro	[40] [41] [42]
16	Marisa Navarro	[1]
17	Pilar Nivela	[1]
18	Manuel Núñez	[7] [9] [11]
19	Fernando Orejas	[1]
20	Yolanda Ortega-Mallén	[13] [15] [16] [18] [19] [38]
21	Pedro Palao	[9]
22	Pedro Palao-Gostanza	[11]
23	Cristóbal Pareja	[7] [8] [10] [14] [22] [24] [31]
24	Álvaro J. Rebón Portillo	[32]
25	Steffen Priebe	[32]
26	Celestí Rosselló	[2]
27	Fernando Rubio	[21] [22] [24] [26] [27] [31] [32]
28	Ana Sánchez	[1]
29	Norman Scaife	[32]
30	Clara Segura	[20] [22] [24] [25] [26] [29] [30] [31] [34] [39] [40] [41] [42]
31	Philip W. Trinder	[32] [37]
32	J. Ángel Velázquez-Iturbide	[8]

Colors in the list of coauthors