| Eduardo Santos Cordeiro | Otimizações na Compilação de Adendos de Contorno em Programas Orientados por Aspectos | Roberto da Silva Bigonha | 06/02/2007 |
| Renato Vimieiro | Um Estudo de Algoritmos para Extração de Regras Utilizando Análise Formal de Conceito | Newton José Vieira | 16/02/2007 |
| João Paulo Domingos Silva | Algoritmos de Classificação Baseados em Análise Formal de Conceitos | Newton José Vieira | 23/02/2007 |
| Daniel Ludovico Guidoni | Difusão de Dados Baseada em Atraso e Energia para Redes de Sensores Sem Fio | Antonio Alfredo Ferreira Loureiro | 28/02/2007 |
| Francisco Henrique de Freitas Viana | Algoritmo para o Problema de Roteamento Dinâmico de Veículos com Janelas de Tempo e Tempos de Viagem Variáveis | Geraldo Robson Mateus | 05/03/2007 |
| Wagner Moro Aioffi | Métodos Integrados para Organização de Redes de Sensores sem Fio com Sorvedouro Móvel e Controle de Densidade | Geraldo Robson Mateus | 09/03/2007 |
| Italo Giovani Abdanur Stefani | Método de Refinamento Machina | Roberto da Silva Bigonha | 13/03/2007 |
| Alysson Félix Rodrigues | Um Guia para Criação de Modelos de Desenho de Software no Praxis Synergia. | Wilson de Pádua Paula Filho | 21/03/2007 |
| Allan Jones Costa e Silva | Estratégias para Busca do Texto Completo de Artigos Catalogados em uma Biblioteca Digital | Alberto Henrique Frade Laender | 26/03/2007 |
| Christian Jorge Delgado Polar | Um Protocolo para Contratação de Agentes em Grupos de Larga Escala | Luiz Chaimowicz | 26/03/2007 |
| Paulo José Lage Alvarenga | Um Estudo sobre Referências Bibliográficas na Área de Ciência da Computação | Berthier Ribeiro de Araújo Neto | 29/03/2007 |
| Monique Vaz Vieira | Busca Eficiente em Redes Sociais | Berthier Ribeiro de Araújo Neto | 30/03/2007 |
| Tays Cristina do Amaral Pales Soares | Compilação de Semântica Denotacional Modular | Roberto da Silva Bigonha | 13/04/2007 |
| Thiago Radicchi Roque | Verificação de Equivalência de Circuitos com Aceleração por Largura e Aprendizado de Cláusulas de Conflito | Claudionor José Nunes Coelho Júnior | 27/04/2007 |
| Humberto Mossri de Almeida | Uma Abordagem de Componentes Combinados para a Geração de Funções de Ordenação Usando Programação Genética | Marcos André Gonçalves | 15/06/2007 |
| Wagner Salazar Pires | Uma Linguagem de Especificação Formal Orientada por Aspectos | Roberto da Silva Bigonha | 29/06/2007 |
| Bárbara Lagoeiro Moreira | Uma Ferramenta Baseada no Modelo 5S para Avaliação de Qualidade em Bibliotecas Digitais | Marcos André Gonçalves | 29/06/2007 |
| Fernando Duarte Oliveira Castro | Características do Tráfego e Padrões de Comunicação de um Serviço de Blogs | Virgílio Augusto Fernandes Almeida | 12/07/2007 |
| Luciana Pereira de Assis | Algoritmos para o Problema de Roteamento de Veículos com Coleta e Entrega Simultâneas | Geraldo Robson Mateus | 13/07/2007 |
| Fernanda Sumika Hojo de Souza | Algoritmos para o Problema de Atribuição de Papéis em Redes de Sensores Sem Fio | Geraldo Robson Mateus | 13/07/2007 |
| Cristiano de Paula Costa | Disseminação de Conteúdo Poluído em Sistemas Par-a-Par de Compartilhamento de Arquivos | Jussara Marques de Almeida Gonçalves | 16/07/2007 |
| Leonardo Teixeira Passos | Gerador LALR com suporte a resolução de conflitos | Mariza Andrade da Silva Bigonha | 04/09/2007 |
| André Bigonha Toledo | Proteus: Um Arcabouço para a Distribuição de Objetos no Ambiente da Computação Pervasiva | Roberto da Silva Bigonha | 04/09/2007 |
| Flávio Augusto Rocha Bertholdo | Técnicas de Limiarização para Melhorar a Qualidade Visual de Documentos Históricos | Arnaldo de Albuquerque Araújo | 21/09/2007 |
| Juliana França Santos Aquino | Algoritmo de Codificação Diferenciada para Redes de Sensores Sem Fio | Antonio Alfredo Ferreira Loureiro | 09/10/2007 |
| Ítalo Fernando Scotá Cunha | Gerenciamento de Capacidade de Infra-Estruturas Multi-Camadas com Restrições de Energia e Ataques de Segurança | Jussara Marques de Almeida Gonçalves | 19/11/2007 |
| Daniel Oliveira Nascimento | Gerenciamento de Ambientes Computacionais Via Web | Sérgio Vale Aguiar Campos | 29/11/2007 |
| Bruno Pontes Soares Rocha | Middleware de Segurança Adaptativo para Computação Móvel | Antonio Alfredo Ferreira Loureiro | 17/12/2007 |
| Cristiano Gato de Rezende | Publicar/Assinar em Redes Móveis Ad Hoc | Antonio Alfredo Ferreira Loureiro | 18/12/2007 |
| Rodrigo Geraldo Ribeiro | Programação Genérica Usando o Sistema CT | Carlos Camarão de Figueiredo | 18/12/2007 |
| Rodrygo Luis Teodoro Santos | WhizKEY: Um Ambiente para Instalação de Bibliotecas Digitais | Marcos André Gonçalves | 19/12/2007 |
