Publicacions en què col·labora amb Clara M. Segura Díaz (7)

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

2012

  1. Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios

    Ibergarceta

2007

  1. A Sharing Analysis for SAFE

    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7

2006

  1. Especificación, derivación y análisis de algoritmos: ejercicios resueltos

    Pearson Prentice Hall

2002

  1. Deriving non-hierarchical process topologies

    TRENDS IN FUNCTIONAL PROGRAMMING 3

2001

  1. Análisis de programas en lenguajes funcionales paralelos

    Análisis de programas en lenguajes funcionales paralelos

2000

  1. Optimizing Eden by transformation

    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2