Doctorado en Software, Sistemas y Computación

Tesis Leídas

A continuación se listan las Tesis Doctorales defendidas en el programa de Doctorado en Software, Sistemas y Computación, o en alguno de los programas de los que proviene este Doctorado (Doctorado en Software y Sistemas o Doctorado en Computación Avanzada para Ciencias e Ingeniería).

2015

Tesis presentadas en 2015
Más información:

Listado de las Tesis Doctorales presentadas en el año 2015. Se muestra el título de la Tesis, el autor y los directores

Título Autor Director/es
Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures SÁNCHEZ, Alejandro SÁNCHEZ SÁNCHEZ, César
Estudios y Herramientas para la Evaluación y la Mejora de la Motivación en la Ingeniería del Software LÓPEZ FERNÁNDEZ, Daniel ALARCÓN CAVERO, Pedro Pablo;
TOVAR CARO, Edmundo
Transformada Wavelet Compleja de Doble Árbol (DT-CWT) y su aplicación en Teledetección. Nuevos modelos y aplicaciones. RENZA TORRES, Diego MARTÍNEZ IZQUIERO, Estibaliz;
ARQUERO HIDALGO, Águeda

2014

Tesis presentadas en 2014
Más información:

Listado de las Tesis Doctorales presentadas en el año 2014. Se muestra el título de la Tesis, el autor y los directores

Título Autor Director/es
Quantum Communications in Optical Networks CIURANA AGUILAR, Alex MARTÍN AYUSO, Vicente
Continuum Models of the Mechanical Behavior of Rolled and Die-Cast Magnesium Alloys FERNÁNDEZ BLANCO, Ana María JÉRUSALEM, Antoine;
PÉREZ PRADO, María Teresa
Conceptualización e Infraestructura para la Investigación Experimental en Ingeniería del Software FONSECA CARRERA, Efraín Rodrigo DIESTE TUBÍO, Óscar;
JURISTO JUZGADO, Natalia
Large scale multiphysics modeling of neurites GARCÍA GRAJALES, Julián Andrés JÉRUSALEM, Antoine;
PEÑA SÁNCHEZ, José María
Operational Aspects of Full-Reduction in Lambda Calculi GARCÍA PÉREZ, Álvaro MORENO NAVARRO, Juan José;
NOGUEIRA IGLESIAS, Pablo
A visual framework to accelerate knowledge discovery based on Dimensionality Reduction minimizing degradation of quality GRACIA BERNÁ, Antonio GONZÁLEZ TORTOSA, Santiago;
ROBLES FORCADA, Víctor
Gestión de Configuración y Línea de Productos para Mejorar el Proceso Experimental en Ingeniería del Software ESPINOSA GALLARDO, Edison Gonzalo JURISTO JUZGADO, Natalia
New Methodology for the Integration of Biometric Features in Speaker Recognition Systems Applied to Security Environments MAZAIRA FERNÁNDEZ, Luis Miguel ÁLVAREZ MARQUINA, Agustín
Speech Signals Feature Extraction Model for a Speaker’s Gender and Age Identification system MUÑOZ MULAS, Cristina Elena MARTÍNEZ OLALLA, Rafael
Approximate Relational Reasoning for Probabilistic Programs OLMEDO, Federico BARTHE, Gilles
Obtención y Uso de Patrones para la Implementación de Funcionalidades de Usabilidad en Aplicaciones Web RODRÍGUEZ TIBOCHA, Francy Diomar JURISTO JUZGADO, Natalia;
ACUÑA CASTILLO, Silvia Teresita
Propuesta de una Metodología para Provisión de Servicios de Outsourcing de TI RODRÍGUEZ TIBOCHA, Francy Diomar JURISTO JUZGADO, Natalia
Extending The Expressiveness Of Fuzzy Logic Languages
PABLOS CERUELO, Victor
MUÑOZ HERNÁNDEZ, Susana

2013

