Rodríguez-Patón Aradas, Alfonso (1999) Variantes de la concatenación en computación con ADN. Tesis(Doctoral), Computer Faculty (UPM).
Castellanos Peñuela, Juan (1987) Una formalización de las relaciones entre distintas representaciones del conocimiento. Tesis(Doctoral), Computer Faculty (UPM).
Carrillo Verdún, José Domingo (1987) Metodología para el desarrollo de sistemas expertos. Tesis(Doctoral), Computer Faculty (UPM).
Borrajo Millán, Daniel (1990) Método incremental de compilación de conocimiento inteligente : MINNIE. Tesis(Doctoral), Computer Faculty (UPM).