Latest completed PhD Thesis

Understanding the Code of Life: Holistic Conceptual Modeling of the Genome

Author: Alberto García Simón

Supervisor: Casamayor Rodenas, Juan Carlos; Pastor López, Oscar (22-DEC-22). [View Thesis]

Streaming Automatic Speech Recognition with Hybrid Architectures and Deep Neural Network Models

Author: Javier Jorge Cano

Supervisor: Juan, Alfons ; Civera Saiz, Jorge (21-NOV-22). [View Thesis]

Modeling and analysis of advanced cryptographic primitives and security protocols in Maude-NPA

Author: Damián Aparicio Sánchez

Supervisor: Escobar Román, Santiago (17-NOV-22). [View Thesis]

Experimentation to Evaluate the Benefits of Model Driven Development

Author: María África Domingo Montes

Supervisor: Pastor López, Oscar (12-JUL-22). [View Thesis]

Inference and Learning with Planning Models

Author: Diego Aineto García

Supervisor: Jiménez-Celorrio, Sergio ; Onaindia De La Rivaherrera, Eva (01-JUL-22). [View Thesis]