Tesis doctoral

  1. Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000

    Universidad Complutense de Madrid

Tesis dirigidas (1)

  1. Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014

    Universidad Complutense de Madrid

    Torres de Alba, Roberto

Tribunales de tesis (1)

  1. Vocal del tribunal

    Optimización de filtros de partículas para seguimiento visual en arquitecturas gráficas de procesamiento vectorial 2010

    Universidad Rey Juan Carlos

    Cabido Valladolid, Raul