DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Tesis doctoral
-
Algunas cuestiones relacionadas con la semantica de construcciones probabilisticas 1985
Universidad Complutense de Madrid
Tesis dirigidas (10)
-
Más sobre equivalencias lógicas y distancias entre procesos 2016
Universidad Complutense de Madrid
ROMERO HERNÁNDEZ, DAVID
-
Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos. 2012
Universidad Complutense de Madrid
-
Entendiendo las semánticas de procesos 2009
Universidad Complutense de Madrid
-
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007
Universidad Complutense de Madrid
-
Tpbc: un cálculo sobre redes de Petri con tiempo 2003
Universidad Complutense de Madrid
-
Semánticas de pruebas para álgebras de procesos probabilísticos 1996
Universidad Complutense de Madrid
-
Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996
Universidad Complutense de Madrid
-
Csp probabilístico: un modelo probabilístico de procesos concurrentes 1993
Universidad Complutense de Madrid
Cuartero Gómez, Fernando
-
Decidibilidad de problemas sobre Redes de Petri temporizadas 1993
Universidad Complutense de Madrid
Valero Ruiz, Valentín
-
En busca del tiempo perdido 1990
Universidad Complutense de Madrid
Tribunales de tesis (31)
-
Presidente del tribunal
Model checking of strategy-controlled systems in rewriting logic 2022Universidad Complutense de Madrid
-
Presidente del tribunal
Composición en lógica de reescritura 2021Universidad Complutense de Madrid
Martín Sánchez, Óscar
-
Presidente del tribunal
Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015Universidad Complutense de Madrid
Sánchez Gil, Lidia
-
Vocal del tribunal
Aprendizaje colaborativo para la gestión de conocimiento en redes educativas en la web 2.0 2011UNED. Universidad Nacional de Educación a Distancia
López Sánchez, Paloma
-
Presidente del tribunal
Algoritmos heurísticos y aplicaciones a métodos formales 2010Universidad Complutense de Madrid
-
Presidente del tribunal
Testing activo y pasivo de sistemas con información temporal y probabilística 2010Universidad Complutense de Madrid
ANDRES SANCHEZ, CESAR
-
Vocal del tribunal
Petri net controlled grammars 2010Universitat Rovira i Virgili
Turaev, Sherzod
-
Presidente del tribunal
Marcos temporales y probabilísticos para testing formal 2009Universidad Complutense de Madrid
-
Vocal del tribunal
Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri 2006Universidad de Castilla-La Mancha
BUENO AROCA, ANTONIO
-
Secretario del tribunal
Reflexión, abstracción y simulación en la lógica de reescritura 2005Universidad Complutense de Madrid
-
Presidente del tribunal
Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr 2004Universidad Complutense de Madrid
-
Presidente del tribunal
Semánticas formales para un lenguaje funcional paralelo 2004Universidad Complutense de Madrid
-
Presidente del tribunal
Maude como marco semántico ejecutable 2003Universidad Complutense de Madrid
-
Presidente del tribunal
Semánticas para álgebras de procesos estocásticos no Markovianos 2003Universidad Complutense de Madrid
López Barquilla, Natalia
-
Presidente del tribunal
Una extensión markoviana del petri box calculus 2003Universidad de Castilla-La Mancha
MACIA SOLER, HERMENEGILDA
-
Presidente del tribunal
Análisis de programas en lenguajes funcionales paralelos 2001Universidad Complutense de Madrid
Segura Díaz, Clara M.
-
Vocal del tribunal
Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas 2001Universidad de Castilla-La Mancha
Cazorla López, Diego
-
Presidente del tribunal
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999Universidad Complutense de Madrid
-
Vocal del tribunal
Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits 1999Universidad de Zaragoza
García Vallés, Fernando
-
Vocal del tribunal
Métodos estructurales para el diseño y análisis de sistemas concurrentes modelados con redes lugar/transición 1998Universidad de Zaragoza
Recalde, L.
-
Vocal del tribunal
Contribucion al tratamiento de datos en lotos 1997Universidade de Vigo
FERNANDEZ IGLESIAS MANUEL J.
-
Vocal del tribunal
Contribución al análisis del espacio de estados de especificaciones lotos 1996Universidad Politécnica de Madrid
LARRABEITI LÓPEZ, DAVID
-
Vocal del tribunal
Diseño y verificación de sistemas en lotos 1995Universidad Politécnica de Madrid
Llamas Nistal, Martín
-
Presidente del tribunal
Programación funcional y lógica con restricciones 1994Universidad Complutense de Madrid
-
Presidente del tribunal
Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea
Alonso González, Luis M.
-
Vocal del tribunal
Contribución al análisis y transformación de especificaciones lotos 1991Universidad Politécnica de Madrid
PAVON GOMEZ, SANTIAGO
-
Vocal del tribunal
Técnicas de descripción formal aplicadas a la evaluación de prestaciones de sistemas de comunicación 1991Universidad Politécnica de Madrid
Miguel Nieto, Carlos
-
Vocal del tribunal
Modelado formal de sistemas síncronos 1990Universidad Politécnica de Madrid
AZCORRA SALOÑA, ARTURO
-
Secretario del tribunal
Diseño, semántica e implementación de Babel: un lenguaje que integra la programación funcional y lógica 1989Universidad Politécnica de Madrid
Moreno Navarro, Juan José
-
Vocal del tribunal
Módulos de conversión: realización del esquema CSP en modula-2 con tolerancia a fallos 1988Universidad Politécnica de Madrid
MORALES FERNANDEZ, RAFAEL
-
Vocal del tribunal
Tolerancia a fallos en sistemas distribuidos mediante replicación de procesos 1988Universidad Politécnica de Madrid
Arévalo Viñuales, Sergio