Publicaciones en las que colabora con Carlos Sáenz Adán (18)

2023

  1. Evaluación y mejora del Kit en Tecnologías Informáticas

    Evaluación y mejora del Kit en Tecnologías Informáticas

2022

  1. Automated and non-intrusive provenance capture with UML2PROV

    Computing, Vol. 104, Núm. 4, pp. 767-788

  2. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

  3. Desarrollo de vídeos de concepto individual de cursos introductorios a la informática y medición de su impacto en el rendimiento de la asignatura

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

  4. Integrating Provenance Capture and UML with UML2PROV: Principles and Experience

    IEEE Transactions on Software Engineering, Vol. 48, Núm. 1, pp. 53-68

2021

  1. Desarrollo de vídeos de concepto individual de cursos introductorios a la informática y medición de su impacto en el rendimiento de la asignatura

    Desarrollo de vídeos de concepto individual de cursos introductorios a la informática y medición de su impacto en el rendimiento de la asignatura

2020

  1. Integrating Provenance Capture and UML with UML2PROV: Principles and Experience

    IEEE Transactions on Software Engineering, pp. 1-1

2019

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

  2. Cómo sobrevivir al doctorado en la Universidad de La Rioja: una guía para estudiantes escrita por estudiantes

    Universidad de La Rioja

  3. Towards a framework for making applications provenance-aware

    Towards a framework for making applications provenance-aware

2018

  1. A Systematic Review of Provenance Systems

    Knowledge and Information Systems

  2. Automating provenance capture in software engineering with UML2PROV

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

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

  4. UML2PROV: Automating Provenance Capture in Software Engineering

    44th International Conference on Current Trends in Theory and Practice of Computer Science

  5. Using the provenance from astronomical workflows to increase processing efficiency

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

2017

  1. Especificación de un lenguaje seudocódigo para la enseñanza de programación de ordenadores

    Especificación de un lenguaje seudocódigo para la enseñanza de programación de ordenadores

2015

  1. A Tool for Management of Knowledge Dispersed throughout Multiple References

    Proceedings of the 10th International Conference on Software Paradigm Trends (Scitepress), pp. 79-86

  2. Provenance and formal methods: The case of digital image processing

    Doctoral Consortium on Data Management Technologies, Applications and Software Technologies, DCDATASOFT 2015; in conjunction with the 4th International Conference on Data Management Technologies and Applications, DATA 2015 and the 10th International Joint conference on Software Technologies, ICSOFT 2015, pp. 3-6