- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c15 |      | Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. ICTAC 2012: 105-119 |
| 2011 | ||
| c14 | | Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: Relating function spaces to resourced function spaces. SAC 2011: 1301-1308 |
| 2009 | ||
| j6 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: To be or not to be ...lazy (In a Parallel Context). Electr. Notes Theor. Comput. Sci. 258(1): 21-39 (2009) |
| 2007 | ||
| j5 | | Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén: Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electr. Notes Theor. Comput. Sci. 174(10): 119-137 (2007) |
| 2006 | ||
| j4 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing 32(7-8): 523-538 (2006) |
| c13 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. IFL 2006: 55-72 |
| 2005 | ||
| j3 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: Dealing Denotationally With Stream-based Communication. Electr. Notes Theor. Comput. Sci. 137(1): 47-68 (2005) |
| j2 | | Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: Parallel functional programming in Eden. J. Funct. Program. 15(3): 431-475 (2005) |
| c12 |  | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Towards Improving Skeletons in Eden. PARCO 2005: 843-850 |
| 2003 | ||
| c11 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: Continutation Semantics for Parallel Haskell Dialects. APLAS 2003: 303-321 |
| 2002 | ||
| j1 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: An Operational Semantics for the Parallel Language Eden. Parallel Processing Letters 12(2): 211-228 (2002) |
| 2000 | ||
| c10 | | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: A distributed operational semantics for a parallel functional language. Scottish Functional Programming Workshop 2000: 89-102 |
| 1998 | ||
| c9 | | Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena: Implementing Eden - or: Dreams Become Reality. IFL 1998: 103-119 |
| 1997 | ||
| c8 | | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: High-level Parallel and Concurrent Programming in Eden. APPIA-GULP-PRODE 1997: 213-224 |
| c7 | | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena: The Eden Coordination Model for Distributed Memory Systems. HIPS 1997: 120-124 |
| c6 | | Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena: DREAM: The DistRibuted Eden Abstract Machine. Implementation of Functional Languages 1997: 250-269 |
| 1996 | ||
| c5 | | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí: Eden - The Paradise of Functional Concurrent Programming. Euro-Par, Vol. I 1996: 710-713 |
| 1994 | ||
| c4 | | K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén: Towards a Functional Process Calculus. GULP-PRODE (1) 1994: 234-250 |
| 1992 | ||
| c3 | | |
| 1991 | ||
| c2 | | Yolanda Ortega-Mallén, David de Frutos-Escrig: A Complete Proof System for Timed Observations. TAPSOFT, Vol.1 1991: 412-440 |
| 1990 | ||
| c1 | | Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén: Graphical Composition Theorems for Parallel and Hiding Operators. FORTE 1990: 459-470 |
Colors in the list of coauthors
Last update Sun May 19 20:51:43 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page