RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Teses dirixidas (5)
-
Certificación formal de programas en un lenguaje funcional impaciente 2012
Universidad Complutense de Madrid
Dios Castro, Javier de
-
Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011
Universidad Complutense de Madrid
-
Análisis de programas en lenguajes funcionales paralelos 2001
Universidad Complutense de Madrid
Segura Díaz, Clara M.
-
Programación funcional paralela eficiente en eden 2001
Universidad Complutense de Madrid
-
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.
Tribunais de teses (37)
-
Presidente do tribunal
Análisis estático de tipos para lenguajes de tipado dinámico 2022Universidad Complutense de Madrid
-
Vogal do tribunal
On the use of quasiorders in formal language theory 2020Universidad Politécnica de Madrid
Valero Mejía, Pedro
-
Presidente do tribunal
Verification of Concurrent Systems: optimality, Scalability and Applicability 2020Universidad Complutense de Madrid
-
Presidente do tribunal
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020Universidad Complutense de Madrid
-
Presidente do tribunal
A model driven methodology for the construction of reliable concurrent software 2019Universidad Politécnica de Madrid
Alborodo, Raul Nestor Neri
-
Vogal do tribunal
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development 2018Universidad Politécnica de Madrid
Liqat, Umer
-
Presidente do tribunal
Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014Universidad Complutense de Madrid
Torres de Alba, Roberto
-
Presidente do tribunal
Improving the solving efficiency of TOY (FD) and its application to real-life problems 2014Universidad Complutense de Madrid
Castiñeiras Pérez, Ignacio
-
Presidente do tribunal
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
-
Presidente do tribunal
Approximate Relational Reasoning for Probabilistic Programs 2014Universidad Politécnica de Madrid
Olmedo, Federico
-
Presidente do tribunal
Termination and cost analysis: Complexity and precision issues 2013Universidad Politécnica de Madrid
Masud, Md. Abu Naser
-
Vogal do tribunal
Abstract Certification of Java Programs in Rewriting Logic 2011Universitat Politècnica de València
Alba Castro, Mauricio Fernando
-
Presidente do tribunal
Programación con indeterminismo: un enfoque basado en reescritura 2010Universidad Complutense de Madrid
-
Presidente do tribunal
Técnicas avanzadas de compilación para programación lógica 2010Universidad Politécnica de Madrid
Morales Caballero, José Francisco
-
Presidente do tribunal
Transformación y análisis de código de bytes orientado a objetos 2009Universidad Complutense de Madrid
-
Vogal do tribunal
Contributions to Formal Communication Elimination for System Models with Explicit Parallelism 2009Universitat Ramon Llull
Babot Pagès, Francesc Xavier
-
Presidente do tribunal
Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008Universidad Complutense de Madrid
-
Vogal do tribunal
Análisis y verificación de programas modulares 2008Universidad Politécnica de Madrid
-
Presidente do tribunal
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007Universidad Complutense de Madrid
-
Vogal do tribunal
From software architecture to formal verification of a distributed system 2006Universidade da Coruña
Sánchez Penas, Juan José
-
Presidente do tribunal
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004Universidad Complutense de Madrid
-
Secretario do tribunal
Semánticas formales para un lenguaje funcional paralelo 2004Universidad Complutense de Madrid
-
Presidente do tribunal
Tpbc: un cálculo sobre redes de Petri con tiempo 2003Universidad Complutense de Madrid
-
Secretario do tribunal
Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency 2001Universitat Politècnica de València
-
Vogal do tribunal
Desarrollo modular de procesadores de lenguajes a partir de especificaciones semánticas reutilizables 2001Universidad de Oviedo
Labra Gayo, José Emilio
-
Vogal do tribunal
Especialización de programas lógico-funcionales perezosos 2000Universitat Politècnica de València
Julián Iranzo, Pascual
-
Vogal do tribunal
Reglas y estrategias de transformación para programas lógico-funcionales 2000Universitat Politècnica de València
Moreno Valverde, Ginés Damián
-
Vogal do tribunal
Un enfoque formal de la descripción unificada de sistemas analógicos y digitales 1998Universidad Politécnica de Madrid
Martínez Madrid, Natividad
-
Secretario do tribunal
Semánticas de pruebas para álgebras de procesos probabilísticos 1996Universidad Complutense de Madrid
-
Vogal do tribunal
Técnicas de implementación de Redes de Petri 1996Universidad de Zaragoza
Briz Velasco, José Luis
-
Vogal do tribunal
Arquitectura de programas a partir de especificaciones formales 1994Universidad Politécnica de Madrid
Salvachúa Rodríguez, Joaquín
-
Secretario do tribunal
Decidibilidad de problemas sobre Redes de Petri temporizadas 1993Universidad Complutense de Madrid
Valero Ruiz, Valentín
-
Secretario do tribunal
Csp probabilístico: un modelo probabilístico de procesos concurrentes 1993Universidad Complutense de Madrid
Cuartero Gómez, Fernando
-
Vogal do tribunal
Implementación de especificaciones algebraicas 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea
Sánchez, Ana
-
Vogal do tribunal
En busca del tiempo perdido 1990Universidad Complutense de Madrid
-
Vogal do tribunal
Un model pel tractament de la informacio temporal en un sistema de comprensio automática de noticies 1990Universitat Politècnica de Catalunya (UPC)
Castell Ariño, Núria
-
Vogal do tribunal
Especificación algebraica de tipos abstractos de datos no deterministas 1988Universidad del País Vasco - Euskal Herriko Unibertsitatea
Valenciano Llovera, Federico