Zuzendutako tesiak (28) Taldeko kideek zuzendu dituzten tesiak

2022

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

    Rubio Cuéllar, Rubén Rafael

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS

2021

  1. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria MERCEDES HIDALGO HERRERO

2017

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

    Chavarriaga Bautista, Enrique

    Tesiaren zuzendaria FERNANDO RUBIO DÍEZ
  2. Mapping OCL as a query and constraint language

    DANIA FLORES, CAROLINA INÉS

    Tesiaren zuzendaria 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

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

    ROMERO HERNÁNDEZ, DAVID

    Tesiaren zuzendaria DAVID DE FRUTOS ESCRIG

2015

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

    ARANDA LOPEZ, GABRIEL

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria 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.

    Tesiaren zuzendaria FERNANDO RUBIO DÍEZ

2012

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

    Dios Castro, Javier de

    Tesiaren zuzendaria 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

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

    Martín Martín, Enrique

    Tesiaren zuzendaria 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

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

    Riesco Rodríguez, Adrián

    Tesiaren zuzendaria JOSÉ ALBERTO VERDEJO LÓPEZ y NARCISO MARTÍ OLIET

2010

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

    Rodríguez Hortalá, Juan

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria 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É

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

    GREGORIO RODRIGUEZ, CARLOS

    Tesiaren zuzendaria DAVID DE FRUTOS ESCRIG

2008

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

    Encina Vara, Alberto de la

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria 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

    Tesiaren zuzendaria DAVID DE FRUTOS ESCRIG

2005

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

    Palomino Tarjuelo, Miguel

    Tesiaren zuzendaria NARCISO MARTÍ OLIET

2004

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

    SÁNCHEZ HERNÁNDEZ, JAIME

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

    Hidalgo Herrero, Mercedes

    Tesiaren zuzendaria YOLANDA ORTEGA MALLÉN