Yolanda Ortega-Mallén

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