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