Supervised theses (67) Theses supervised by Department members View defended theses

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. Applications of Information Theory and Artificial Intelligence to Software Testing

    IBIAS MARTINEZ, ALFREDO

    Supervised by MANUEL NÚÑEZ GARCÍA
  4. Gestión estratégica de atención al cliente mediante modelos lingüísticos difusos, modelos de decisión y machine learning. Aplicación práctica en entornos B2C y B2B

    MARIN DIAZ, GABRIEL

    Supervised by RAMÓN ALBERTO CARRASCO GONZÁLEZ, DANIEL GÓMEZ GONZÁLEZ y CARLOS GREGORIO RODRÍGUEZ
  5. 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

2021

  1. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    Supervised by NARCISO MARTÍ OLIET y JOSÉ ALBERTO VERDEJO LÓPEZ
  2. Termination analysis of programs with complex control-flow

    Doménech Arellano, Jesús Javier

    Supervised by SAMIR GENAIM

2020

  1. Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum

    Gordillo Alguacil, Pablo

    Supervised by SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL
  2. Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing

    Cerro Cañizares, Pablo

    Supervised by ALBERTO NÚÑEZ COVARRUBIAS
  3. Un lenguaje de dominio específico para mutación de modelos

    Gómez-Abajo, Pablo

    Supervised by MARÍA DE LAS MERCEDES GARCÍA MERAYO
  4. Verification of Concurrent Systems: optimality, Scalability and Applicability

    Isabel Márquez, Miguel

    Supervised by MIGUEL GÓMEZ-ZAMALLOA GIL y ELVIRA MARÍA ALBERT ALBIOL

2019

  1. CW-decompositions of plane algebraic curves and Milnor fibers of non-isolated quasi-ordinary singularities

    Isaza Peñaloza, Pablo Simon

    Supervised by PEDRO DANIEL GONZÁLEZ PÉREZ y JORGE CARMONA RUBER

2017

  1. Gestión de colecciones digitales con esquemas de catalogación reconfigurables

    GAYOSO CABADA, JOAQUIN

    Supervised by ANA MARÍA FERNÁNDEZ-PAMPILLÓN CESTEROS, ANTONIO SARASA CABEZUELO y JOSÉ LUIS SIERRA RODRÍGUEZ
  2. Modelando la variabilidad: métodos formales para la representación de líneas de productos software

    Camacho González, Carlos Delfin

    Supervised by ALBERTO NÚÑEZ COVARRUBIAS y LUIS FERNANDO LLANA DÍAZ
  3. Modelo programable para la serialización y evaluación de modelos heterogéneos en clientes web

    Chavarriaga Bautista, Enrique

    Supervised by FERNANDO RUBIO DÍEZ

2016

  1. Más sobre equivalencias lógicas y distancias entre procesos

    ROMERO HERNÁNDEZ, DAVID

    Supervised by DAVID DE FRUTOS ESCRIG
  2. Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

    MARTOS SALGADO, MARÍA ROSA

    Supervised by FERNANDO ROSA VELARDO

2015

  1. Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación

    ARANDA LOPEZ, GABRIEL

    Supervised by FERNANDO SÁENZ PÉREZ, JAIME SÁNCHEZ HERNÁNDEZ y SUSANA NIEVA SOTO
  2. New simulation techniques for energy aware cloud computing environments

    González Castañé, Gabriel

    Supervised by ALBERTO NÚÑEZ COVARRUBIAS