Tese doutoral

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

    Universidad Complutense de Madrid

Teses dirixidas (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

Tribunais de teses (1)

  1. Vogal do 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