Tesis doctoral

  1. Desde especificaciones lógicas de intervalos a autómatas de propiedaduna construcción tableau para su aplicación en comprobación de modelos on-the-fly 2002

    Universidad de Granada

Tesis dirigidas (2)

  1. Enfoque metodológico semántico basado en un modelo arquitectónico para el desarrollo de groupware 2017

    Universidad de Granada

    Anzures García, Mario

  2. Desarrollo de un modelo multi-criterio lingüístico de toma de decisiones para medir la calidad del servicio en las tic desde una visión del usuario. Aplicación práctica a la evaluación de las tic en ecuador 2016

    Universidad de Granada

    Cid López, Andrés

Tribunales de tesis (4)

  1. Presidente del tribunal

    Model Learning for Time-Sensitive Networking over 5G networks 2024

    Universidad de Málaga

    Luque Schempp, Francisco

  2. Vocal del tribunal

    Desarrollo de un nuevo modelo RFM lingüístico difuso personalizable según las preferencias y consumo de los clientes, catálogo de productos y estrategia de marketing: aplicación en retail 2022

    Universidad Complutense de Madrid

    Gonzalez Martinez, Rocio

  3. Secretario del tribunal

    Hacia el internet de los agentes: Un modelo semántico para agentificar ecosistemas de internet de las cosas 2018

    Universidad de Granada

    Pico Valencia, Pablo Antonio

  4. Secretario del tribunal

    Análisis de aplicaciones móviles utilizando métodos formales 2017

    Universidad de Málaga

    Espada Sandi, Ana Rosario