default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYolanda Ortega-Mallén
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2019
[j4]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)- 2006
- [j3]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): 523-538 (2006) - 2005
- [j2]Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
Parallel functional programming in Eden. J. Funct. Program. 15(3): 431-475 (2005) - 2002
- [j1]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
An Operational Semantics for the Parallel Language Eden. Parallel Process. Lett. 12(2): 211-228 (2002)
Conference and Workshop Papers
- 2017
- [c22]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: 10:1-10:16 - 2014
- [c21]Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
The Role of Indirections in Lazy Natural Semantics. Ershov Memorial Conference 2014: 288-303 - 2012
- [c20]Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. ICTAC 2012: 105-119 - 2011
- [c19]Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
Relating function spaces to resourced function spaces. SAC 2011: 1301-1308 - 2009
- [c18]Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
An Operational Semantics for Distributed Lazy Evaluation. Trends in Functional Programming 2009: 65-80 - [c17]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
To be or not to be ...lazy (In a Parallel Context). PROLE 2009: 21-39 - 2006
- [c16]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio:
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. IFL 2006: 55-72 - [c15]Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén:
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. WRS@FLoC 2006: 119-137 - 2005
- [c14]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio:
Towards Improving Skeletons in Eden. PARCO 2005: 843-850 - 2004
- [c13]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
Dealing Denotationally With Stream-based Communication. PROLE 2004: 47-68 - 2003
- [c12]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
Continutation Semantics for Parallel Haskell Dialects. APLAS 2003: 303-321 - 2000
- [c11]Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
A distributed operational semantics for a parallel functional language. Scottish Functional Programming Workshop 2000: 89-102 - 1998
- [c10]Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena:
Implementing Eden - or: Dreams Become Reality. IFL 1998: 103-119 - 1997
- [c9]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 - [c8]Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena:
The Eden Coordination Model for Distributed Memory Systems. HIPS 1997: 120-124 - [c7]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
- [c6]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
- [c5]K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén:
Towards a Functional Process Calculus. GULP-PRODE (1) 1994: 234-250 - 1992
- [c4]Yolanda Ortega-Mallén:
Operational Semantics for Timed Observations. FTRTFT 1992: 507-527 - 1991
- [c3]Yolanda Ortega-Mallén, David de Frutos-Escrig:
A Complete Proof System for Timed Observations. TAPSOFT, Vol.1 1991: 412-440 - 1990
- [c2]Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén:
Graphical Composition Theorems for Parallel and Hiding Operators. FORTE 1990: 459-470 - [c1]Yolanda Ortega-Mallén, David de Frutos-Escrig:
Timed Observations: A Semantic Model for Real-Time Concurrency. Programming Concepts and Methods 1990: 125-154
Parts in Books or Collections
- 2003
- [p1]Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio:
Parallelism Abstractions in Eden. Patterns and Skeletons for Parallel and Distributed Computing 2003: 95-128
Informal and Other Publications
- 2024
- [i2]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 abs/2402.00982 (2024) - 2018
- [i1]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 abs/1807.02081 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
