Tesis doctoral

  1. Sistema de identificación y explotación de paralelismo en programas lógico-funcionales 1996

    Universidad Complutense de Madrid

Tesis dirigidas (3)

  1. Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015

    Universidad Complutense de Madrid

    ARANDA LOPEZ, GABRIEL

  2. Improving the solving efficiency of TOY (FD) and its application to real-life problems 2014

    Universidad Complutense de Madrid

    Castiñeiras Pérez, Ignacio

  3. Construcción de recursos lingüísticos basados en ontologías con control de relaciones semánticas 2009

    Universidad Complutense de Madrid

    ÁLVAREZ MONTERO, FRANCISCO JOSÉ

Tribunales de tesis (3)

  1. Vocal del tribunal

    A model driven methodology for the construction of reliable concurrent software 2019

    Universidad Politécnica de Madrid

    Alborodo, Raul Nestor Neri

  2. Secretario del tribunal

    Correspondencia estereoscópica en imágenes obtenidas con proyección omnidireccional para entornos forestales 2010

    Universidad Complutense de Madrid

    HERRERA CARO, PEDRO JAVIER

  3. Secretario del tribunal

    Percepción y Actuación para el tratamiento selectivo de malas hierbas en tiempo real 2009

    Universidad Complutense de Madrid

    Burgos Artizzu, Xavier P.