Yolanda Ortega-Mallén

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 4

Top Topics

Multiply Sectioned Bayesian Networks

Lazy Evaluation

Top Venues

Ershov Memorial Conference

Log. Methods Comput. Sci.

Publications

Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15 (4) (2019)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CONCUR (2017)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
The Role of Indirections in Lazy Natural Semantics. Ershov Memorial Conference (2014)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. ICTAC (2012)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
Relating function spaces to resourced function spaces. SAC (2011)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
An Operational Semantics for Distributed Lazy Evaluation. Trends in Functional Programming (2009)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
To be or not to be ...lazy (In a Parallel Context). Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Comput. 32 (7-8) (2006)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. IFL (2006)
Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
Parallel functional programming in Eden. J. Funct. Program. 15 (3) (2005)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
Towards Improving Skeletons in Eden. PARCO (2005)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
Dealing Denotationally With Stream-based Communication. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
Continutation Semantics for Parallel Haskell Dialects. APLAS (2003)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
An Operational Semantics for the Parallel Language Eden. Parallel Process. Lett. 12 (2) (2002)
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
A distributed operational semantics for a parallel functional language. Scottish Functional Programming Workshop (2000)
Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena
Implementing Eden - or: Dreams Become Reality. IFL (1998)
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
The Eden Coordination Model for Distributed Memory Systems. HIPS (1997)
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
High-level Parallel and Concurrent Programming in Eden. APPIA-GULP-PRODE (1997)
Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
DREAM: The DistRibuted Eden Abstract Machine. Implementation of Functional Languages (1997)
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
Eden - The Paradise of Functional Concurrent Programming. Euro-Par, Vol. I (1996)
K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén
Towards a Functional Process Calculus. GULP-PRODE (1) (1994)
Yolanda Ortega-Mallén
Operational Semantics for Timed Observations. FTRTFT (1992)
Yolanda Ortega-Mallén, David de Frutos-Escrig
A Complete Proof System for Timed Observations. TAPSOFT, Vol.1 (1991)
Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén
Graphical Composition Theorems for Parallel and Hiding Operators. FORTE (1990)
Yolanda Ortega-Mallén, David de Frutos-Escrig
Timed Observations: A Semantic Model for Real-Time Concurrency. Programming Concepts and Methods (1990)