Publicaciones en las que colabora con Jesús María Aransay Azofra (9)

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

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

  4. Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática

    Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática

2013

  1. Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

    Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática