MIGUEL
PALOMINO TARJUELO
Profesor titular de universidad
Tesi doctoral
-
Reflexión, abstracción y simulación en la lógica de reescritura 2005
Universidad Complutense de Madrid
Tesis dirigides (1)
-
Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos. 2012
Universidad Complutense de Madrid
Tribunals de tesi (3)
-
Secretari del tribunal
Model checking of strategy-controlled systems in rewriting logic 2022Universidad Complutense de Madrid
-
Secretari del tribunal
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
-
Secretari del tribunal
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