NARCISO
MARTÍ OLIET
Catedrático de universidad
Thèse de doctorat
-
Sobre dos lógicas categóricaslógica lineal y álgebra con tipos ordenados 1991
Universidad Complutense de Madrid
Thèses dirigées (6)
-
Model checking of strategy-controlled systems in rewriting logic 2022
Universidad Complutense de Madrid
-
Composición en lógica de reescritura 2021
Universidad Complutense de Madrid
Martín Sánchez, Óscar
-
Depuración declarativa y verificación heterogénea en Maude 2011
Universidad Complutense de Madrid
-
Reflexión, abstracción y simulación en la lógica de reescritura 2005
Universidad Complutense de Madrid
-
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003
Universidad Complutense de Madrid
-
Maude como marco semántico ejecutable 2003
Universidad Complutense de Madrid
Jurys de thèses (16)
-
Président du jury
Mapping OCL as a query and constraint language 2017Universidad Complutense de Madrid
DANIA FLORES, CAROLINA INÉS
-
Un secrétaire du jury
Rewriting Logic Techniques for Program Analysis and Optimization 2017Universitat Politècnica de València
Sapiña Sanchis, Julia
-
Président du jury
Más sobre equivalencias lógicas y distancias entre procesos 2016Universidad Complutense de Madrid
ROMERO HERNÁNDEZ, DAVID
-
Président du jury
Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos. 2012Universidad Complutense de Madrid
-
Président du jury
Certificación formal de programas en un lenguaje funcional impaciente 2012Universidad Complutense de Madrid
Dios Castro, Javier de
-
Rapporteur du jury
Relational and allegorical semantics for constraint logic programming 2012Universidad Politécnica de Madrid
Gallego Arias, Emilio Jesús
-
Rapporteur du jury
Estrategias para el guiado y la monitorización de la ejecución de sistema en maude 2011Universidad de Málaga
Roldán Castro, Manuel
-
Rapporteur du jury
On cheking the compatibility of service interaction protocosis 2011Universidad de Málaga
Ouederni, Meriem
-
Président du jury
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa 2009Universidad Complutense de Madrid
-
Président du jury
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
-
Un secrétaire du jury
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007Universidad Complutense de Madrid
-
Un secrétaire du jury
Análisis de programas en lenguajes funcionales paralelos 2001Universidad Complutense de Madrid
Segura Díaz, Clara M.
-
Un secrétaire du jury
Modularidad en programación lógico-funcional de primer orden 2000Universidad de Málaga
Molina Bravo, Juan Miguel
-
Un secrétaire du jury
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999Universidad Complutense de Madrid
-
Un secrétaire du jury
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999Universidad Complutense de Madrid
Almendros Jiménez, Jesús Manuel
-
Un secrétaire du jury
Un álgebra de módulos reflexiva con aplicaciones al lenguaje Maude 1999Universidad de Málaga
Durán Muñoz, Francisco