| 2007 |
|---|
| 18 | EE | 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 |
|---|
| 17 | EE | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén,
Fernando Rubio:
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.
IFL 2006: 55-72 |
| 16 | EE | 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) |
| 2005 |
|---|
| 15 | | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén,
Fernando Rubio:
Towards Improving Skeletons in Eden.
PARCO 2005: 843-850 |
| 14 | EE | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén:
Dealing Denotationally With Stream-based Communication.
Electr. Notes Theor. Comput. Sci. 137(1): 47-68 (2005) |
| 13 | EE | Rita Loogen,
Yolanda Ortega-Mallén,
Ricardo Peña-Marí:
Parallel functional programming in Eden.
J. Funct. Program. 15(3): 431-475 (2005) |
| 2003 |
|---|
| 12 | EE | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén:
Continutation Semantics for Parallel Haskell Dialects.
APLAS 2003: 303-321 |
| 2002 |
|---|
| 11 | EE | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén:
An Operational Semantics for the Parallel Language Eden.
Parallel Processing Letters 12(2): 211-228 (2002) |
| 2000 |
|---|
| 10 | | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén:
A distributed operational semantics for a parallel functional language.
Scottish Functional Programming Workshop 2000: 89-102 |
| 1998 |
|---|
| 9 | EE | Ulrike Klusik,
Yolanda Ortega-Mallén,
Ricardo Pena:
Implementing Eden - or: Dreams Become Reality.
IFL 1998: 103-119 |
| 1997 |
|---|
| 8 | | 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 |
| 7 | EE | Silvia Breitinger,
Rita Loogen,
Yolanda Ortega-Mallén,
Ricardo Pena:
The Eden Coordination Model for Distributed Memory Systems.
HIPS 1997: 120-124 |
| 6 | EE | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | K. Bohlmann,
Rita Loogen,
Yolanda Ortega-Mallén:
Towards a Functional Process Calculus.
GULP-PRODE (1) 1994: 234-250 |
| 1992 |
|---|
| 3 | | Yolanda Ortega-Mallén:
Operational Semantics for Timed Observations.
FTRTFT 1992: 507-527 |
| 1991 |
|---|
| 2 | | Yolanda Ortega-Mallén,
David de Frutos-Escrig:
A Complete Proof System for Timed Observations.
TAPSOFT, Vol.1 1991: 412-440 |
| 1990 |
|---|
| 1 | | Tommaso Bolognesi,
David de Frutos-Escrig,
Yolanda Ortega-Mallén:
Graphical Composition Theorems for Parallel and Hiding Operators.
FORTE 1990: 459-470 |
