Thesis

  1. Especificación orientada a objetos de sistemas de cálculo simbólico 2003

    Universidad de La Rioja

Supervised Theses (2)

  1. Análisis y propuesta de mejora en la dirección de Proyectos de Fin de Carrera en Ingeniería Informática 2015

    Universidad de La Rioja

    Juan José Olarte Larrea

  2. Certifying homological algorithms to study biomedical images 2013

    Universidad de La Rioja

    María Poza López de Echazarreta

Theses Committees (2)

  1. Secretary of the Committee

    Effective computation of invariants of finite topological spaces 2021

    Universidad de La Rioja

    Julian L. Cuevas Rozo

  2. Committee Member

    Representación y ejecución de guías clínicas informatizadas independientes de plataforma utilizando métodos de desarrollo dirigido por modelos 2014

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    David Buenestado Simon