Search the dblp DataBase
Ricardo Pena: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena
Term Rewriting Methods for Partial Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1988, pp:- [Conf] - Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena
Non Homomorphic Reductions of Data Structures. [Citation Graph (0, 0)][DBLP]
GULP-PRODE (2), 1994, pp:393-407 [Conf] - Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. [Citation Graph (0, 0)][DBLP]
APPIA-GULP-PRODE, 1996, pp:245-258 [Conf] - Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide
A Tabulation Transformation Tactic Using Haskell Arrays. [Citation Graph (0, 0)][DBLP]
GULP-PRODE, 1995, pp:485-496 [Conf] - Luis A. Galán, Ricardo Pena
Verification and Refinement of Distributed Programs in a Fair Framework. [Citation Graph (0, 0)][DBLP]
ARTS, 1997, pp:280-294 [Conf] - Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Adding Traces to a Lazy Monadic Evaluator. [Citation Graph (0, 0)][DBLP]
EUROCAST, 2001, pp:627-641 [Conf] - Manuel Núñez, Pedro Palao, Ricardo Pena
A Second Year Course on Data Structures Based on Functional Programming. [Citation Graph (0, 0)][DBLP]
FPLE, 1995, pp:65-84 [Conf] - Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
The Eden Coordination Model for Distributed Memory Systems. [Citation Graph (0, 0)][DBLP]
HIPS, 1997, pp:120-124 [Conf] - Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
A New Look to Pattern Matching in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
ICFP, 1996, pp:110-121 [Conf] - Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena
Implementing Eden - or: Dreams Become Reality. [Citation Graph (0, 0)][DBLP]
IFL, 1998, pp:103-119 [Conf] - Rafael Martínez, Ricardo Pena
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. [Citation Graph (0, 0)][DBLP]
IFL, 2003, pp:135-151 [Conf] - Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
DREAM: The DistRibuted Eden Abstract Machine. [Citation Graph (0, 0)][DBLP]
Implementation of Functional Languages, 1997, pp:250-269 [Conf] - Ricardo Pena, Clara Segura
Non-determinism Analysis in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP]
IFL, 2000, pp:1-18 [Conf] - Ricardo Pena, Clara Segura
Sized Types for Typing Eden Skeletons. [Citation Graph (0, 0)][DBLP]
IFL, 2001, pp:1-17 [Conf] - Ricardo Pena, Clara Segura
A Polynomial-Cost Non-determinism Analysis. [Citation Graph (0, 0)][DBLP]
IFL, 2001, pp:121-137 [Conf] - Alberto de la Encina, Ricardo Pena
Proving the Correctness of the STG Machine. [Citation Graph (0, 0)][DBLP]
IFL, 2001, pp:88-104 [Conf] - Clara Segura, Ricardo Pena
Correctness of Non-determinism Analyses in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP]
IFL, 2003, pp:69-85 [Conf] - Luis M. Alonso, Ricardo Pena
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:75-91 [Conf] - Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:289-303 [Conf] - Alberto de la Encina, Ricardo Pena
Formally deriving an STG machine. [Citation Graph (0, 0)][DBLP]
PPDP, 2003, pp:102-112 [Conf] - Ricardo Pena, Fernando Rubio
Parallel Functional Programming at Two Levels of Abstraction. [Citation Graph (0, 0)][DBLP]
PPDP, 2001, pp:187-198 [Conf] - Felix Hernandez, Ricardo Pena, Fernando Rubio
From GranSim to Paradise. [Citation Graph (0, 0)][DBLP]
Scottish Functional Programming Workshop, 1999, pp:11-19 [Conf] - Ulrike Klusik, Ricardo Pena, Clara Segura
Bypassing of Channels in Eden. [Citation Graph (0, 0)][DBLP]
Scottish Functional Programming Workshop, 1999, pp:2-10 [Conf] - Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Optimising Eden by transformation. [Citation Graph (0, 0)][DBLP]
Scottish Functional Programming Workshop, 2000, pp:13-26 [Conf] - Ricardo Pena, Fernando Rubio, Clara Segura
Deriving Non-Hierarchical Process Topologies. [Citation Graph (0, 0)][DBLP]
Scottish Functional Programming Workshop, 2001, pp:51-62 [Conf] - Ricardo Pena, Luis M. Alonso
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. [Citation Graph (0, 0)][DBLP]
TAPSOFT, Vol.2, 1989, pp:328-344 [Conf] - Ricardo Pena, Luis M. Alonso
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1993, pp:328-342 [Conf] - Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Optimizing Eden by Program Transformation. [Citation Graph (0, 0)][DBLP]
WFLP, 2000, pp:89-103 [Conf] - Ricardo Pena
Compiler Construction in a Functional Setting. [Citation Graph (0, 0)][DBLP]
WFLP, 2000, pp:510-524 [Conf] - 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 [Citation Graph (0, 0)][DBLP]
Higher-Order and Symbolic Computation, 2003, v:16, n:3, pp:203-251 [Journal] - Celestí Rosselló, José L. Balcázar, Ricardo Pena
Deriving Specifications of Embeddings in Recursive Program Design. [Citation Graph (0, 0)][DBLP]
Structured Programming, 1989, v:10, n:3, pp:133-145 [Journal]
A type system for safe memory management and its proof of correctness. [Citation Graph (, )][DBLP]
Search in 0.045secs, Finished in 0.047secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002