Departamento
Sistemas Informáticos y Computación
Teses dirixidas (66) Teses dirixidas por miembros de Departamento Ver tese defendida
2023
-
Speeding up search algorithms with Quantum Computing
Paulet González, José Javier
Dirixida por LUIS FERNANDO LLANA DÍAZ
2022
-
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs
MERAYO CORCOBA, ALICIA
Dirixida por ELVIRA MARÍA ALBERT ALBIOL -
Análisis estático de tipos para lenguajes de tipado dinámico
SUÁREZ GARCÍA, GORKA
Dirixida por MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS -
Applications of Information Theory and Artificial Intelligence to Software Testing
IBIAS MARTINEZ, ALFREDO
Dirixida por MANUEL NÚÑEZ GARCÍA -
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
Dirixida por RAMÓN ALBERTO CARRASCO GONZÁLEZ, DANIEL GÓMEZ GONZÁLEZ y CARLOS GREGORIO RODRÍGUEZ -
Model checking of strategy-controlled systems in rewriting logic
Rubio Cuéllar, Rubén Rafael
Dirixida por JOSÉ ALBERTO VERDEJO LÓPEZ, MARÍA ISABEL PITA ANDREU y NARCISO MARTÍ OLIET
2021
-
Composición en lógica de reescritura
Martín Sánchez, Óscar
Dirixida por NARCISO MARTÍ OLIET y JOSÉ ALBERTO VERDEJO LÓPEZ -
Termination analysis of programs with complex control-flow
Doménech Arellano, Jesús Javier
Dirixida por SAMIR GENAIM
2020
-
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
Gordillo Alguacil, Pablo
Dirixida por SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL -
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing
Cerro Cañizares, Pablo
Dirixida por ALBERTO NÚÑEZ COVARRUBIAS -
Un lenguaje de dominio específico para mutación de modelos
Gómez-Abajo, Pablo
Dirixida por MARÍA DE LAS MERCEDES GARCÍA MERAYO -
Verification of Concurrent Systems: optimality, Scalability and Applicability
Isabel Márquez, Miguel
Dirixida por MIGUEL GÓMEZ-ZAMALLOA GIL y ELVIRA MARÍA ALBERT ALBIOL
2019
-
CW-decompositions of plane algebraic curves and Milnor fibers of non-isolated quasi-ordinary singularities
Isaza Peñaloza, Pablo Simon
Dirixida por PEDRO DANIEL GONZÁLEZ PÉREZ y JORGE CARMONA RUBER
2017
-
Gestión de colecciones digitales con esquemas de catalogación reconfigurables
GAYOSO CABADA, JOAQUIN
Dirixida por ANA MARÍA FERNÁNDEZ-PAMPILLÓN CESTEROS, ANTONIO SARASA CABEZUELO y JOSÉ LUIS SIERRA RODRÍGUEZ -
Modelando la variabilidad: métodos formales para la representación de líneas de productos software
Camacho González, Carlos Delfin
Dirixida por ALBERTO NÚÑEZ COVARRUBIAS y LUIS FERNANDO LLANA DÍAZ -
Modelo programable para la serialización y evaluación de modelos heterogéneos en clientes web
Chavarriaga Bautista, Enrique
Dirixida por FERNANDO RUBIO DÍEZ
2016
-
Más sobre equivalencias lógicas y distancias entre procesos
ROMERO HERNÁNDEZ, DAVID
Dirixida por DAVID DE FRUTOS ESCRIG -
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias
MARTOS SALGADO, MARÍA ROSA
Dirixida por FERNANDO ROSA VELARDO
2015
-
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación
ARANDA LOPEZ, GABRIEL
Dirixida por FERNANDO SÁENZ PÉREZ, JAIME SÁNCHEZ HERNÁNDEZ y SUSANA NIEVA SOTO -
New simulation techniques for energy aware cloud computing environments
González Castañé, Gabriel
Dirixida por ALBERTO NÚÑEZ COVARRUBIAS