Thesis

  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

Supervised Theses (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

Theses Committees (4)

  1. Chair of the Committee

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

    Universidad de Málaga

    Luque Schempp, Francisco

  2. Committee Member

    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. Secretary of the Committee

    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. Secretary of the Committee

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

    Universidad de Málaga

    Espada Sandi, Ana Rosario