Teses dirixidas (28) Teses que dirixiron as persoas membros do grupo

2022

  1. 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
  2. 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

2021

  1. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    Dirixida por NARCISO MARTÍ OLIET y JOSÉ ALBERTO VERDEJO LÓPEZ

2019

  1. Respuesta a las restricciones transpositivas de la sociedad de la información en la enseñanza-aprendizaje de la geometría en educación secundaria

    Roa González, Julián

    Dirixida por MERCEDES HIDALGO HERRERO

2017

  1. 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
  2. Mapping OCL as a query and constraint language

    DANIA FLORES, CAROLINA INÉS

    Dirixida por MANUEL GARCÍA CLAVEL

2016

  1. 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
  2. Más sobre equivalencias lógicas y distancias entre procesos

    ROMERO HERNÁNDEZ, DAVID

    Dirixida por DAVID DE FRUTOS ESCRIG

2015

  1. 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
  2. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos

    Sánchez Gil, Lidia

    Dirixida por MERCEDES HIDALGO HERRERO y YOLANDA ORTEGA MALLÉN
  3. Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información

    García de Dios, Miguel Ángel

    Dirixida por MANUEL GARCÍA CLAVEL

2014

  1. Improving the solving efficiency of TOY (FD) and its application to real-life problems

    Castiñeiras Pérez, Ignacio

    Dirixida por FERNANDO SÁENZ PÉREZ y FRANCISCO JAVIER LÓPEZ FRAGUAS

2013

  1. Recommender systems and time context: Characterization of a robust evaluation protocol to increase reliability of measured improvements

    Campos, Pedro G.

    Dirixida por FERNANDO RUBIO DÍEZ

2012

  1. Certificación formal de programas en un lenguaje funcional impaciente

    Dios Castro, Javier de

    Dirixida por RICARDO VICENTE PEÑA MARÍ
  2. Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos.

    Fábregas Alfaro, Ignacio

    Dirixida por MIGUEL PALOMINO TARJUELO y DAVID DE FRUTOS ESCRIG
  3. Sistemas de tipos en lenguajes lógico-funcionales

    Martín Martín, Enrique

    Dirixida por FRANCISCO JAVIER LÓPEZ FRAGUAS y JUAN RODRÍGUEZ HORTALÁ

2011

  1. Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura

    Montenegro Montes, Manuel

    Dirixida por RICARDO VICENTE PEÑA MARÍ
  2. Depuración declarativa y verificación heterogénea en Maude

    Riesco Rodríguez, Adrián

    Dirixida por JOSÉ ALBERTO VERDEJO LÓPEZ y NARCISO MARTÍ OLIET

2010

  1. Programación con indeterminismo: un enfoque basado en reescritura

    Rodríguez Hortalá, Juan

    Dirixida por FRANCISCO JAVIER LÓPEZ FRAGUAS y JAIME SÁNCHEZ HERNÁNDEZ
  2. Algoritmos heurísticos y aplicaciones a métodos formales

    Rabanal Basalo, Pablo Manuel

    Dirixida por ISMAEL RODRÍGUEZ LAGUNA y FERNANDO RUBIO DÍEZ

2009

  1. Construcción de recursos lingüísticos basados en ontologías con control de relaciones semánticas

    ÁLVAREZ MONTERO, FRANCISCO JOSÉ

    Dirixida por ANTONIO VAQUERO SÁNCHEZ y FERNANDO SÁENZ PÉREZ
  2. Entendiendo las semánticas de procesos

    GREGORIO RODRIGUEZ, CARLOS

    Dirixida por DAVID DE FRUTOS ESCRIG

2008

  1. Formalizando el proceso de depuración en programación funcional paralela y perezosa

    Encina Vara, Alberto de la

    Dirixida por LUIS FERNANDO LLANA DÍAZ y FERNANDO RUBIO DÍEZ
  2. Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos

    Egea González, Marina Soledad

    Dirixida por MANUEL GARCÍA CLAVEL

2007

  1. Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos

    Rosa Velardo, Fernando

    Dirixida por DAVID DE FRUTOS ESCRIG

2005

  1. Reflexión, abstracción y simulación en la lógica de reescritura

    Palomino Tarjuelo, Miguel

    Dirixida por NARCISO MARTÍ OLIET

2004

  1. Una aproximación al fallo en programación declarativa multiparadigma

    SÁNCHEZ HERNÁNDEZ, JAIME

    Dirixida por FRANCISCO JAVIER LÓPEZ FRAGUAS
  2. Semánticas formales para un lenguaje funcional paralelo

    Hidalgo Herrero, Mercedes

    Dirixida por YOLANDA ORTEGA MALLÉN