Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ricardo Peña-Marí
Ricardo Peña – Ricardo Pena
2010 – today
- 2012
[e5]Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska (Eds.): Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7177, Springer 2012, ISBN 978-3-642-32494-9
[e4]Ricardo Peña, Rex L. Page (Eds.): Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Springer 2012, ISBN 978-3-642-32036-1- 2011
[c46]Alexander Zemliak, Ricardo Peña, Eduardo Rios, F. Reyes: Generalized optimization methodology of second level for system design. CONIELECOMP 2011: 22-27
[c45]
[c44]Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña: Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA 2011: 36-53
[c43]Ricardo Peña, Agustin D. Delgado-Muñoz: Size Invariant and Ranking Function Synthesis in a Functional Language. WFLP 2011: 52-67- 2010
[c42]Javier de Dios, Manuel Montenegro, Ricardo Peña: Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM 2010: 305-319
[e3]Manuel Carro, Ricardo Peña (Eds.): Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937, Springer 2010, ISBN 978-3-642-11502-8
2000 – 2009
- 2009
[j7]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)
[j6]Paqui Lucio, Ginés Moreno, Ricardo Peña: Preface. Electr. Notes Theor. Comput. Sci. 258(1): 1-2 (2009)
[j5]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)
[c41]Javier de Dios, Ricardo Peña-Marí: A Certified Implementation on Top of the Java Virtual Machine. FMICS 2009: 181-196
[c40]Manuel Montenegro, Ricardo Peña, Clara Segura: A Space Consumption Analysis by Abstract Interpretation. FOPARA 2009: 34-50
[c39]Javier de Dios, Ricardo Peña-Marí: Formal Certification of a Resource-Aware Language Implementation. TPHOLs 2009: 196-211
[c38]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP 2009: 145-161- 2008
[c37]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151
[c36]Manuel Montenegro, Ricardo Pena, Clara Segura: A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162- 2006
[c35]Ricardo Peña-Marí, Clara Segura, Manuel Montenegro: A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128- 2005
[j4]Ricardo Peña-Marí, Clara Segura: Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005)
[j3]Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: Parallel functional programming in Eden. J. Funct. Program. 15(3): 431-475 (2005)
[c34]- 2004
[e2]Philip W. Trinder, Greg Michaelson, Ricardo Pena (Eds.): Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5- 2003
[j2]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)
[c33]Clara Segura, Ricardo Pena: Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85
[c32]Rafael Martínez, Ricardo Pena: Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. IFL 2003: 135-151
[c31]
[e1]Ricardo Pena, Thomas Arts (Eds.): Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2670, Springer 2003, ISBN 3-540-40190-3- 2001
[c30]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641
[c29]
[c28]
[c27]
[c26]Ricardo Pena, Fernando Rubio: Parallel Functional Programming at Two Levels of Abstraction. PPDP 2001: 187-198
[c25]Ricardo Pena, Fernando Rubio, Clara Segura: Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62- 2000
[c24]Ricardo Pena, Clara Segura: Non-determinism Analysis in a Parallel-Functional Language. IFL 2000: 1-18
[c23]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26
[c22]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimizing Eden by Program Transformation. WFLP 2000: 89-103
[c21]
1990 – 1999
- 1999
[c20]Ulrike Klusik, Ricardo Pena, Clara Segura: Bypassing of Channels in Eden. Scottish Functional Programming Workshop 1999: 2-10
[c19]Felix Hernandez, Ricardo Pena, Fernando Rubio: From GranSim to Paradise. Scottish Functional Programming Workshop 1999: 11-19- 1998
[c18]Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena: Implementing Eden - or: Dreams Become Reality. IFL 1998: 103-119- 1997
[c17]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
[c16]Luis A. Galán, Ricardo Pena: Verification and Refinement of Distributed Programs in a Fair Framework. ARTS 1997: 280-294
[c15]Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena: The Eden Coordination Model for Distributed Memory Systems. HIPS 1997: 120-124
[c14]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
[c13]Luis A. Galán, Cristóbal Pareja, Ricardo Pena: Functional Skeletons Generate Process Topologies in Eden. APPIA-GULP-PRODE 1996: 245-258
[c12]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
[c11]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
[c10]Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez: A New Look to Pattern Matching in Abstract Data Types. ICFP 1996: 110-121
[c9]Luis A. Galán, Cristóbal Pareja, Ricardo Pena: Functional Skeletons Generate Process Topologies in Eden. PLILP 1996: 289-303- 1995
[c8]Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide: A Tabulation Transformation Tactic Using Haskell Arrays. GULP-PRODE 1995: 485-496
[c7]Manuel Núñez, Pedro Palao, Ricardo Pena: A Second Year Course on Data Structures Based on Functional Programming. FPLE 1995: 65-84- 1994
[c6]Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena: Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) 1994: 393-407
[c5]Ricardo Peña-Marí, Luis A. Galán: Introducing Fairness in CSP Systems Specified with State Variables. PARLE 1994: 757-760- 1993
[c4]Ricardo Pena, Luis M. Alonso: A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. TAPSOFT 1993: 328-342- 1991
[c3]Luis M. Alonso, Ricardo Pena: Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. PARLE (2) 1991: 75-91
1980 – 1989
- 1989
[j1]Celestí Rosselló, José L. Balcázar, Ricardo Pena: Deriving Specifications of Embeddings in Recursive Program Design. Structured Programming 10(3): 133-145 (1989)
[c2]Ricardo Pena, Luis M. Alonso: Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. TAPSOFT, Vol.2 1989: 328-344- 1988
[c1]Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena: Term Rewriting Methods for Partial Specifications. ADT 1988
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-04 22:20 CEST by the dblp team



