Publicaciones (11) Publicaciones de Carlos Sáenz Adán Ver datos de investigación

2022

  1. Automated and non-intrusive provenance capture with UML2PROV

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

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

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

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

2020

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

    IEEE Transactions on Software Engineering, pp. 1-1

2019

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

    Universidad de La Rioja

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. UML2PROV: Automating Provenance Capture in Software Engineering

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

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

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