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

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

  2. GitHub y Google Colaboratory para el desarrollo, comunicación y gestión de prácticas en los laboratorios de informática

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 7, pp. 183-190

2020

  1. Fin de un viaje infinito: integración continua para prácticas de programación

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 5, pp. 21-28

  2. Fin de un viaje infinito: integración continua para prácticas de programación

    XXVI Jornadas sobre Enseñanza Universitaria de la Informática - JENUI 2020

2019

  1. Uso de herramientas y técnicas DevOps para la gestión y corrección de prácticas de programación

    XXV Jornadas sobre Enseñanza Universitaria de la Informática - JENUI 2019

  2. Uso de herramientas y técnicas DevOps para la gestión y corrección de prácticas de programación

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 4

2018

  1. Creación de un servidor de integración continua para gestión y corrección de entregas de prácticas

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 3

2017

  1. Actualización docente de las asignaturas de programación en la Titulación Grado en Ingeniería Informática de la Universidad de La Rioja

    Actualización docente de las asignaturas de programación en la Titulación Grado en Ingeniería Informática de la Universidad de La Rioja

2015

  1. El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática

    El punto de vista del alumno sobre los ECTS como herramienta para la coordinación 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