Alunos de Doutoramento


Teses submetidas
Teses em curso
Teses concluídas

Teses submetidas:

Teses em curso:

  1. Alexandre Jorge Teixeira Miranda Pinto
    Tema: Complexidade de Kolmogorov e Criptografia.
    Orientador: Prof. Armando C. Matos e Prof. Luís Antunes

  2. António Jorge Morais
    Tema: Análise de Registos de Acesso Baseada em Conhecimento
    Orientador: Prof. Alípio Jorge (FEP) e Prof. José Paulo Leal

  3. Carlos Manuel Soares
    Tema: Categorização de Algoritmos de Classificação com base em Desempenho Passado
    Orientador: Prof. Pavel Brazdil (FEP) e Prof. Joaquim Pinto da Costa (FCUP)

  4. Hervé Paulino (oficialmente inscrito na FCT/UNL)
    Tema: Uma infraestrura de suporte para computações móveis baseadas num cálculo de processos.
    Orientador: Prof. Luís Lopes e Prof. Fernando Silva

  5. Jorge Manuel Neves Coelho
    Tema: Processamento de Dados Semi-Estruturados
    Orientador: Prof. Mário Florido

  6. Nuno Alberto Paulino da Fonseca
    Tema: Paralelismo em Sistemas de Indução de Programas em Lógica
    Orientador: Prof. Fernando Silva e Prof. Rui Camacho (FEUP)

  7. Rogério Ventura Reis
    Tema: Um Manipulador Interactivo na Teoria dos Grafos
    Orientador: Prof. Luís Damas

  8. Rui Pedro de Magalhães Claro Prior
    Tema: Arquitecturas Escaláveis de Redes com Suporte de Qualidade de Serviço.
    Orientador: Prof. Susana Sargento

  9. Sandra Alves
    Tema: Inferência de Tipos e Transformação de Programas
    Orientador: Prof. Mário Florido

  10. Wittawas Puntumchinda
    Tema:
    Orientador: Prof. Luís Damas e Prof. João Pedro Pedroso


Teses concluídas:

  1. Álvaro Reis Figueira
    Título: Design and Implementation of a Distributed System with Mobility, based on a Process Calculus.
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 5/2004
    Orientadores: Prof. Fernando Silva e Prof. Luís Lopes

  2. Michel Celestino Ferreira
    Título: Specialization Techniques for the Compilation of Declarative Languages
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 4/2002
    Orientador: Prof. Luís Damas

  3. Luís Filipe Antunes
    Título: Useful Information
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 2/2002
    Orientador: Prof. Armando Campos e Matos

  4. Ricardo Nuno Lopes
    Título: An Implementation of the Extended Andorra Model
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 12/2001
    Orientadores: Prof. Vítor Santos Costa e Prof. Fernando Silva

  5. Ricardo Jorge Rocha
    Título: On Applying Or-Parallelism and Tabling to Logic Programs
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 11/2001
    Orientadores: Prof. Fernando Silva e Prof. Vítor Santos Costa

  6. Manuel Eduardo Correia
    Título: On the Implementation of And/Or Parallel Logic Programming Systems
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 11/2001
    Orientadores: Prof. Fernando Silva e Prof. Vítor Santos Costa

  7. Alneu de Andrade Lopes
    Título: Regras e Casos: Uma Abordagem à Aprendizagem Relacional Multi-estratégia
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 05/2001
    Orientadores: Prof. Pavel Brazdil e Prof. Alípio Jorge (FEP/LIACC)

  8. João Gama
    Título: Junção de Algoritmos de Classificação
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 03/2000
    Orientador: Prof. Pavel Brazdil (FEP/LIACC)

  9. Luís Torgo
    Título: Aprendizagem Indutiva de Modelos de Regressão baseados em Árvores
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 03/2000
    Orientador: Prof. Pavel Brazdil (FEP/LIACC)

  10. Luís Miguel Barros Lopes
    Título: Sobre o Desenho e Implementação de uma Máquina Virtual para Cálculos de Processos
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 20/12/99
    Orientadores: Prof. Fernando Silva e Prof. Vasco Vasconcelos (FCUL)

  11. Alípio Jorge
    Título: Indução Iterativa de Programas Lógicos: uma abordagem à síntese de programas lógicos a partir de especificações incompletas.
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 11/9/98
    Orientador: Prof. Pavel Brazdil (FEP/LIACC)

  12. António Mário Florido
    Título: Sistemas de Tipos para Linguagens Declarativas
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 5/1/98
    Orientador: Prof. Luís Damas

  13. Nelma Resende Araújo Moreira
    Título: Restrições Complexas sobre Álgebras de Árvores e Aplicação a Gramáticas Lógicas
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 5/12/97
    Orientador: Prof. Luís Damas

  14. José Paulo Geraldes Leal
    Título: Interação Gráfica em Programas Lógicos
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 14/11/97
    Orientador: Prof. Luís Damas

  15. Ana Paula Nunes Gomes Tomás
    Título: Sobre Resolução de Restrições Diofantinas Lineares
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 7/3/97
    Orientador: Prof. Miguel Filgueiras

  16. Sabine Broda
    Título: Sobre Bases de Combinadores para Sistemas de Lambda Calculus
    Grau: Doutoramento em Ciência de Computadores
    Conclusão: 14/2/97
    Orientador: Prof. Luís Damas