Publications (51) Jesús María Aransay Azofra publications

2023

  1. Evasiveness Through Binary Decision Diagrams

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

2022

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

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. A tool to improve the efficiency of waste collection: development and application to a case study

    8th Transport Research Arena, TRA 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. 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

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

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

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

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

2019

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

  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

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

2018

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

  2. 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 la Enseñanza Universitaria de la Informática (JENUI), Núm. 3

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

  4. Towards a verified smith normal form algorithm in isabelle/hol

    Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 43-46

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

  2. Verified Computer Linear Algebra

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016