Yolanda Ortega-Malln
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1990–2017
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CONCUR | Rule Formats for Nominal Process Calculi. | Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln |
| 2012 | ICTAC | A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. | Lidia Snchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Malln |
| 2011 | SAC | Relating function spaces to resourced function spaces. | Lidia Snchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Malln |
| 2003 | APLAS | Continutation Semantics for Parallel Haskell Dialects. | Mercedes Hidalgo-Herrero, Yolanda Ortega-Malln |
| 1997 | HIPS | The Eden Coordination Model for Distributed Memory Systems. | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Malln, Ricardo Pena |
| 1996 | EuroPar | Eden - The Paradise of Functional Concurrent Programming. | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Malln, Ricardo Pea-Mar |
| 1990 | FORTE | Graphical Composition Theorems for Parallel and Hiding Operators. | Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Malln |