Publications (36) Angel Luis Rubio García publications

2023

  1. Using Process Mining to Analyze Tasks Involvement and Collaboration in a Student Generated Questions Activity

    16th International Conference on Computer-Supported Collaborative Learning (CSCL). Proceedings

  2. Using Process Mining to Analyze Tasks Involvement and Collaboration in a Student Generated Questions Activity

    Computer-Supported Collaborative Learning Conference, CSCL

  3. Virtue Ethics and software development: debates and proposals

    2023 Forum on Philosophy, Engineering &Technology (fPET 2023). Abstracts book

2022

  1. Using Process Mining to Analyze Time-Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool

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

2021

  1. Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool

    IEEE Transactions on Learning Technologies, Vol. 14, Núm. 5, pp. 709-722

2020

  1. A project-based learning approach for enhancing learning skills and motivation in software engineering

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

  2. Towards a framework for KPI evolution

    ENASE 2020 - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering

  3. Using the scientific method as a metaphor to understand modeling

    Journal of Universal Computer Science, Vol. 26, Núm. 9, pp. 1230-1264

2019

  1. A taxonomy for key performance indicators management

    Computer Standards and Interfaces, Vol. 64, pp. 24-40

2018

  1. Generating persistence structures for the integration of data and control aspects in business process monitoring

    ICEIS 2018 - Proceedings of the 20th International Conference on Enterprise Information Systems

  2. Una herramienta informática para la coordinación de las prácticas de laboratorio del Grado en Química

    Educación química, Vol. 29, Núm. 4, pp. 3-17

2017

  1. Developing provenance-aware query systems: an occurrence-centric approach

    Knowledge and Information Systems, Vol. 50, Núm. 2, pp. 661-688

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

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

  2. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  3. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

  4. Occurrence-Oriented Design Strategy for Developing Business Process Monitoring Systems

    IEEE Transactions on Knowledge and Data Engineering, Vol. 26, Núm. 7, pp. 1749-1762

2013

  1. Feasibility of the Implementation of a UML to XML Evolution Architecture Using Eclipse as Technological Ecosystem

    The Fifth International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2013, Jan. 27 - Febr. 1, pp. 231-234

  2. References-enriched Concept Map: A tool for collecting and comparing disparate definitions appearing in multiple references

    Journal of Information Science, Vol. 39, Núm. 6, pp. 789-804

2012

  1. A systematic review of code generation proposals from state machine specifications

    Information and Software Technology, Vol. 54, Núm. 10, pp. 1045-1066