Supervised theses (28) Theses supervised by group members

2022

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

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

    Supervised by MERCEDES HIDALGO HERRERO

2017

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

    DANIA FLORES, CAROLINA INÉS

    Supervised by 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

    Supervised by FERNANDO ROSA VELARDO
  2. Más sobre equivalencias lógicas y distancias entre procesos

    ROMERO HERNÁNDEZ, DAVID

    Supervised by DAVID DE FRUTOS ESCRIG

2015

  1. Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información

    García de Dios, Miguel Ángel

    Supervised by MANUEL GARCÍA CLAVEL
  2. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos

    Sánchez Gil, Lidia

    Supervised by MERCEDES HIDALGO HERRERO y YOLANDA ORTEGA MALLÉN
  3. 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

2014

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

    Castiñeiras Pérez, Ignacio

    Supervised by 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.

    Supervised by FERNANDO RUBIO DÍEZ

2012

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

    Dios Castro, Javier de

    Supervised by 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

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

    Martín Martín, Enrique

    Supervised by 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

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

    Riesco Rodríguez, Adrián

    Supervised by JOSÉ ALBERTO VERDEJO LÓPEZ y NARCISO MARTÍ OLIET

2010

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

    Rodríguez Hortalá, Juan

    Supervised by 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

    Supervised by 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É

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

    GREGORIO RODRIGUEZ, CARLOS

    Supervised by DAVID DE FRUTOS ESCRIG

2008

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

    Supervised by MANUEL GARCÍA CLAVEL
  2. Formalizando el proceso de depuración en programación funcional paralela y perezosa

    Encina Vara, Alberto de la

    Supervised by LUIS FERNANDO LLANA DÍAZ y FERNANDO RUBIO DÍEZ

2007

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

    Rosa Velardo, Fernando

    Supervised by DAVID DE FRUTOS ESCRIG

2005

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

    Palomino Tarjuelo, Miguel

    Supervised by NARCISO MARTÍ OLIET

2004

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

    SÁNCHEZ HERNÁNDEZ, JAIME

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

    Hidalgo Herrero, Mercedes

    Supervised by YOLANDA ORTEGA MALLÉN