PhD Thesis
Latest Completed Theses
Advanced Narrowing-Based Symbolic Verification Techniques in Maude
Author: Raúl López Rueda. Supervisor: Escobar Román, Santiago; Sapiña-Sanchis, Julia (21-MAY-26).
Bug Localization in Software Models in Video Games
Author: Isis Roca Mainer. Supervisor: Pastor López, Oscar (30-APR-26).
Contamination Problems in AI Evaluation
Author: Behzad Mehrbakhsh. Supervisor: Martínez-Plumed, Fernando ; Hernández-Orallo, José (23-APR-26).
Machine learning design and deployment framework for energy-saving applications in the transport sector
Author: Andrés Felipe Laverde Marín. Supervisor: Ramírez Quintana, María José ; Martínez-Plumed, Fernando (20-APR-26).
Multimodal Interaction and Semantic Augmented Reality through Deep Learning in Assistive Systems for Dependent Individuals
Author: Isabel Ferri Mollá. Supervisor: Izquierdo-Domenech, Juan ; Linares-Pellicer, Jordi (13-APR-26).
Thesis Archive
View All Theses — Explore the complete archive of PhD theses defended at VRAIN.