![Foto de YOLANDA](/img/nophoto.png)
YOLANDA
ORTEGA MALLÉN
Researcher to 2022
Publications (25) YOLANDA ORTEGA MALLÉN publications
2020
-
Back-track to the future, una experiencia de gamificación en la universidad
Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 5, pp. 101-108
2019
-
Rule formats for nominal process calculi
Logical Methods in Computer Science, Vol. 15, Núm. 4
2017
-
Rule formats for nominal process calculi
Leibniz International Proceedings in Informatics, LIPIcs
2015
-
The role of indirections in lazy natural semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
A locally nameless representation for a natural semantics for lazy evaluation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Relating function spaces to resourced function spaces
Proceedings of the ACM Symposium on Applied Computing
2010
-
An operational semantics for distributed lazy evaluation
Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80
-
Estructuras de datos y métodos algorítmicos: ejercicios resueltos : versión revisada
Pearson Prentice Hall
2009
-
Properties of an operational semantics for distributed lazy evaluation
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
-
To be or not to be ...lazy (In a Parallel Context)
Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 21-39
-
To be or not to be...lazy (in a parallel context)
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
2007
-
Comparing alternative evaluation strategies for stream-based parallel functional languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 10 SPEC. ISS., pp. 119-137
2006
-
Analyzing the influence of mixed evaluation on the performance of Eden skeletons
Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538
-
Using Maude and its strategies for defining a framework for analyzing Eden semantics
Electronic Notes in Theoretical Computer Science
2005
-
Dealing denotationally with stream-based communication
Electronic Notes in Theoretical Computer Science
-
Parallel functional programming in Eden
Journal of Functional Programming, Vol. 15, Núm. 3, pp. 431-475
2003
-
Continuation semantics for parallel Haskell dialects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2895, pp. 303-321
2002
-
An operational semantics for the parallel language Eden
Parallel Processing Letters