MIGUEL
PALOMINO TARJUELO
Profesor titular de universidad
Thesis
-
Reflexión, abstracción y simulación en la lógica de reescritura 2005
Universidad Complutense de Madrid
Supervised Theses (1)
-
Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos. 2012
Universidad Complutense de Madrid
Theses Committees (3)
-
Secretary of the Committee
Model checking of strategy-controlled systems in rewriting logic 2022Universidad Complutense de Madrid
-
Secretary of the Committee
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
-
Secretary of the Committee
Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos 2008Universidad Complutense de Madrid
Egea González, Marina Soledad