Matemáticas y Computación
Departamento
Carlos
Sáenz Adán
Investigador en el periodo 2015-2021
Publicaciones en las que colabora con Carlos Sáenz Adán (18)
2023
-
Evaluación y mejora del Kit en Tecnologías Informáticas
Evaluación y mejora del Kit en Tecnologías Informáticas
2022
-
Automated and non-intrusive provenance capture with UML2PROV
Computing, Vol. 104, Núm. 4, pp. 767-788
-
Curso 0 en Tecnologías Informáticas
Curso 0 en Tecnologías Informáticas
-
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
-
Integrating Provenance Capture and UML with UML2PROV: Principles and Experience
IEEE Transactions on Software Engineering, Vol. 48, Núm. 1, pp. 53-68
2021
-
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
-
Integrating Provenance Capture and UML with UML2PROV: Principles and Experience
IEEE Transactions on Software Engineering, pp. 1-1
2019
-
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
-
Cómo sobrevivir al doctorado en la Universidad de La Rioja: una guía para estudiantes escrita por estudiantes
Universidad de La Rioja
-
Towards a framework for making applications provenance-aware
Towards a framework for making applications provenance-aware
2018
-
A Systematic Review of Provenance Systems
Knowledge and Information Systems
-
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)
-
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
-
UML2PROV: Automating Provenance Capture in Software Engineering
44th International Conference on Current Trends in Theory and Practice of Computer Science
-
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
-
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
-
A Tool for Management of Knowledge Dispersed throughout Multiple References
Proceedings of the 10th International Conference on Software Paradigm Trends (Scitepress), pp. 79-86
-
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