Tribunales de tesis (37)

  1. Presidente del tribunal

    Análisis estático de tipos para lenguajes de tipado dinámico 2022

    Universidad Complutense de Madrid

    SUÁREZ GARCÍA, GORKA

  2. Vocal del tribunal

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  3. Presidente del tribunal

    Verification of Concurrent Systems: optimality, Scalability and Applicability 2020

    Universidad Complutense de Madrid

    Isabel Márquez, Miguel

  4. Presidente del tribunal

    Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  5. Presidente del tribunal

    A model driven methodology for the construction of reliable concurrent software 2019

    Universidad Politécnica de Madrid

    Alborodo, Raul Nestor Neri

  6. Vocal del tribunal

    A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development 2018

    Universidad Politécnica de Madrid

    Liqat, Umer

  7. Presidente del tribunal

    Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014

    Universidad Complutense de Madrid

    Torres de Alba, Roberto

  8. Presidente del tribunal

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

    Universidad Complutense de Madrid

    Castiñeiras Pérez, Ignacio

  9. Presidente del tribunal

    De programas abstractos a cotas asintóticas precisas en forma cerrada 2014

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  10. Presidente del tribunal

    Approximate Relational Reasoning for Probabilistic Programs 2014

    Universidad Politécnica de Madrid

    Olmedo, Federico

  11. Presidente del tribunal

    Termination and cost analysis: Complexity and precision issues 2013

    Universidad Politécnica de Madrid

    Masud, Md. Abu Naser

  12. Vocal del tribunal

    Abstract Certification of Java Programs in Rewriting Logic 2011

    Universitat Politècnica de València

    Alba Castro, Mauricio Fernando

  13. Presidente del tribunal

    Programación con indeterminismo: un enfoque basado en reescritura 2010

    Universidad Complutense de Madrid

    Rodríguez Hortalá, Juan

  14. Presidente del tribunal

    Técnicas avanzadas de compilación para programación lógica 2010

    Universidad Politécnica de Madrid

    Morales Caballero, José Francisco

  15. Presidente del tribunal

    Transformación y análisis de código de bytes orientado a objetos 2009

    Universidad Complutense de Madrid

    Gómez-Zamalloa Gil, Miguel

  16. Vocal del tribunal

    Contributions to Formal Communication Elimination for System Models with Explicit Parallelism 2009

    Universitat Ramon Llull

    Babot Pagès, Francesc Xavier

  17. Presidente del tribunal

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

    Universidad Complutense de Madrid

    Encina Vara, Alberto de la

  18. Vocal del tribunal

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús

  19. Presidente del tribunal

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

    Universidad Complutense de Madrid

    Rosa Velardo, Fernando

  20. Vocal del tribunal

    From software architecture to formal verification of a distributed system 2006

    Universidade da Coruña

    Sánchez Penas, Juan José

  21. Presidente del tribunal

    Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004

    Universidad Complutense de Madrid

    CABALLERO ROLDAN, RAFAEL

  22. Secretario del tribunal

    Semánticas formales para un lenguaje funcional paralelo 2004

    Universidad Complutense de Madrid

    Hidalgo Herrero, Mercedes

  23. Presidente del tribunal

    Tpbc: un cálculo sobre redes de Petri con tiempo 2003

    Universidad Complutense de Madrid

    MARROQUÍN ALONSO, OLGA

  24. Secretario del tribunal

    Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency 2001

    Universitat Politècnica de València

    Albert, Elvira

  25. Vocal del tribunal

    Desarrollo modular de procesadores de lenguajes a partir de especificaciones semánticas reutilizables 2001

    Universidad de Oviedo

    Labra Gayo, José Emilio

  26. Vocal del tribunal

    Especialización de programas lógico-funcionales perezosos 2000

    Universitat Politècnica de València

    Julián Iranzo, Pascual

  27. Vocal del tribunal

    Reglas y estrategias de transformación para programas lógico-funcionales 2000

    Universitat Politècnica de València

    Moreno Valverde, Ginés Damián

  28. Vocal del tribunal

    Un enfoque formal de la descripción unificada de sistemas analógicos y digitales 1998

    Universidad Politécnica de Madrid

    Martínez Madrid, Natividad

  29. Secretario del tribunal

    Semánticas de pruebas para álgebras de procesos probabilísticos 1996

    Universidad Complutense de Madrid

    Núñez García, Manuel

  30. Vocal del tribunal

    Técnicas de implementación de Redes de Petri 1996

    Universidad de Zaragoza

    Briz Velasco, José Luis

  31. Vocal del tribunal

    Arquitectura de programas a partir de especificaciones formales 1994

    Universidad Politécnica de Madrid

    Salvachúa Rodríguez, Joaquín

  32. Secretario del tribunal

    Csp probabilístico: un modelo probabilístico de procesos concurrentes 1993

    Universidad Complutense de Madrid

    Cuartero Gómez, Fernando

  33. Secretario del tribunal

    Decidibilidad de problemas sobre Redes de Petri temporizadas 1993

    Universidad Complutense de Madrid

    Valero Ruiz, Valentín

  34. Vocal del tribunal

    Implementación de especificaciones algebraicas 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Sánchez, Ana

  35. Vocal del tribunal

    Un model pel tractament de la informacio temporal en un sistema de comprensio automática de noticies 1990

    Universitat Politècnica de Catalunya (UPC)

    Castell Ariño, Núria

  36. Vocal del tribunal

    En busca del tiempo perdido 1990

    Universidad Complutense de Madrid

    Ortega Mallén, Yolanda

  37. Vocal del tribunal

    Especificación algebraica de tipos abstractos de datos no deterministas 1988

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Valenciano Llovera, Federico