| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Okada, I Satoh Lecture notes in computer science (including subseries lecture notes in …, 2007 | 260* | 2007 |
| Parallel functional programming in Eden R Loogen, Y Ortega-Mallén, R Peña-Marí Journal of Functional Programming 15 (3), 431-475, 2005 | 241 | 2005 |
| The In Vitro Mass-Produced Model Mycorrhizal Fungus, Rhizophagus irregularis, Significantly Increases Yields of the Globally Important Food Security Crop … I Ceballos, M Ruiz, C Fernández, R Peña, A Rodríguez, IR Sanders PLoS one 8 (8), e70633, 2013 | 235 | 2013 |
| Comparing parallel functional languages: Programming and performance HW Loidl, F Rubio, N Scaife, K Hammond, S Horiguchi, U Klusik, ... Higher-Order and Symbolic Computation 16, 203-251, 2003 | 132 | 2003 |
| Diseño de programas: formalismo y abstracción R Peña Marí Diseño de programas: formalismo y abstracción, 1997 | 127 | 1997 |
| The Eden coordination model for distributed memory systems S Breitinger, R Loogen, Y Ortega-Mallén, R Pena Proceedings Second International Workshop on High-Level Parallel Programming …, 1997 | 68 | 1997 |
| Eden: Language definition and operational semantics S Breitinger, R Loogen, Y Ortega-Mallén, R Pena Technical Report 96–10, Phillips Universität Marburg, 1996 | 63 | 1996 |
| Parallelism abstractions in Eden R Loogen, Y Ortega, R Peña, S Priebe, F Rubio Patterns and Skeletons for Parallel and Distributed Computing, 95-128, 2003 | 60 | 2003 |
| A new look at pattern matching in abstract data types P Palao Gostanza, R Pena, M Núnez ACM SIGPLAN Notices 31 (6), 110-121, 1996 | 40 | 1996 |
| A type system for safe memory management and its proof of correctness M Montenegro, R Pena, C Segura Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 39 | 2008 |
| Algorítmica: Concepción y análisis G Brassard, P Bratley, R Peña Marí, C Rosselló Balanyá Algorítmica: concepción y análisis, 1990 | 38 | 1990 |
| Dream: The distributed eden abstract machine S Breitinger, U Klusik, R Loogen, Y Ortega-Mallén, R Pena Implementation of Functional Languages: 9th International Workshop, IFL'97 …, 1998 | 37 | 1998 |
| De Euclides a Java. Historia de los algoritmos y de los lenguajes de programación R Peña Marí De Euclides a Java. Historia de los algoritmos y de los lenguajes de …, 2006 | 36 | 2006 |
| Eden—the paradise of functional concurrent programming S Breitinger, R Loogen, Y Ortega-Mallén, R Peña-Marí Euro-Par'96 Parallel Processing: Second International Euro-Par Conference …, 1996 | 35 | 1996 |
| A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 32 | 2007 |
| A simple region inference algorithm for a first-order functional language M Montenegro, R Pena, C Segura International Workshop on Functional and Constraint Logic Programming, 145-161, 2009 | 31 | 2009 |
| From natural semantics to C: A formal derivation of two STG machines A De La Encina, R Pena Journal of Functional Programming 19 (1), 47-94, 2009 | 28 | 2009 |
| An inference algorithm for guaranteeing safe destruction M Montenegro, R Pena, C Segura Logic-Based Program Synthesis and Transformation: 18th International …, 2009 | 25 | 2009 |
| Parallel functional programming at two levels of abstraction R Pena, F Rubio Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001 | 25 | 2001 |
| Functional skeletons generate process topologies in Eden LA Galán, C Pareja, R Pena Programming Languages: Implementations, Logics, and Programs: 8th …, 1996 | 25 | 1996 |
