Publicacions en què col·labora amb ENRIQUE MARTÍN MARTÍN (7)

2022

  1. LearnSQL: un juez para el aprendizaje de las bases de datos

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288

2015

  1. Resource analysis: From sequential to concurrent and distributed programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. FLOP: A user-friendly system for automated program assessment

    Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326

  2. Static inference of transmission data sizes in distributed systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. FLOP, a free laboratory of programming

    Proceedings - 12th Koli Calling International Conference on Computing Education Research, Koli Calling 2012

2009

  1. Correctores automáticos de programas: implantación realista en la docencia universitaria

    Actas del II Seminario de Investigación en Tecnologías de la Información: SITIAE 2008

  2. Reconstrucción (CUPCAM 2007, problema G, solución)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 199, pp. 75-76