Search the dblp DataBase

Publications of Author

1. K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén
   Towards a Functional Process Calculus. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE (1), 1994, pp:234-250 [Conf]
   
2. 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]
   
3. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
   Continutation Semantics for Parallel Haskell Dialects. [Citation Graph (0, 0)][DBLP]
   APLAS, 2003, pp:303-321 [Conf]
   
4. 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]
   
5. Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén
   Graphical Composition Theorems for Parallel and Hiding Operators. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:459-470 [Conf]
   
6. Yolanda Ortega-Mallén
   Operational Semantics for Timed Observations. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1992, pp:507-527 [Conf]
   
7. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
   The Eden Coordination Model for Distributed Memory Systems. [Citation Graph (0, 0)][DBLP]
   HIPS, 1997, pp:120-124 [Conf]
   
8. Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena
   Implementing Eden - or: Dreams Become Reality. [Citation Graph (0, 0)][DBLP]
   IFL, 1998, pp:103-119 [Conf]
   
9. Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
   DREAM: The DistRibuted Eden Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Implementation of Functional Languages, 1997, pp:250-269 [Conf]
   
10. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Towards Improving Skeletons in Eden. [Citation Graph (0, 0)][DBLP]
    PARCO, 2005, pp:843-850 [Conf]
    
11. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
    A distributed operational semantics for a parallel functional language. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2000, pp:89-102 [Conf]
    
12. Yolanda Ortega-Mallén, David de Frutos-Escrig
    A Complete Proof System for Timed Observations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:412-440 [Conf]
    
13. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
    Dealing Denotationally With Stream-based Communication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:47-68 [Journal]
    
14. 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]
    
15. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Analyzing the influence of mixed evaluation on the performance of Eden skeletons. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2006, v:32, n:7-8, pp:523-538 [Journal]
    
16. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
    An Operational Semantics for the Parallel Language Eden. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2002, v:12, n:2, pp:211-228 [Journal]
    
17. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:55-72 [Conf]
    
18. Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén
    Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:119-137 [Journal]
    
19. 
    To be or not to be ...lazy (In a Parallel Context). [Citation Graph (, )][DBLP]