Publications (49)

2021

  1. Análisis de la eficacia de una metodología activa diseñada para mejorar la adquisición de competencias relacionadas con los sistemas de información geográfica en la Universidad de la Rioja

    La transformación digital de la universidad: XI CIDU Congreso Iberoamericano de Docencia Universitaria

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

2017

  1. A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem

    Journal of Automated Reasoning, Vol. 58, Núm. 4, pp. 509-535

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