Defended theses

The PhD theses defended as part of the PhD in Software, Systems and Computing Programme are (those theses that had been awarded with Extraordinary PhD awards are labeled with Extraordinary PhD award):

2020

List of PhD theses defended as part of the PhD programme in 2020. The title of the thesis, author and supervisors are listed
Title Author Supervisors
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning using Rules with Constraints ÁRIAS HERRERO, Joaquín CARRO LIÑARES, Manuel
Programadores con dislexia: programación visual frente a la programación textual GONZÁLEZ ALVARÁN, Luis Fernando FUERTES CASTRO, José Luis
MARTÍNEZ NORMAND, Loïc
New Perspectives on Classical Automata Constructions GUTIÉRREZ VIEDMA, Elena GANTY, Pierre
Caracterización de enfermedades basada en su información fenotípica recuperada mediante la extracción de conocimiento biomédico de fuentes de información públicas LAGUNES GARCÍA, Gerardo RODRÍGUEZ GONZÁLEZ, Alejandro
Marco integrado de desarrollo de aplicaciones móviles: Un enfoque ágil MARTÍNEZ ESPINOZA, Mauro Danilo FERRÉ GRAU, Xavier
Investigación y Caracterización de Modelos de Calidad de Componentes Web MARTÍNEZ ORTIZ, Andrés Leonardo LÓPEZ GÓMEZ, Genoveva
LIZCANO CASAS, David
Madurez en la Identificación y Evaluación de Riesgos en Ciberseguridad REA GUAMÁN, Ángel Marcelo CALVO-MANZANO VILLALÓN, José Antonio
Proceso para la Agregación de Experimentos en Ingeniería del Software RIOFRÍO OJEDA, Patricia Ángeles JURISTO JUZGADO, Natalia
VEGAS HERNÁNDEZ, Sira
On the Use of Quasiorders in Formal Language Theory VALERO MEJÍA, Pedro GANTY, Pierre
Learning Secrets and Models from Execution Time VILA BAUSILI, José KÖPF, Boris

2019

List of PhD theses defended as part of the PhD programme in 2019. The title of the thesis, author and supervisors are listed
Title Author Supervisors
Extraordinary PhD award Enabling Quantum Cryptography in Novel Network Paradigms AGUADO MARTÍN, Alejandro MARTÍN AYUSO, Vicente
LÓPEZ ÁLVAREZ, Víctor
A Model Driven Methodology for the Construction of Reliable Concurrent Software ALBORODO FERNÁNDEZ, Raúl Néstor Neri MARIÑO CARBALLO, Julio
Understanding the Evolution of Android Applications CALCIATI, Paolo GORLA, Alessandra
On the Security of Cache Algorithms CAÑONES MARTÍN, Pablo KOEPF, Boris
Desarrollo e implantación de herramientas para el registro y análisis de datos y el soporte a la decisión como base para la medicina de precisión en Oncología CRUZ BERMÚDEZ, Juan Luis MENASALVAS RUIZ, Ernestina
PROVENCIO PULLA, Mariano
Extraordinary PhD award A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution and Economics KOTZIAS, Platon Pantelis CABALLERO BAYERRI, Juan
Métodos y algoritmos en problemas de decisión de grupo a partir de relaciones de preferencia fuzzy MARTÍNEZ CÉSPEDES, María Luisa DOPAZO GONZÁLEZ, Esther
Algoritmos de segmentación semántica para anotación de imágenes ORTIZ TORO, César Antonio MENASALVAS RUIZ, Ernestina;
GONZALO MARTÍN, Consuelo
Modelo de fusión holónica de información para la mejora de la calidad de la información en redes peer-to-peer con recursos limitados PAGGI STRANEO, Horacio Ariosto SORIANO CAMINO, Francisco Javier;
LARA TORRALBO, Juan Alfonso
Lineage Inference of Packed Malware Using Binary Code Similarity UL HAQ, Irfan CABALLERO BAYERRI, Juan

2018

List of PhD theses defended as part of the PhD programme in 2018. The title of the thesis, author and supervisors are listed
Title Author Supervisors
Automated analysis of cryptographic constructions AMBRONA CASTELLANOS, Miguel BARTHE, Gilles
Complex Networks and data mining: Toward a new perspective for the understanding of air transportation BELKOURA, Seddik LATORRE DE LA FUENTE, Antonio;
ZANIN, Massimiliano
Patrones Organizativos para la Integración de Usabilidad de Software CARVAJAL JIMÉNEZ, Carmen Liliana MORENO SÁNCHEZ-CAPUCHINO, Ana María
eJason: a Framework for Distributed and Fault-tolerant Multi-Agent Systems FERNÁNDEZ DÍAZ, Álvaro BENAC EARLE, Clara;
FREDLUND, Lars-Ake
Proving Consistency of Concurrent Data Structures and Transactional Memory Systems KHYZHA, Artem GOSTMAN, Alexey
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development LIQAT, Umer LÓPEZ GARCÍA, Pedro
Extraordinary PhD award Crytographic Techniques for the Security of Cloud and Blockchain Systems NIZZARDO, Luca FIORE, Dario
Evidencias de la Existencia de Errores Estadísticos en Experimentos de Ingeniería del Software: Cuatro Estudios Empíricos REYES CHICANGO, Rolando Patricio JURISTO JUZGADO, Natalia;
DIESTE TUBÍO, Óscar
Tools for the Detection and Analysis of Potentially Unwanted Programs RIVERA GUEVARA, Richard Paúl CABALLERO BAYERRI, Juan
Improving Run-time Checking in Dynamic Programming Languages STULOVA, Nataliia MORALES, José Francisco;
HERMENEGILDO SALINAS, Manuel

2017

List of PhD theses defended as part of the PhD programme in 2017. The title of the thesis, author and supervisors are listed
Title Author Supervisor/s
Complex Networks and data mining: Toward a new perspective for the understanding of air transportation BELKOURA, Seddik LATORRE DE LA FUENTE, Antonio;
ZANIN, Massimiliano
Usability Testing Guide for Mobile Applications Focused on People with Down Syndrome (USATESTDOWN) CÁLIZ RAMOS, Doris Cruz MARTÍNEZ NORMAND, Loïc Antonio
Big Medical Text Analytics: Querying, Searching and Understanding Clinical Data COSTUMERO MORENO, Roberto MENASALVAS RUIZ, Ernestina;
GONZALO MARTÍN, Consuelo
Impacto de la instrumentación en los experimentos de Ingeniería del Software: Aplicación a experimentos de Test-Driven Development UYAGUARI UYAGUARI, Fernando DIESTE TUBÍO, Óscar;
VEGAS HERNÁNDEZ, Sira