Ricardo Peña-Marí

Ricardo Peña, Ricardo Pena

	2011
54		Alexander Zemliak, Ricardo Peña, Eduardo Rios, F. Reyes: Generalized optimization methodology of second level for system design. CONIELECOMP 2011: 22-27
53		Javier de Dios, Ricardo Peña: Certification of Safe Polynomial Memory Bounds. FM 2011: 184-199
52		Ricardo Peña, Agustin D. Delgado-Muñoz: Size Invariant and Ranking Function Synthesis in a Functional Language. WFLP 2011: 52-67
	2010
51		Manuel Carro, Ricardo Peña: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings Springer 2010
50		Javier de Dios, Manuel Montenegro, Ricardo Peña: Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM 2010: 305-319
	2009
49		Javier de Dios, Ricardo Peña-Marí: A Certified Implementation on Top of the Java Virtual Machine. FMICS 2009: 181-196
48		Javier de Dios, Ricardo Peña-Marí: Formal Certification of a Resource-Aware Language Implementation. TPHOLs 2009: 196-211
47		Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP 2009: 145-161
46		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)
45		Paqui Lucio, Ginés Moreno, Ricardo Peña: Preface. Electr. Notes Theor. Comput. Sci. 258(1): 1-2 (2009)
44		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
43		Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151
42		Manuel Montenegro, Ricardo Pena, Clara Segura: A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162
	2006
41		Ricardo Peña-Marí, Clara Segura, Manuel Montenegro: A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128
	2005
40		Ricardo Peña-Marí, Clara Segura: Reasoning About Skeletons in Eden. PARCO 2005: 851-858
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	Manuel Carro	[51]
6	Agustin D. Delgado-Muñoz	[52]
7	Javier de Dios	[48] [49] [50] [53]
8	Alberto de la Encina	[28] [33] [44]
9	Luis A. Galán	[6] [7] [10] [12] [14] [17]
10	Kevin Hammond	[32]
11	Felix Hernandez	[21]
12	Susumu Horiguchi	[32]
13	Ulrike Klusik	[15] [19] [20] [32]
14	Hans-Wolfgang Loidl	[32]
15	Rita Loogen	[13] [15] [16] [18] [32] [38]
16	Paqui Lucio	[45]
17	Rafael Martínez (Rafael Martínez-Olalla)	[35]
18	Greg Michaelson	[32] [37]
19	Manuel Montenegro	[41] [42] [43] [46] [47] [50]
20	Ginés Moreno	[45]
21	Marisa Navarro	[1]
22	Pilar Nivela	[1]
23	Manuel Núñez	[7] [9] [11]
24	Fernando Orejas	[1]
25	Yolanda Ortega-Mallén	[13] [15] [16] [18] [19] [38]
26	Pedro Palao	[9]
27	Pedro Palao-Gostanza	[11]
28	Cristóbal Pareja-Flores (Cristóbal Pareja)	[7] [8] [10] [14] [22] [24] [31]
29	Álvaro J. Rebón Portillo	[32]
30	Steffen Priebe	[32]
31	F. Reyes	[54]
32	Eduardo Rios	[54]
33	Celestí Rosselló	[2]
34	Fernando Rubio	[21] [22] [24] [26] [27] [31] [32]
35	Ana Sánchez	[1]
36	Norman Scaife	[32]
37	Clara Segura	[20] [22] [24] [25] [26] [29] [30] [31] [34] [39] [40] [41] [42] [43] [46] [47]
38	Philip W. Trinder	[32] [37]
39	J. Ángel Velázquez-Iturbide	[8]
40	Alexander Zemliak (A. M. Zemliak)	[54]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page