Publicaciones (26) Publicaciones de YOLANDA ORTEGA MALLÉN

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)

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

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

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