| Umberto Souza da Costa | Um Verificador de Modelos Explícito-Simbólico | Sérgio Vale Aguiar Campos | 18/02/2005 |
| Hervaldo Sampaio Carvalho | Fusão de Dados para Rede de Sensores Aplicada à Monitoração Pessoal de Saúde | Claudionor José Nunes Coelho Júnior | 22/03/2005 |
| Guilherme Bastos Alvarenga | Um Algoritmo Híbrido para os Problemas de Roteamento de Veículos Estático e Dinâmico com Janela de Tempo | Geraldo Robson Mateus | 02/05/2005 |
| Flávio Luis Cardeal Pádua | Alinhamento Espaço-Temporal de Sequências de Vídeo Capturadas a Partir de Múltiplos Pontos de Vista | Rodrigo Lima Carceroni | 20/05/2005 |
| José Pinheiro de Queiroz Neto | Modelagem Automática de Cenas com Iluminação não Local a Partir de Imagens | Rodrigo Lima Carceroni | 03/06/2005 |
| Bruno Augusto Vivas e Pôssas | Um Novo Modelo de Ordenação de Documentos Baseados em Correlação Entre Termos | Nivio Ziviani | 22/08/2005 |
| Adriana de Andrade Oliveira | Um Arcabouço Para Roteamento em Redes MPLS | Geraldo Robson Mateus | 03/10/2005 |
| Silvana Bocanegra | Algoritmos de Newton-Krylov Precondicionados para Métodos de Pontos Interiores | Frederico Ferreira Campos, filho | 15/12/2005 |
| Zenilton Kleber Gonçalves do Patrocínio Júnior | Planejamento de Topologia Virtual com Combinação de Tráfegos em Redes Óticas Multiplexadas por Divisão de Comprimento de Onda | Geraldo Robson Mateus | 19/12/2005 |
