FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Thesis
-
Programación funcional y lógica con restricciones 1994
Universidad Complutense de Madrid
Supervised Theses (5)
-
Análisis estático de tipos para lenguajes de tipado dinámico 2022
Universidad Complutense de Madrid
-
Improving the solving efficiency of TOY (FD) and its application to real-life problems 2014
Universidad Complutense de Madrid
Castiñeiras Pérez, Ignacio
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid
-
Programación con indeterminismo: un enfoque basado en reescritura 2010
Universidad Complutense de Madrid
-
Una aproximación al fallo en programación declarativa multiparadigma 2004
Universidad Complutense de Madrid
Theses Committees (15)
-
Chair of the Committee
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022Universidad Complutense de Madrid
-
Committee Member
Construcción y navegación de redes de pequeño mundo 2020Universidad Politécnica de Madrid
Sevilla de Pablo, Andrés
-
Chair of the Committee
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015Universidad Complutense de Madrid
ARANDA LOPEZ, GABRIEL
-
Chair of the Committee
Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015Universidad Complutense de Madrid
García de Dios, Miguel Ángel
-
Chair of the Committee
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Secretary of the Committee
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
-
Chair of the Committee
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming 2013Universidad Politécnica de Madrid
Rojas Siles, José Miguel
-
Chair of the Committee
Analysis Techniques for Concurrent Programming Languages 2013Universitat Politècnica de València
Tamarit Muñoz, Salvador
-
Chair of the Committee
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity 2012Universidad Politécnica de Madrid
Román Díez, Guillermo
-
Chair of the Committee
Programación declarativa cualificada con restricciones 2011Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Chair of the Committee
Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011Universidad Complutense de Madrid
-
Committee Member
Evolución gramatical y semántica 2010Universidad Autónoma de Madrid
-
Committee Member
A transformational approach to constructive negation in constraint normal logic programming 2008Universidad del País Vasco - Euskal Herriko Unibertsitatea
Álvez, Javier
-
Secretary of the Committee
Una aproximación offline a la evaluación parcial dirigida por narrowing 2007Universitat Politècnica de València
Ramos Díaz, J. Guadalupe
-
Committee Member
Strategies and analysis techniques for functional program optimization 2003Universitat Politècnica de València
Escobar Román, Santiago