TIC195
Software process improvement and formal methods
Publications
2026
-
A systematic literature review on intelligent environments for freshwater shrimp farming
Journal of Reliable Intelligent Environments, Vol. 12, Núm. 3
-
Agentic AI: An Emerging Paradigm of Computing? Panel Discussion at IEEE CISOSE 2026
Proceedings - 20th IEEE International Conference on Service-Oriented System Engineering, SOSE 2026
-
Agentic AI: An Emerging Paradigm of Computing?: Panel Discussion at IEEE CISOSE 2026
Proceedings of the IEEE International Conference on Big Data Computing Service and Applications, BigDataService
-
Agentic AI: An Emerging Paradigm of Computing?: Panel Discussion at IEEE CISOSE 2026
Proceedings - 2026 IEEE 3rd International Workshop on Future Intelligent Technologies for Young Researchers, FITYR 2026
-
Agentic AI: An Emerging Paradigm of Computing?: Panel Discussion at IEEE CISOSE 2026
Proceedings - 2026 IEEE International Symposium on Intelligent Transportation and Smart City, ITASC 2026
-
An Interactive Visualization of a Single-LLM Multi-Agent Educational System
Proceedings of the 22nd International Conference on Intelligent Environments, IE 2026
-
Datos estructurados y reutilización del conocimiento: Wikidata
Innovación docente con Wikimedia. Experiencias compartidas en las universidades españolas (Servicio de Publicaciones de la Universidad Rey Juan Carlos), pp. 69-77
-
Desarrollo competencial mediante juegos serios en la formación de ingenieros del software
Hacia un modelo institucional de mentoría: Diseño, coordinación, evaluación y certificación (Octaedro), pp. 195-208
-
Did Spain’s Action Plan Against Hate Crimes Increase Reporting? Evidence from a Causal Impact Analysis
Crime and Delinquency
-
Early Prediction of Academic Performance in a Database Course Using Moodle Interaction Logs
CEUR Workshop Proceedings
-
Epistemic-Pedagogical Retrieval-Augmented Generation as a Service for Educational Multi-Agent Systems
Proceedings of the IEEE International Conference on Big Data Computing Service and Applications, BigDataService
-
From Context-Aware Collaborative IoT to Digital Twins: Architectural Foundations and Research Roadmap for Distributed Intelligent Systems and Systems of Systems
Proceedings - 20th IEEE International Conference on Service-Oriented System Engineering, SOSE 2026
-
Improving Course Design Through LLM-Assisted Educational Process Mining
Lecture Notes in Educational Technology (Springer Science and Business Media Deutschland GmbH), pp. 41-53
-
Improving Learning Through Evaluative Judgement and Feedback Using a Technology-Enhanced Assessment Environment
Technology, Knowledge and Learning, Vol. 31, Núm. 2, pp. 1039-1069
-
Improving course design through llm-assistededucational process mining .
Open Educational Practices in the Artificial Intelligence Era (Springer), pp. 41-54
-
Integrating Variability Models and Ontologies for LLM-Based Multi-Agent Systems in Academic Domains
CEUR Workshop Proceedings
-
Large Language Models for simplifying directly-follows graphs in support of self-regulated learning
Computers in Human Behavior Reports, Vol. 24
-
Learning Analytics: Looking Ahead
CEUR Workshop Proceedings
-
Learning personalization in block-based programming languages using clustering and static code analysis
Computers and Education Open, Vol. 10
-
Leveraging Self-Sovereign Identity for Certifying Extra-Curricular Competencies and Skills in University Programs
Applied System Innovation, Vol. 9, Núm. 6