| Mauro Nacif Rocha | Simulação e Gerenciamento de Unidades Móveis em Ambientes de Comunicação Sem Fio | Geraldo Robson Mateus | 05/04/2001 |
| Juliana Pereira Salles | O Modelo Fractal de Comunicação: Criando um Espaço de Análise para Inspeção do Processo de Design de Software | Roberto da Silva Bigonha | 07/05/2001 |
| Marcos Gonçalves Rios | Documentação de Programas por Contrato | Roberto da Silva Bigonha | 08/05/2001 |
| Cristina Dulce Randazzo | Algoritmos para Problemas de Planejamento de Redes de Acesso | Henrique Pacca Loureiro Luna | 03/09/2001 |
| Jones Oliveira de Albuquerque | Um Método Estocástico para Projeto Conceitual | Claudionor José Nunes Coelho Júnior | 01/11/2001 |
| Elaine Gouvêa Pimentel | Lógica Linear e a Especificação de Sistemas Computacionais | Carlos Camarão de Figueiredo | 11/12/2001 |
