Alunos de Mestrado

Incluem-se os alunos de mestrados do DCC-FCUP e/ou alunos com teses orientadas por doutorados do DCC-FCUP.


Teses submetidas
Teses em curso
Teses concluídas
Diplomas de pós-graduação

Teses submetidas:

Teses em curso:

  1. Angela Cristina Marques de Oliveira
    Tema:
    Mestrado em Informática
    Orientador: Prof. Nelma Moreira

  2. Dora Regina Oliveira Melo
    Tema:
    Orientadores: Prof. João Pedro Pedroso e Dr. Rogério Reis

  3. Fábio José Reis Luís Marques
    Tema: O Problema da Galeria de Arte: variantes, aplicações e algorítmos
    Mestrado em Informática
    Orientadores: Prof. Ana Paula Tomás e Prof. António Leslie Bajuelos

  4. João Rodrigues Fraga
    Tema: Uma Aplicação Paralela para Análise de Estruturas 3D de Proteinas
    Mestrado em Informática
    Orientadores: Prof. Fernando Silva, Prof. Alexandre Magalhães e Prof. Luís Lopes

  5. João Paulo Magalhães
    Tema: Um Sistema de Ficheiros Distribuído para uma infra-estrutura P2P.
    Mestrado em Informática
    Orientadores: Prof. Luís Lopes e Prof. Fernando Silva

  6. José Pedro Meireles Ferreira
    Tema: Um Sistema de Ficheiros Distribuído
    Mestrado em Informática
    Orientadores: Prof. Luís Damas

  7. Luís Barreto
    Tema: Segurança em Arquitecturas de Rede para Acesso sem Fios
    Mestrado em Informática
    Orientadores: Prof. Susana Sargento e Prof. Luís Antunes

  8. Manuel António Ferreira
    Tema:
    Mestrado em Informática
    Orientadores: Prof. Armando C. Matos e Prof. Luís Antunes

  9. Pedro Miguel Loureiro Vieira
    Tema: Sistemas de Gestão e Recolha de Informação Médica
    Mestrado em Informática
    Orientadores: Prof. Susana Sargento e Prof. Manuel Eduardo Correia

  10. Pedro Vieira Marques
    Tema: Uma Implementação Multi-threaded da linguagem TyCO
    Mestrado em Informática
    Orientadores: Prof. Luís Lopes and Prof Fernando Silva

  11. Pedro Manuel Pinto Ribeiro
    Tema: Aprendizagem baseada em ILP em Sistemas Multi-Agente para Robot-soccer
    Mestrado em Inteligência Artificial e Computação
    Orientadores: Prof. Fernando Silva e Prof. Rui Camacho

  12. Romeu Silva
    Tema: Encriptação em Cenários de Voz sobre IP
    Mestrado em Informática
    Orientadores: Prof. Susana Sargento

  13. Ricardo Alexandre Peixoto Queirós
    Tema:
    Mestrado em Informática
    Orientadores: Prof. José Paulo Leal e Prof. Nelma Moreira

  14. Ricardo Santos Silva
    Tema: Um debugger gráfico para a linguagem TyCO
    Mestrado em Informática
    Orientador: Prof. Luís Lopes

  15. Rui Manuel Costa Gouveia
    Tema: Balanceamento de Serviços de Rede em Clusters Linux.
    Mestrado em Informática
    Orientadores: Prof. Manuel Eduardo Correia


