Graphical Composition Theorems for Parallel and Hiding Operators. - Tommaso Bolognesi; David de Frutos-Escrig; Yolanda Ortega-Mallén (FORTE, 1990)

Timed Observations: A Semantic Model for Real-Time Concurrency. - Yolanda Ortega-Mallén; David de Frutos-Escrig (Programming Concepts and Methods, 1990)

A Complete Proof System for Timed Observations. - Yolanda Ortega-Mallén; David de Frutos-Escrig (TAPSOFT, Vol.1, 1991)

Operational Semantics for Timed Observations. - Yolanda Ortega-Mallén (FTRTFT, 1992)

Towards a Functional Process Calculus. - K. Bohlmann; Rita Loogen; Yolanda Ortega-Mallén (GULP-PRODE (1), 1994)

Eden - The Paradise of Functional Concurrent Programming. - Silvia Breitinger; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña-Marí (Euro-Par, Vol. I, 1996)

High-level Parallel and Concurrent Programming in Eden. - Silvia Breitinger; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña-Marí (APPIA-GULP-PRODE, 1997)

The Eden Coordination Model for Distributed Memory Systems. - Silvia Breitinger; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Pena (HIPS, 1997)

DREAM: The DistRibuted Eden Abstract Machine. - Silvia Breitinger; Ulrike Klusik; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Pena (Implementation of Functional Languages, 1997)

Implementing Eden - or: Dreams Become Reality. - Ulrike Klusik; Yolanda Ortega-Mallén; Ricardo Pena (IFL, 1998)

A distributed operational semantics for a parallel functional language. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Scottish Functional Programming Workshop, 2000)

An Operational Semantics for the Parallel Language Eden. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Parallel Process. Lett., 2002)

Parallelism Abstractions in Eden. - Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña; Steffen Priebe; Fernando Rubio 001 (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

Continutation Semantics for Parallel Haskell Dialects. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (APLAS, 2003)

Dealing Denotationally With Stream-based Communication. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (PROLE, 2004)

Towards Improving Skeletons in Eden. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (PARCO, 2005)

Parallel functional programming in Eden. - Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña-Marí (J. Funct. Program., 2005)

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (IFL, 2006)

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. - Mercedes Hidalgo-Herrero; Alberto Verdejo; Yolanda Ortega-Mallén (WRS@FLoC, 2006)

Analyzing the influence of mixed evaluation on the performance of Eden skeletons. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (Parallel Comput., 2006)

An Operational Semantics for Distributed Lazy Evaluation. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Trends in Functional Programming, 2009)

To be or not to be ...lazy (In a Parallel Context). - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (PROLE, 2009)

Relating function spaces to resourced function spaces. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (SAC, 2011)

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (ICTAC, 2012)

The Role of Indirections in Lazy Natural Semantics. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Ershov Memorial Conference, 2014)

Rule Formats for Nominal Process Calculi. - Luca Aceto; Ignacio Fábregas; Álvaro García-Pérez; Anna Ingólfsdóttir; Yolanda Ortega-Mallén (Log. Methods Comput. Sci., 2019)