The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ricardo Pena: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Ricardo Pena, Clara Segura
    Non-determinism Analysis in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:1-18 [Conf]
  14. Ricardo Pena, Clara Segura
    Sized Types for Typing Eden Skeletons. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:1-17 [Conf]
  15. Ricardo Pena, Clara Segura
    A Polynomial-Cost Non-determinism Analysis. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:121-137 [Conf]
  16. Alberto de la Encina, Ricardo Pena
    Proving the Correctness of the STG Machine. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:88-104 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Alberto de la Encina, Ricardo Pena
    Formally deriving an STG machine. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:102-112 [Conf]
  21. Ricardo Pena, Fernando Rubio
    Parallel Functional Programming at Two Levels of Abstraction. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:187-198 [Conf]
  22. Felix Hernandez, Ricardo Pena, Fernando Rubio
    From GranSim to Paradise. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:11-19 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Ricardo Pena
    Compiler Construction in a Functional Setting. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:510-524 [Conf]
  30. 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]
  31. 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]

  32. A type system for safe memory management and its proof of correctness. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.013secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002