Ricardo Pea-Mar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–2009
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FMICS | A Certified Implementation on Top of the Java Virtual Machine. | Javier de Dios, Ricardo Pea-Mar |
| 2008 | LOPSTR | An Inference Algorithm for Guaranteeing Safe Destruction. | Manuel Montenegro, Ricardo Pea-Mar, Clara Segura |
| 1996 | EuroPar | Eden - The Paradise of Functional Concurrent Programming. | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Malln, Ricardo Pea-Mar |
| 1996 | EuroPar | Proving Progress Properties of non Terminating Programs under Fairness Assumptions. | Ricardo Pea-Mar, Luis A. Galn |