Supervised theses (321) Theses supervised by Faculty members

2023

  1. Speeding up search algorithms with Quantum Computing

    Paulet González, José Javier

    Supervised by LUIS FERNANDO LLANA DÍAZ

2022

  1. Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs

    MERAYO CORCOBA, ALICIA

    Supervised by ELVIRA MARÍA ALBERT ALBIOL
  2. Análisis estático de tipos para lenguajes de tipado dinámico

    SUÁREZ GARCÍA, GORKA

    Supervised by MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS
  3. Aportaciones al modelado computacional de trastornos emocionales mediante fuentes de información alternativas

    LLAMOCCA PORTELLA, PAVÉL HAROLD

    Supervised by MARÍA VICTORIA LÓPEZ LÓPEZ y MATILDE SANTOS PEÑAS
  4. Applications of Information Theory and Artificial Intelligence to Software Testing

    IBIAS MARTINEZ, ALFREDO

    Supervised by MANUEL NÚÑEZ GARCÍA
  5. Blockchain para la gobernanza de comunidades de producción colaborativa de bienes comunes: Blockchain for the governance of commons based peer production communities

    TENORIO FORNÉS, ÁMBAR

    Supervised by JUAN LUIS PAVÓN MESTRAS y SAMER HASSAN COLLADO
  6. Contribuciones en la creación y aplicabilidad de juegos serios (serious games) en el ámbito del geoposicionamiento

    PEREZ COLADO, VICTOR MANUEL

    Supervised by BALTASAR FERNÁNDEZ MANJÓN y IVÁN MARTÍNEZ ORTIZ
  7. Design, Implementation, and Characterization of Custom RISC-V Soft-Core Processors for Future Communication Networks

    KUO, YAO-MING

    Supervised by FRANCISCO MIGUEL GARCÍA HERRERO
  8. Model checking of strategy-controlled systems in rewriting logic

    Rubio Cuéllar, Rubén Rafael

    Supervised by JOSÉ ALBERTO VERDEJO LÓPEZ, MARÍA ISABEL PITA ANDREU y NARCISO MARTÍ OLIET
  9. Scalable outlier detection methods for functional data

    Ojo, Oluwasegun Taiwo

    Supervised by ROSA ELVIRA LILLO RODRÍGUEZ
  10. Sistemas de recomendación y explicaciones basados en grafos de interacción

    Caro Martinez, Marta

    Supervised by JUAN ANTONIO RECIO GARCÍA y GUILLERMO JIMÉNEZ DÍAZ
  11. Studies on genetic programming techniques for the short and medium term predictions of the interstitial glucose of diabetic patients

    CONTADOR PACHÓN, SERGIO

    Supervised by JOSÉ IGNACIO HIDALGO PÉREZ y JOSÉ MANUEL VELASCO CABO
  12. Una metodología de ajuste dinámico de dificultad en videojuegos.: Entre Rubber Band AI y la teoría de flow

    LORA ARIZA, DIANA SOFÍA

    Supervised by ANTONIO ALEJANDRO SÁNCHEZ RUIZ-GRANADOS
  13. Videojuegos y realidades extendidas para el aumento del interés de los jóvenes por la danza y el teatro

    ROMERO HERNÁNDEZ, ALEJANDRO

    Supervised by JOSÉ BORJA MANERO IGLESIAS y PABLO GERVÁS GÓMEZ-NAVARRO

2021

  1. Análisis de la asociación entre dominancia o prevalencia ocular y miopía en jóvenes adultos

    González Montero, Guadalupe

    Supervised by AMALIA LORENTE VELÁZQUEZ y MARÍA GUIJARRO MATA-GARCÍA
  2. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    Supervised by NARCISO MARTÍ OLIET y JOSÉ ALBERTO VERDEJO LÓPEZ
  3. Contention-aware scheduling and resource management for emerging multicore architectures

    García García, Adrián

    Supervised by MANUEL PRIETO MATÍAS y JUAN CARLOS SÁEZ ALCAIDE
  4. Desarrollo y optimización de aplicaciones de computación en la nube para el análisis bioinformático de datos de secuenciación masiva (rna-seq y rad-seq) de especies forestales leñosas

    Mora Márquez, Fernando

    Supervised by JOSÉ LUIS VÁZQUEZ POLETTI
  5. Esteganografía sobre el estándar H.265/HEVC en el ámbito ferroviario

    Rodríguez Galiano, David

    Supervised by GUILLERMO BOTELLA JUAN y ALBERTO ANTONIO DEL BARRIO GARCÍA
  6. Gestión de recursos energéticamente eficiente para aplicaciones paralelas basadas en tareas en entornos multi-aplicación

    Costero Valero, Luis María

    Supervised by KATZALIN OLCOZ HERRERO, JOSÉ FRANCISCO TIRADO FERNÁNDEZ y FRANCISCO DANIEL IGUAL PEÑA