Publications (49)

2020

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

  2. Aplicación y evaluación de metodologías activas de enseñanza-aprendizaje que faciliten la adquisición de competencias relacionadas con los Sistemas de Información Geográfica en los programas de Grado y Máster de la Universidad de La Rioja

    In-Red 2020. VI Congreso nacional de innovación educativa y docencia en red

  3. A tool to improve the efficiency of waste collection: development and application to a case study

    8th Transport Research Arena, TRA 2020

  4. Uso de datos GPS (formatos y herramientas)

    Enseñanza de Sistemas de Información Geográfica (SIG) en estudios de grado y posgrado en la Universidad de La Rioja: principios teóricos y ejercicios prácticos (Universidad de La Rioja), pp. 21-30

  5. Librerías (APIs) para la creación de cartografía digital

    Enseñanza de Sistemas de Información Geográfica (SIG) en estudios de grado y posgrado en la Universidad de La Rioja: principios teóricos y ejercicios prácticos (Universidad de La Rioja), pp. 103-122

  6. Enseñanza de Sistemas de Información Geográfica (SIG) en estudios de grado y posgrado en la Universidad de La Rioja: principios teóricos y ejercicios prácticos

    Universidad de La Rioja

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

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

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 Software y datos geográficos en trabajos fin de estudio (TFG y TFM) y tesis doctorales en la Universidad de La Rioja: (1992-2018)

    IN-RED 2019: V Congreso de Innovación Educativa y Docencia en Red

  3. 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 Enseñanza Universitaria de la Informática, Núm. 4, pp. 9

2018

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

    XXIV Jornadas sobre Enseñanza Universitaria de la Informática, JENUI 2018

  2. A formal proof of the computation of hermite normal form in a general setting

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

  3. 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 Enseñanza Universitaria de la Informática, Núm. 3, pp. 10

  4. Análisis del uso de datos geográficos y Sistemas de Información Geográfica en las enseñanzas de grado y máster de una universidad

    Actas de las Jornadas sobre Enseñanza Universitaria de la Informática, Núm. 3, pp. 39

2016

  1. Verified Computer Linear Algebra

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  2. Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL

    Formal Aspects of Computing, Vol. 28, Núm. 6, pp. 1005-1026

2015

  1. Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm

    Journal of Functional Programming, Vol. 25, Núm. 1, pp. 1-21

  2. Echelon Form

    Archive of Formal Proofs, Vol. 2015, pp. 1-171