Tesis presentadas en 2013
Más información:

Listado de las Tesis Doctorales presentadas en el año 2013. Se muestra el título de la Tesis, el autor y los directores

Título Autor Director/es
Estudio de la Fiabilidad Software, según Defectos, en Controladores de Velocidad para Robots Autónomos Móviles CAÑAS DE PAZ, Norberto TRIVIÑO BARROS, Gracián
Tolerancia a fallos en Cloud Computing para Sistemas Críticos DÍEZ GONZÁLEZ, Óscar Manuel SILVA VÁZQUEZ, Andrés
Analysis of Service-Oriented Computing Systems IVANOVIC, Dragan CARRO LIÑARES, Manuel
Metamodelo para la Definición, Implantación y Mejora de los Procesos de Gestión de Proyectos GARCÍA PACHECO, Iván Antonio CALVO-MANZANO VILLALÓN, José Antonio;
SAN FELIU GILABERT, Tomás
New Interactive Techniques for Data Analysis in Neuroscience MORALES DEL OLMO, Juan RODRÍGUEZ MARTÍNEZ-BARTOLOME, Ángel
Generación de Casos de Prueba en Programación Orientada a Objetos ROJAS SILES, José Miguel ALBERT ALBIOL, Elvira;
GÓMEZ-ZAMALLOA GIL, Miguel
Improving Collaborative Filtering Based Recommender Systems Using Pareto Dominance SÁNCHEZ SÁNCHEZ, José Luis BOBADILLA SANCHO, Jesús

2012

Tesis presentadas en 2012
Más información:

Listado de las Tesis Doctorales presentadas en el año 2012. Se muestra el título de la Tesis, el autor y los directores

Título Autor Director/es
Procesamiento y Almacenamiento Distribuido de Imágenes Basados en Grafos: Aplicación para Recuperación de Información en Imágenes Muy Grandes ALONSO CALVO, Raúl CRESPO DEL ARCO, José
Usability-Oriented Software Development Process CARVAJAL GARCÍA, Laura Elena MORENO SÁNCHEZ-CAPUCHINO, Ana María;
SÁNCHEZ SEGURA, Mª Isabel
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos CHICO DE GUZMAN HUERTA, Pablo CARRO LIÑARES, Manuel
Agile Construction and Evolution of Product-Line Architectures DIAZ FERNÁNDEZ, Jessica GARBAJOSA SOPEÑA, Juan;
PÉREZ BENEDÍ, Jenifer
Medidas Autosemejantes en el Plano, Momentos y Matrices de Hessenberg ESCRIBANO, Carmen TORRANO GIMÉNEZ, Emilio;
SASTRE ROSA, Mª Asunción
Relational and Allegorical Semantics for Constraint Logic Programming GALLEGO ARIAS, Emilo Jesús MARIÑO CARBALLO, Julio;
LIPTON, James
Tipología de Replicaciones para la Síntesis de Experimentos en Ingeniería del Software GÓMEZ GÓMEZ, Omar Salvador JURISTO JUZGADO, Natalia;
VEGAS HERNÁNDEZ, Sira
Streamcloud: An Elastic Parallel-Distributed Stream Processing Engine GULISANO, Vincenzo Massimiliano JIMENEZ PERIS , Ricardo;
VALDURIEZ, Patrick
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity ROMÁN DÍEZ, Guillermo PUEBLA SÁNCHEZ, Álvaro Germán;
ALBERT ALBIOL, Elvira
Algoritmos de Cálculo de Vectores de Prioridad a partir de Matrices de Comparación por Pares Imprecisas RUIZ-TAGLE MOLINA, Jorge Mauricio DOPAZO GONZÁLEZ, Esther
Propuesta de Paquete de Laboratorio para Experimentos de Ingeniería de Software SOLARI BUELA, Martín VEGAS HERNÁNDEZ, Sira;
JURISTO JUZGADO, Natalia

