Publicaciones en las que colabora con Ana Romero Ibáñez (22)

2023

  1. In vitro maintenance of drones and development of a new software for sperm quality analysis facilitate the study of honey bee reproductive quality

    Journal of Apicultural Research

  2. Artificial Intelligence Models for Assessing the Evaluation Process of Complex Student Projects

    IEEE Transactions on Learning Technologies, Vol. 16, Núm. 5, pp. 694-707

  3. Effective Homology of Universal Covers

    ACM Communications in Computer Algebra, Vol. 57, Núm. 2, pp. 47-50

  4. Hybrid Intelligent Parsimony Search in Small High-Dimensional Datasets

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

  5. Robustness Analysis of a Methodology to Detect Biases, Inconsistencies and Discrepancies in the Evaluation Process

    Lecture Notes in Networks and Systems

  6. Varroa Mite Detection Using Deep Learning Techniques

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

2022

  1. Generación semiautomática de rúbricas por medio de Inteligencia Artificial

    Jornadas de Innovación Docente UR-CRIE 2022: #InnovaDocenteUR : Libro de resúmenes

  2. Herramientas personalizadas para asesorar a los estudiantes con sus trabajos y a los profesores en su corrección

    Jornada de Innovación docente de la Universidad de La Rioja 2021: #InnovaDocenteUR: libro de resúmenes

2021

  1. Computing invariants for multipersistence via spectral systems and effective homology

    Journal of Symbolic Computation, Vol. 104, pp. 724-753

  2. Integration of the kenzo system within sagemath for new algebraic topology computations

    Mathematics, Vol. 9, Núm. 7

  3. Modelos de inteligencia artificial para asesorar el proceso evaluador de trabajos informáticos complejos

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 6, pp. 43-50

  4. Modelos de inteligencia artificial para asesorar el proceso evaluador de trabajos informáticos complejos

    XXVII Jornadas sobre la Enseñanza Universitaria de la Informática - JENUI 2021

  5. Q-learning and MCTS techniques for improving an algorithm to compute discrete vector fields on finite topological spaces

    9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers

  6. Visualización de las matemáticas e impresión 3D (3DMates)

    Visualización de las matemáticas e impresión 3D (3DMates)

2019

  1. A Kenzo interface for algebraic topology computations in Sagemath

    ACM Communications in Computer Algebra, Vol. 53, Núm. 2, pp. 61-64

  2. Computing multipersistence by means of spectral systems

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

  3. Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática

    Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática

  4. Using Krakatoa for Teaching Formal Verification of Java Programs

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

2018

  1. Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

    Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

  2. Experiences and new alternatives for teaching formal verification of Java programs

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE