Tesis dirigidas (66) Tesis dirigidas por miembros de Departamento Ver tesis defendidas

2023

  1. Speeding up search algorithms with Quantum Computing

    Paulet González, José Javier

    Dirigida por 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

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

    SUÁREZ GARCÍA, GORKA

    Dirigida por MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS
  3. Applications of Information Theory and Artificial Intelligence to Software Testing

    IBIAS MARTINEZ, ALFREDO

    Dirigida por 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

    Dirigida por 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

    Dirigida por 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

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

    Doménech Arellano, Jesús Javier

    Dirigida por SAMIR GENAIM

2020

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

    Gordillo Alguacil, Pablo

    Dirigida por 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

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

    Gómez-Abajo, Pablo

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

    Isabel Márquez, Miguel

    Dirigida por 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

    Dirigida por 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

    Dirigida por 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

    Dirigida por 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

    Dirigida por FERNANDO RUBIO DÍEZ

2016

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

    ROMERO HERNÁNDEZ, DAVID

    Dirigida por 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

    Dirigida por FERNANDO ROSA VELARDO

2015

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

    ARANDA LOPEZ, GABRIEL

    Dirigida por 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

    Dirigida por ALBERTO NÚÑEZ COVARRUBIAS