Publicaciones en las que colabora con Jonathan Heras Vicente (7)

2023

  1. Evaluación y mejora del Kit en Tecnologías Informáticas

    Evaluación y mejora del Kit en Tecnologías Informáticas

2022

  1. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

2019

  1. Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática

    Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática

2018

  1. Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

    Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

  2. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  3. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63