The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ricardo Peña-Marí: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
    High-level Parallel and Concurrent Programming in Eden. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:213-224 [Conf]
  2. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
    Eden - The Paradise of Functional Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:710-713 [Conf]
  3. Ricardo Peña-Marí, Luis A. Galán
    Proving Progress Properties of non Terminating Programs under Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:775-778 [Conf]
  4. R. Peña, C. M. Segura
    Reasoning About Skeletons in Eden. [Citation Graph (0, 0)][DBLP]
    PARCO, 2005, pp:851-858 [Conf]
  5. Ricardo Peña-Marí, Luis A. Galán
    Introducing Fairness in CSP Systems Specified with State Variables. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:757-760 [Conf]
  6. Ricardo Peña-Marí, Clara Segura
    Non-determinism analyses in a parallel-functional language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:1, pp:67-100 [Journal]
  7. Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
    Parallel functional programming in Eden. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:3, pp:431-475 [Journal]
  8. Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
    A sharing analysis for SAFE. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:109-128 [Conf]

  9. An Inference Algorithm for Guaranteeing Safe Destruction. [Citation Graph (, )][DBLP]


  10. Formal Certification of a Resource-Aware Language Implementation. [Citation Graph (, )][DBLP]


  11. A Simple Region Inference Algorithm for a First-Order Functional Language. [Citation Graph (, )][DBLP]


  12. A Certified Implementation on Top of the Java Virtual Machine. [Citation Graph (, )][DBLP]


  13. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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