Publicaciones en las que colabora con YOLANDA ORTEGA MALLÉN (25)

2020

  1. 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

  1. Rule formats for nominal process calculi

    Logical Methods in Computer Science, Vol. 15, Núm. 4

2017

  1. Rule formats for nominal process calculi

    Leibniz International Proceedings in Informatics, LIPIcs

2015

  1. 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)

2013

  1. Estructuras de datos y métodos algorítmicos: 213 ejercicios resueltos

    Ibergarceta

2012

  1. 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

  1. Relating function spaces to resourced function spaces

    Proceedings of the ACM Symposium on Applied Computing

2010

  1. An operational semantics for distributed lazy evaluation

    Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80

  2. Estructuras de datos y métodos algorítmicos: ejercicios resueltos : versión revisada

    Pearson Prentice Hall

2009

  1. 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

  2. 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

  3. 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

  1. 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)

  2. 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

  1. Analyzing the influence of mixed evaluation on the performance of Eden skeletons

    Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538

  2. Using Maude and its strategies for defining a framework for analyzing Eden semantics

    Electronic Notes in Theoretical Computer Science

2005

  1. Dealing denotationally with stream-based communication

    Electronic Notes in Theoretical Computer Science

  2. Parallel functional programming in Eden

    Journal of Functional Programming, Vol. 15, Núm. 3, pp. 431-475

2003

  1. 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

  1. An operational semantics for the parallel language Eden

    Parallel Processing Letters