Teses concluídas:

  1. Hugo Jorge Pinto Ribeiro
    Título: WebNeighbours: uma Cache Distribuída usando o Modelo P2P
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Nov/2003
    Orientador: Prof. José Paulo Leal

  2. Rolando Martins
    Título: Um Sistema Baseado na Separação de Ambientes para Execução Distribuída de Prolog
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Jul/2003
    Orientadores: Prof. Fernando Silva e Prof. Ricardo Rocha

  3. Licínio Oliveira
    Título: P3: Parallel Peer-to-Peer
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Jun/2003
    Orientadores: Prof. Fernando Silva e Prof. Luís Lopes

  4. Ricardo Jorge Nogueira Fernandes
    Título:
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Mar/2003
    Orientadores:

  5. Luís Miguel Pinho Nogueira
    Título:
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Mar/2003
    Orientadores:

  6. Rogério Ferreira
    Título: Metodologia de Partilha de Dados entre Sistemas Heterogéneos Usando XML
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Mar/2003
    Orientadores: Prof. José Paulo Leal e Prof. Fernando Silva

  7. Miguel Ferreira Pereira Gomes
    Título:
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Fev/2003
    Orientadores:

  8. Jorge Manuel Neves Coelho
    Título: Processamento de XML usando Prolog
    Grau: Mestrado em Informática (Sistemas e Redes) FCUP, Universidade do Porto
    Conclusão: Nov/2002
    Orientador: Prof. Mário Florido

  9. Paula Marina Gonçalves Fonseca
    Título: Análise Automática de Logs em Sistemas Unix
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Nov/2002
    Orientador: Prof. Luís Damas

  10. Pedro Miguel Figueiredo Medas
    Título: Aplicações da Complexidade de Kolgomorov à Criptografia
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Set./2002
    Orientador: Prof. Armando Campos e Matos

  11. Nuno Manuel Reis Amado
    Título: Algoritmos Paralelos de Indução de Árvores de Decisão
    Grau: Mestrado em Inteligência Artificial e Computação, Universidade do Porto
    Conclusão: Jan./2002
    Orientadores: Prof. Fernando Silva e Prof. João Gama (FEP)

  12. Mário João Gonçalves Antunes
    Título: Administração Centralizada de Grupos de Sistemas UNIX
    Grau: Mestrado em Informática (Sistemas e Redes), FCUP, Universidade do Porto
    Conclusão: Out./2001
    Orientadores: Prof. Fernando Silva e Prof. Manuel Eduardo Correia

  13. Sandra Maria Mendes Alves
    Título: Inferência de Tipos usando Resolução de Restrições
    Grau: Mestrado em Informática, FCUP, Universidade do Porto
    Conclusão: Set/2001
    Orientador: Prof. António Mário Florido

  14. Paulo José S. Cravo Dias
    Título: Avaliação Automática de Exercícios em SQL
    Grau: Mestrado em Inteligência Artificial e Computação, Universidade do Porto
    Conclusão: Jul/2001
    Orientador: Prof. José Paulo Leal

  15. Nuno Alberto P. Fonseca
    Título: Optimização das Comunicações entre Aplicações e Bases de Dados
    Grau: Mestrado em Inteligência Artificial e Computação, Universidade do Porto
    Conclusão: Jan/2001
    Orientador: Prof. José Paulo Leal

  16. Rui Abel Pereira
    Tema: Desenvolvimento de um Servidor de Aplicações para Ambientes Distribuídos
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Abr/00
    Orientador: Prof. José Paulo Leal

  17. José Manuel Novais
    Tema: Aplicação de Métodos de "Data Mining" na Análise de Insucesso de Alunos
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Abr/00
    Orientador: Prof. Pavel Brazdil (FEP)

  18. Carmen Isabel Lima
    Tema: Um Sistema de Mirroring FTP e HTTP que Optimiza Recursos usando uma Estratégia de Avaliação Retardada
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Out/99
    Orientador: Prof. Luís Damas e Dr. Rogério Reis

  19. Élio Rui Oliveira Coutinho
    Tema: Uma Extensão do Modelo Relacional a Campos com Valores Múltiplos e Histórico
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Abr/99
    Orientador: Prof. Luís Damas

  20. Hervé Miguel Cordeiro Paulino
    Título: Desenho e Implementação do pSystem para Arquitecturas de Memória Distribuída
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Out/98
    Orientador: Prof. Fernando Silva

  21. Ricardo João Correia
    Título: Integração de Gráficos Vectoriais e Informação Estruturada em Ambientes Distribuídos
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Out/98
    Orientador: Prof. José Paulo Leal

  22. Pedro Baltazar Vasconcelos
    Título: Implementação de uma Linguagem Funcional usando Combinadores Compactos
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Out/98
    Orientador: Prof. Luís Damas e Prof. Sabine Broda

  23. José Maria Amaral Fernandes
    Tema: MAGOO -- Metodologia baseada em Agentes e Orientada por Objectos para a resolução de problemas distribuídos: uma aplicação à Gestão de Trânsito
    Grau: Mestrado em Ciência de Computadores, FCUP, Universidade do Porto
    Conclusão: Set/1998
    Orientador: Prof. Eugénio de Oliveira (FEUP/LIACC)

  24. António Jorge Morais
    Título: Prolog como Linguagem de Especificação para Programas em C
    Grau: Mestrado em Informática pela Univ. do Minho
    Conclusão: Abr/1998
    Orientador: Prof. Miguel Filgueiras

  25. Ismael Vaz
    Título: Yap, um Gerador de Código Nativo para Prolog
    Grau: Mestrado em Engenharia Electrotécnica e Computadores, FEUP
    Conclusão: Fev/97
    Orientador: Prof. Luís Damas

  26. Maria Dulce Fernandes Mota
    Título: Ferramentas para ajuda à tradução de textos científicos em computador
    Grau: Mestrado em Informática pela Univ. do Minho
    Conclusão: Out/1996
    Orientador: Prof. Miguel Filgueiras

  27. Michel Celestino Ferreira
    Título: Um Compilador de Prolog com Expansão de Código
    Grau: Mestrado em Informática pela Univ. do Minho
    Conclusão: Out/1996
    Orientador: Prof. Luís Damas

  28. Ricardo Jorge Rocha
    Título: Um Sistema Baseado na Cópia de Ambientes para a Execução de Prolog em Paralelo
    Grau: Mestrado em Informática pela Univ. do Minho
    Conclusão: Out/1996
    Orientador: Prof. Fernando Silva

  29. Ricardo Nuno Lopes
    Título: Execução de Prolog com Alto Desempenho
    Grau: Mestrado em Informática pela Univ. do Minho
    Conclusão: Out/1996
    Orientador: Prof. Vítor Santos Costa

  30. Luís Miguel Barros Lopes
    Título: Um Ambiente de Programação Paralela para Avaliação de Heurísticas de Scheduling
    Grau: Provas de Aptidão Pedagógica e Capacidade Científica, UP
    Conclusão: Jan/1995
    Orientador: Prof. Fernando Silva

  31. Sabine Broda
    Título: Teoria da Semântica de Programação Lógica Incluindo Restrições
    Grau: Provas de Aptidão Pedagógica e Capacidade Científica, UP
    Conclusão: 1991
    Orientador: Prof. Luís Damas

  32. Rogério Reis
    Título: YAP -- Estruturas de Dados
    Grau: Provas de Passagem a Assistente de Investigação, UP
    Conclusão: 1991
    Orientador: Prof. Luís Damas

  33. Ana Paula Tomás
    Título: Problemas de Representação Semântica em Interfaces a Bases de Dados
    Grau: Provas de Aptidão Pedagógica e Capacidade Científica, UP
    Conclusão: 1989
    Orientador: Prof. Miguel Filgueiras

  34. José Paulo Leal
    Título: Uma Base de Dados Externa para Prolog
    Grau: Provas de Passagem a Assistente de Investigação, UP
    Conclusão: 1989
    Orientador: Prof. Luís Damas

  35. Nelma Moreira
    Título: Representação Semântica de Referências Temporais em Linguagem Natural
    Grau: Provas de Aptidão Pedagógica e Capacidade Científica, UP
    Conclusão: 1989
    Orientador: Prof. Miguel Filgueiras

  36. Vítor Santos Costa
    Título: Implementação de Prolog
    Grau: Provas de Aptidão Pedagógica e Capacidade Científica, UP
    Conclusão: 1988
    Orientador: Prof. Luís Damas

  37. Rúben Azevedo
    Título: Sistema para a Construção e Verificação de Demonstrações Formais em Aritmética Recursiva
    Grau: Provas de Aptidão Pedagógica e Capacidade Científica, UP
    Conclusão: 1987
    Orientador: Prof. Luís Damas

Diploma de Pós-graduação (Mestrado em Ciência de Computadores):

  1. Hugo Fernandes, (1997/98)
  2. Paulo Jorge de Silva Costa, (1996/97)

Diploma de Pós-graduação (Mestrado em Informática):

  1. Ademar Cruz Carvalho Tavares, (1999/00)
  2. Carla Susana Rodrigues de B. Barbosa, (1999/00)
  3. Joao Carlos Pandeirada, (1999/00)
  4. Manuel Pinto Teixeira da Silva, (1999/00)