Dissertationen geleitet (28) Dissertationen, die von den Mitgliedern der Gruppe geleitet wurden

2022

  1. Model checking of strategy-controlled systems in rewriting logic

    Rubio Cuéllar, Rubén Rafael

    unter der Leitung von 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

    unter der Leitung von MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS

2021

  1. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    unter der Leitung von 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

    unter der Leitung von MERCEDES HIDALGO HERRERO

2017

  1. Modelo programable para la serialización y evaluación de modelos heterogéneos en clientes web

    Chavarriaga Bautista, Enrique

    unter der Leitung von FERNANDO RUBIO DÍEZ
  2. Mapping OCL as a query and constraint language

    DANIA FLORES, CAROLINA INÉS

    unter der Leitung von 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

    unter der Leitung von FERNANDO ROSA VELARDO
  2. Más sobre equivalencias lógicas y distancias entre procesos

    ROMERO HERNÁNDEZ, DAVID

    unter der Leitung von DAVID DE FRUTOS ESCRIG

2015

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

    ARANDA LOPEZ, GABRIEL

    unter der Leitung von 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

    unter der Leitung von 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

    unter der Leitung von 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

    unter der Leitung von 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.

    unter der Leitung von FERNANDO RUBIO DÍEZ

2012

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

    Dios Castro, Javier de

    unter der Leitung von 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

    unter der Leitung von MIGUEL PALOMINO TARJUELO y DAVID DE FRUTOS ESCRIG
  3. Sistemas de tipos en lenguajes lógico-funcionales

    Martín Martín, Enrique

    unter der Leitung von 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

    unter der Leitung von RICARDO VICENTE PEÑA MARÍ
  2. Depuración declarativa y verificación heterogénea en Maude

    Riesco Rodríguez, Adrián

    unter der Leitung von JOSÉ ALBERTO VERDEJO LÓPEZ y NARCISO MARTÍ OLIET

2010

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

    Rodríguez Hortalá, Juan

    unter der Leitung von 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

    unter der Leitung von 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É

    unter der Leitung von ANTONIO VAQUERO SÁNCHEZ y FERNANDO SÁENZ PÉREZ
  2. Entendiendo las semánticas de procesos

    GREGORIO RODRIGUEZ, CARLOS

    unter der Leitung von DAVID DE FRUTOS ESCRIG

2008

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

    Encina Vara, Alberto de la

    unter der Leitung von 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

    unter der Leitung von 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

    unter der Leitung von DAVID DE FRUTOS ESCRIG

2005

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

    Palomino Tarjuelo, Miguel

    unter der Leitung von NARCISO MARTÍ OLIET

2004

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

    SÁNCHEZ HERNÁNDEZ, JAIME

    unter der Leitung von FRANCISCO JAVIER LÓPEZ FRAGUAS
  2. Semánticas formales para un lenguaje funcional paralelo

    Hidalgo Herrero, Mercedes

    unter der Leitung von YOLANDA ORTEGA MALLÉN