Tribunales de tesis (31)

  1. Presidente del tribunal

    Model checking of strategy-controlled systems in rewriting logic 2022

    Universidad Complutense de Madrid

    Rubio Cuéllar, Rubén Rafael

  2. Presidente del tribunal

    Composición en lógica de reescritura 2021

    Universidad Complutense de Madrid

    Martín Sánchez, Óscar

  3. Presidente del tribunal

    Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015

    Universidad Complutense de Madrid

    Sánchez Gil, Lidia

  4. Vocal del tribunal

    Aprendizaje colaborativo para la gestión de conocimiento en redes educativas en la web 2.0 2011

    UNED. Universidad Nacional de Educación a Distancia

    López Sánchez, Paloma

  5. Presidente del tribunal

    Testing activo y pasivo de sistemas con información temporal y probabilística 2010

    Universidad Complutense de Madrid

    ANDRES SANCHEZ, CESAR

  6. Presidente del tribunal

    Algoritmos heurísticos y aplicaciones a métodos formales 2010

    Universidad Complutense de Madrid

    Rabanal Basalo, Pablo Manuel

  7. Vocal del tribunal

    Petri net controlled grammars 2010

    Universitat Rovira i Virgili

    Turaev, Sherzod

  8. Presidente del tribunal

    Marcos temporales y probabilísticos para testing formal 2009

    Universidad Complutense de Madrid

    Garcia Merayo, Mercedes

  9. Vocal del tribunal

    Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri 2006

    Universidad de Castilla-La Mancha

    BUENO AROCA, ANTONIO

  10. Secretario del tribunal

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

    Universidad Complutense de Madrid

    Palomino Tarjuelo, Miguel

  11. 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 2004

    Universidad Complutense de Madrid

    RODRÍGUEZ LAGUNA, ISMAEL

  12. Presidente del tribunal

    Semánticas formales para un lenguaje funcional paralelo 2004

    Universidad Complutense de Madrid

    Hidalgo Herrero, Mercedes

  13. Presidente del tribunal

    Maude como marco semántico ejecutable 2003

    Universidad Complutense de Madrid

    Verdejo López, José Alberto

  14. Presidente del tribunal

    Semánticas para álgebras de procesos estocásticos no Markovianos 2003

    Universidad Complutense de Madrid

    López Barquilla, Natalia

  15. Presidente del tribunal

    Una extensión markoviana del petri box calculus 2003

    Universidad de Castilla-La Mancha

    MACIA SOLER, HERMENEGILDA

  16. Presidente del tribunal

    Análisis de programas en lenguajes funcionales paralelos 2001

    Universidad Complutense de Madrid

    Segura Díaz, Clara M.

  17. Vocal del tribunal

    Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas 2001

    Universidad de Castilla-La Mancha

    Cazorla López, Diego

  18. Presidente del tribunal

    Programación declarativa con restricciones sobre tipos de datos algebraicos 1999

    Universidad Complutense de Madrid

    Arenas Sánchez, Purificación

  19. Vocal del tribunal

    Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits 1999

    Universidad de Zaragoza

    García Vallés, Fernando

  20. Vocal del tribunal

    Métodos estructurales para el diseño y análisis de sistemas concurrentes modelados con redes lugar/transición 1998

    Universidad de Zaragoza

    Recalde, L.

  21. Vocal del tribunal

    Contribucion al tratamiento de datos en lotos 1997

    Universidade de Vigo

    FERNANDEZ IGLESIAS MANUEL J.

  22. Vocal del tribunal

    Contribución al análisis del espacio de estados de especificaciones lotos 1996

    Universidad Politécnica de Madrid

    LARRABEITI LÓPEZ, DAVID

  23. Vocal del tribunal

    Diseño y verificación de sistemas en lotos 1995

    Universidad Politécnica de Madrid

    Llamas Nistal, Martín

  24. Presidente del tribunal

    Programación funcional y lógica con restricciones 1994

    Universidad Complutense de Madrid

    López Fraguas, Francisco Javier

  25. Presidente del tribunal

    Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Alonso González, Luis M.

  26. Vocal del tribunal

    Contribución al análisis y transformación de especificaciones lotos 1991

    Universidad Politécnica de Madrid

    PAVON GOMEZ, SANTIAGO

  27. Vocal del tribunal

    Técnicas de descripción formal aplicadas a la evaluación de prestaciones de sistemas de comunicación 1991

    Universidad Politécnica de Madrid

    Miguel Nieto, Carlos

  28. Vocal del tribunal

    Modelado formal de sistemas síncronos 1990

    Universidad Politécnica de Madrid

    AZCORRA SALOÑA, ARTURO

  29. Secretario del tribunal

    Diseño, semántica e implementación de Babel: un lenguaje que integra la programación funcional y lógica 1989

    Universidad Politécnica de Madrid

    Moreno Navarro, Juan José

  30. Vocal del tribunal

    Módulos de conversión: realización del esquema CSP en modula-2 con tolerancia a fallos 1988

    Universidad Politécnica de Madrid

    MORALES FERNANDEZ, RAFAEL

  31. Vocal del tribunal

    Tolerancia a fallos en sistemas distribuidos mediante replicación de procesos 1988

    Universidad Politécnica de Madrid

    Arévalo Viñuales, Sergio