Publicaciones en las que colabora con Clara M. Segura Díaz (6)

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

2000

  1. Optimizing Eden by transformation

    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2