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

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

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. 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

2012

  1. Demostración asistida por ordenador

    Gaceta de la Real Sociedad Matematica Española, Vol. 15, Núm. 1, pp. 75-104

2010

  1. A case-study in algebraic manipulation using mechanized reasoning tools

    International Journal of Computer Mathematics, Vol. 87, Núm. 9, pp. 1936-1949

  2. Formalizing simplicial topology in Isabelle/ HOL and Coq

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 21-41

2009

  1. Modelling differential structures in proof assistants: The graded case

    Lecture Notes in Computer Science, Vol. 5717 LNCS, Núm. 5717, pp. 203-210

2008

  1. Representation of Graded Structures in Proof Assistants

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre