Publicaciones (52) Publicaciones de Jesús María Aransay Azofra

2024

  1. Could a theorem be acyclic?

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 117, pp. 54-63

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

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

    XXV Jornadas sobre Enseñanza Universitaria de la Informática - JENUI 2019

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

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

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