ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Tesis doctoral
-
Partial evaluation of multi-paradigm declarative languacesfoundations, control, algorithms and efficiency 2001
Universitat Politècnica de València
Tesis dirigidas (6)
-
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022
Universidad Complutense de Madrid
-
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020
Universidad Complutense de Madrid
-
Verification of Concurrent Systems: optimality, Scalability and Applicability 2020
Universidad Complutense de Madrid
-
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming 2013
Universidad Politécnica de Madrid
Rojas Siles, José Miguel
-
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity 2012
Universidad Politécnica de Madrid
Román Díez, Guillermo
-
Transformación y análisis de código de bytes orientado a objetos 2009
Universidad Complutense de Madrid
Tribunales de tesis (5)
-
Vocal del tribunal
Analysis Techniques for Concurrent Programming Languages 2013Universitat Politècnica de València
Tamarit Muñoz, Salvador
-
Vocal del tribunal
Model checking for verification of avionics software 2013Universidad de Málaga
DE LA CAMARA CRUZ, PEDRO MANUEL
-
Secretaria del tribunal
Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011Universidad Complutense de Madrid
-
Secretaria del tribunal
Programación declarativa cualificada con restricciones 2011Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Vocal del tribunal
Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging 2007Universitat Politècnica de València
Silva Galiana, Josep Francesc