RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
Tesis doctoral
-
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004
Universidad Complutense de Madrid
Tesis dirigidas (2)
-
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014
Universidad Complutense de Madrid
-
Programación declarativa cualificada con restricciones 2011
Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
Tribunales de tesis (13)
-
Presidente del tribunal
Medidas de polarización en redes sociales: Polarization measures on online social networks 2022Universidad Complutense de Madrid
-
Secretario del tribunal
Blockchain para la gobernanza de comunidades de producción colaborativa de bienes comunes: Blockchain for the governance of commons based peer production communities 2022Universidad Complutense de Madrid
TENORIO FORNÉS, ÁMBAR
-
Secretario del tribunal
Algunas aportaciones a la toma de decisiones en clasificación supervisada: un enfoque bipolar 2019Universidad Complutense de Madrid
Villarino Martinez, Guillermo
-
Vocal del tribunal
Column subset selection in practice: efficient heuristics and regularization 2018Universidad Politécnica de Madrid
Ordozgoiti Rubio, Bruno
-
Secretario del tribunal
Optimization Techniques for Algorithmic Debugging 2016Universitat Politècnica de València
Insa Cabrera, David
-
Secretario del tribunal
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015Universidad Complutense de Madrid
ARANDA LOPEZ, GABRIEL
-
Secretario del tribunal
A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems 2014Universitat Politècnica de València
Frechina Navarro, Francisco
-
Secretario del tribunal
Improving the solving efficiency of TOY (FD) and its application to real-life problems 2014Universidad Complutense de Madrid
Castiñeiras Pérez, Ignacio
-
Vocal del tribunal
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
-
Vocal del tribunal
Diseño e implementación de un lenguaje de programación lógica borrosa con unificación débil. 2011Universidad de Castilla-La Mancha
Rubio Manzano, Clemente
-
Secretario del tribunal
Programación con indeterminismo: un enfoque basado en reescritura 2010Universidad Complutense de Madrid
-
Vocal del tribunal
Desplegado de programas lógicos difusos 2010Universidad de Castilla-La Mancha
Penabad Vázquez, Jaime
-
Vocal del tribunal
Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging 2007Universitat Politècnica de València
Silva Galiana, Josep Francesc