2011

Tesis presentadas en 2011
Más información:

Listado de las Tesis Doctorales presentadas en el año 2011. Se muestra el título de la Tesis, el autor y los directores

Título Autor Director/es
Modelling Temporal Patterns Using Soft Computing Techniques. Application to the Analysis of Human Body Movements BAILADOR DEL POZO, Gonzalo TRIVIÑO BARROS, Gracián
Learning Recurring Concepts from Data Streams in Ubiquitous BÁRTOLO GOMES, João Paulo MENASALVAS RUIZ, Ernestina;
DA COSTA SOUSA, Pedro Alexandre
Una Propuesta de Modelado del Estudiante Basada en Ontologías y Diagnóstico Pedagógico-Cognitivo No Monótono CLEMENTE PÁRRAGA, Julia Mª DE ANTONIO JIMÉNEZ, Angélica;
RAMÍREZ RODRÍGUEZ, Jaime
Information Reconciliation Methods in Secret Key Distribution ELKOUSS CORONAS, David MARTÍN AYUSO, Vicente;
GARCÍA LÓPEZ DE LACALLE, Jesús
Interactive Visualization of Detailed Large Neocortical Circuit Simulations HERNANDO VIEITES, Juan Bautista DE MIGUEL ANASAGASTI, Pedro;
PASTOR PÉREZ, Luis Ignacio
Marco de Descubrimiento de Conocimiento para Datos Estructuralmente Complejos con Énfasis en el Ánalisis de Eventos en Series Temporales LARA TORRALBO, Juan Alfonso PÉREZ PÉREZ, Aurora;
CARAÇA-VALENTE HERNÁNDEZ, Juan Pedro
Efficient Information Reconciliation for Quantum Key Distribution MARTÍNEZ MATEO, Jesús MARTÍN AYUSO, Vicente
Inversas Generalizadas de Perturbaciones Aditivas y Aplicaciones MARTÍNEZ SERRANO, Mª Francisca CASTRO GONZÁLEZ, Nieves
Un Proceso para la Evaluación del Entrenamiento Organizacional MATALONGA MOTTA, Santiago SAN FELIU GILABERT, Tomás
Advances in Hybrid Evolutionary Computation for Continuous Optimization MUELAS PASCUAL, Santiago PEÑA SÁNCHEZ, José Mª
Arquitectura Híbrida para Sistemas Cognitivos Artificiales con Comportamiiento Emergente, Adaptativo y Auto-Organizado ROMERO LÓPEZ, Óscar Javier DE ANTONIO JIMÉNEZ, Angélica
Arquitectura Software de Comunicaciones para Sistemas Distribuidos Criticos con Requisitos de Tiempo Real Estrictos UREÑA PASCUAL, Santiago ZAMORANO FLORES, Juan
Propuesta de Adaptacion para las Interfaces de Usuario Mediante Computación Evolutiva VÉLEZ LANGS, Oswaldo Enrique DE ANTONIO JIMÉNEZ, Angélica

2010

Tesis presentadas en 2010
Más información:

Listado de las Tesis Doctorales presentadas en el año 2010. Se muestra el título de la Tesis, el autor y los directores

Título Autor Director/es
Optimización de Procesos de Adquisición del Conocimiento en Biología Computacional GONZÁLEZ TORTOSA, Santiago ROBLES FORCADA, Víctor;
FAMILI, Fazel
Global Behavior Modeling: A New Approach to Grid Autonomic Management MONTES SÁNCHEZ, Jesús PÉREZ HERNÁNDEZ, Mª de los Santos;
SÁNCHEZ CAMPOS, Alberto
Técnicas de Recuperación por contenido de Información Multimedia y su Aplicación a señal de Video no Estructurado TOHARIA RABASCO, Pablo ROBLES SÁNCHEZ, Oscar;
RODRÍGUEZ MARTÍNEZ-BARTOLOMÉ, Ángel