| 2011 | Uma Abordagem Metodológica para a Avaliação Multidimensional da Acessibilidade de Interfaces com o Usuário para Aplicações Web | André Luís Belmiro Moreira Ramos |
| 2011 | Infraestrutura para o Desenvolvimento de Aplicações Pervasivas Cientes de Redes Sociais | Daniel Bruno Alves dos Santos |
| 2011 | Estimando o Valor de uma Grade P2P usando Provedores de Infraestrutura como Serviço como Parâmetro de Comparação | Edigley Pereira Fraga |
| 2011 | Ataques Quânticos a Geradores de Números Pseudo-Aleatórios | Elloá Barreto Guedes da Costa |
| 2011 | Usando MDA e MDT para Modelagem e Geração Automática de Arquiteturas de Teste para Sistemas de Tempo Real | Everton Leandro Galdino Alves |
| 2011 | Eficiência de download em enxames BitTorrent | Jaindson Valentim Santana |
| 2011 | Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação | João Felipe Silva Ouriques |
| 2011 | Análise de Protocolos de Roteamento Unicast em Redes Ad Hoc Móveis Baseada em um Modelo Realístico de Bateria | José Athayde Torres Costa Neto |
| 2011 | Validação Visual de Programas Ladder Baseada em Modelos | Leonardo Rodrigues Sampaio |
| 2011 | Avaliação do Impacto de Estratégias de Economia de Energia em Grades Computacionais Entre-Pares | Lesandro Ponciano dos Santos |
| 2011 | Predição da Qualidade de Serviço em Grades Computacionais P2P | Marcus Williams Aquino de Carvalho |
| 2011 | Um Estudo sobre a Eficácia do Ensino à Distância de Programação para Alunos Iniciantes | Mariana Romão do Nascimento |
| 2011 | Uma Política Autonômica de Compartilhamento para Grades Entre-Pares | Matheus Gaudencio do Rêgo |
| 2011 | Hybrid Ad Hoc Grid: Uma Grade Computacional Entre-Pares Auto-Organizável | Rodrigo Lopes da Silva |
| 2011 | Avaliação do Consumo de Energia em Protocolos de Roteamento para Redes Tolerantes a Atrasos e Interrupções | Thiago Santana Batista |
| 2010 | Identificação de Diretrizes para a Construção de Meta-modelos na Infra-estrutura de MDA | Andreza de Sousa Vieira |
| 2010 | Automação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML | Anne Caroline Oliveira Rocha |
| 2010 | Uma Ferramenta de Avaliação de Estabilidade Dinâmica para Sistemas Elétricos de Potência | Bruno Coitinho Araújo |
| 2010 | Uma Abordagem Dirigida por Modelos para a Geração Automática de Casos de Teste de Integração Usando Padrões de Teste | Camila de Luna Maciel |
| 2010 | Data Warehouse de Trajetórias: um Modelo Semântico com Suporte à Agregação por Direção dos Movimentos | Carlos Augusto de Santana Almeida |
| 2010 | Uma Abordagem Baseada em Regras para Detecção Automática de Eventos Pré-Definidos em Vídeos | Francisco Fabian de Macedo Almeida |
| 2010 | Investigação e Avaliação Experimental de Técnicas de Re-teste Seletivo para Teste de Regressão baseado em Especificação | Francisco Gomes de Oliveira Neto |
| 2010 | Impacto do Suporte Metodológico e Ferramental Orientado a Aspectos de Usabilidade no Ensino Prático da Engenharia de Software | Giuseppe Anthony Nascimento de Lima |
| 2010 | Uma Abordagem para Aumentar a Segurança em Refatoramentos de Programas | Gustavo Araújo Soares |
| 2010 | Modelagem e Descrição Formal das Fontes do Direito como Infraestrutura de um Sistema de Gerenciamento de Conhecimento Legal | Halley Ferreira Solano de Freitas |
| 2010 | BVM: Reformulação da metodologia de verificação funcional VeriSC | Helder Fernando de Araújo Oliveira |
| 2010 | Infraestrutura para Transmissão de Conteúdo Multimídia com Suporte à Adaptação de Fluxos | Ivo Augusto Andrade Rocha Calado |
| 2010 | Testes de Design: Uma Abordagem Baseada em Testes para Verificação Automática de Conformidade Estrutural entre Implementação e Regras de Design | João Arthur Brunet Monteiro |
| 2010 | Renderização Não Fotorrealística: uma Abordagem para Abstração de Imagens Coloridas Digitais | João Bosco de Oliveira Alencar Júnior |
| 2010 | Estudo de Técnicas para Classificação de Vozes Afetadas por Patologias | João Vilian de Moraes Lima Marinus |
| 2010 | Processamento Paralelo de Grandes Quantidades de Dados sobre um Sistema de Arquivos Distribuído POSIX | Jonhnny Weslley Sousa Silva |
| 2010 | Um Protocolo de Reposição de Sensores via Robôs em Redes de Sensores Sem Fio | Larissa Lucena Vasconcelos |
| 2010 | DYSCS: Uma Plataforma para Construção de Sites de Conteúdo Social Enriquecidos Semântica e Geograficamente | Luciana Cavalcante de Menezes |
| 2010 | Um Framework de Apoio à Decisão para Investimentos em Serviços de TI | Magno Jefferson de Souza Queiroz |
| 2010 | Um Serviço de Cache de Disco para Grades Computacionais Entre-Pares | Rafael Ferreira da Silva |
| 2010 | GeoSen_Tags:Um motor de busca geográfico com suporte a Tags | Ricardo Madeira Fernandes |
| 2010 | Provendo segurança e uma semântica de falhas consistente para a comunicação de objetos assíncronos distribuídos | Rodrigo de Almeida Vilar de Miranda |
| 2010 | Modelos Computacionais Realistas para Dependências entre Entidades de Software | Rodrigo Rocha Gomes e Souza |
| 2010 | Geração Automática de Testes com Objetos Mock Baseados em Interações | Sabrina de Figueirêdo Souto |
| 2010 | Descoberta de Causa-raiz em Ocorrências de Sistemas Elétricos | Stéfani Silva Pires |
| 2010 | Especificação Baseada no Padrão UPnP para Autenticação e Autorização de Usuários em Ambientes de Computação Pervasiva | Thiago Bruno Melo de Sales |
| 2010 | Políticas de Alocação e Migração de Arquivos em Sistemas de Arquivos Distribuídos para Redes Locais | Thiago Emmanuel Pereira da Cunha Silva |
| 2009 | Abordagem Híbrida para a Avaliação de Interfaces Multimodais | Ana Esther Victor Barbosa |
| 2009 | Avaliação de Modelos de Mobilidade em Redes AD HOC sem Fio | Elmano Ramalho Cavalcanti |
| 2009 | Um Framework para Data Warehouse Espacial | Felipe Menezes Cardoso |
| 2009 | Um método Automático para o Ajuste de Segmentadores de Imagens Baseados em Informação de Textura e Cor | Fernando Henrique Bezerra Cardoso |
| 2009 | Um Método Automático para o Ajuste de Segmentadores de Imagens Baseados em Informação de Textura e Cor - ERRATA | Fernando Henrique Bezerra Cardoso |
| 2009 | Geração de Representações não Foto-realísticas a partir de Fotografias Digitais: Um Estudo de Caso com Faces Humanas | Francisco de Assis P. V. de Arruda |
| 2009 | Integração de um Sistema de Raciocínio Baseado em Casos e um Agente Inteligente de Diálogo para Resolução de Problemas de Programação | Gilson Pereira dos Santos Júnior |
| 2009 | Um Livro-texto para o Ensino de Projeto de Arquitetura de Software | Guilherme Mauro Germoglio Barbosa |
| 2009 | Uma Infraestrutura de Suporte a Aplicações Cientes de Contexto com o Enfoque no Usuário Final | Hugo Feitosa de Figueirêdo |
| 2009 | NodeWiz-R: Um Sistema P2P Relacional para a Descoberta de Recursos | José Flávio Mendes Vieira Júnior |
| 2009 | Geração Automática de Testes de Conformidade para Programas de Controladores Lógicos Programáveis | Kézia de Vasconcelos Oliveira |
| 2009 | Uma Heurística de Escalonamento Adaptativa à Disponibilidade da Informação para Aplicações Bag-of-Tasks Data-Intensive em Grids Computacionais | Leonardo de Assis |
| 2009 | Uma Estratégia para a Escrita de Cenários de Caso de Uso Voltados à Geração Automática de Casos de Teste | Makelli Araújo Jucá |
| 2009 | Uma Infra-Estrutura para o Desenvolvimento de Aplicações Corporativas com Suporte à Evolução Dinâmica e Não Antecipada | Marcos Fábio Pereira |
| 2009 | Técnica Híbrida de Análise de Impacto para Sistemas Orientados a Objetos | Mirna Carelli Oliveira Maia |
| 2009 | Ad Hoc Grid : Uma Grade Computacional Entre-pares Auto-organizável | Pablo Gustavo Soares Tibúrcio |
| 2009 | Análise da Correlação entre Métricas de Evolução e Qualidade de Design de Software | Pablo Oliveira Antonino de Assis |
| 2009 | Isolamento Automático de Falhas em Sistemas | Wagner de Souza Porto |
| 2009 | Verificação de Artefatos de Diagramas de Classe UML através da Aplicação Testes de Design | Waldemar Pires Ferreira Neto |
| 2009 | Extração de Informação não Estruturada Usando um Método Supervisionado e Independente de Domínio | Welmisson Jammesson da Silva |
| 2009 | PhotoGeo - Uma Biblioteca Digital de Fotografias com Suporte de Geoprocessamento | Yuri Almeida Lacerda |
| 2008 | Uma Técnica de Análise de Conformidade Comportamental para Sistemas Distribuídos | Amanda Saraiva Bezerra |
| 2008 | DigiSeal - Um Estudo de Caso para Modelagem de Transações Temporais Assíncronas na Metodologia VeriSC | Ana Karina de Oliveira Rocha |
| 2008 | Segmentação, Rastreamento de Objetos e Detecção de Eventos Primitivos com Aplicação no Monitoramento Automático de Ações Humanas em Vídeo | Bruno Alexandre Dias da Costa |
| 2008 | Detecção de Olhos em Imagens com Faces Humanas | Bruno de Brito Leite |
| 2008 | DBMS-Analyzer: Um Framework para Análise Holística de Desempenho de SGBDs | Camilo Porto Nunes |
| 2008 | AutoMan: Gerência Automática de Grades Computacionais Entre-Pares | Celso Augusto Raposo Lisboa Brennand |
| 2008 | Uma Abordagem Quântica para o Uso de Expressões Regulares | Cheyenne Ribeiro Guedes Isidro |
| 2008 | GeoSEn: um Motor de Busca com Enfoque Geográfico | Cláudio Elízio Calazans Campelo |
| 2008 | O Impacto de Calotes e Múltiplas Personalidades no BitTorrent
| Felipe Barros Pontes |
| 2008 | Gerador de Vídeo Pseudo-Aleatório Sintético na Verificação Funcional de Circuitos Decodificadores de Vídeo MPEG-4 | George Sobral Silveira |
| 2008 | Análise de Mutação Aplicada à Verificação Funcional de IP Core | Henrique do Nascimento Cunha |
| 2008 | Abordagem de Desenvolvimento Evolutivo de Interface do Usuário Baseada em Modelos e Múltipla Prototipagem: FastInterface | Karolyne Maria Alves de Oliveira |
| 2008 | Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas | Laísa Helena Oliveira do Nascimento |
| 2008 | Avaliação Experimental do Protocolo DCCP para Transmissão de Conteúdos Multimídia em Redes Sem Fio 802.11g e na Internet | Leandro Melo de Sales |
| 2008 | Análise Probabilística de Impacto de Mudanças Baseada em Históricos de Mudanças do Software | Lile Palma Hattori |
| 2008 | Uma Infra-estrutura para o Desenvolvimento de Aplicações Pervasivas Auto-configuráveis | Mário Hozano Lucas de Souza |
| 2008 | Desenvolvimento de Software para Dispositivos Móveis Baseados na Plataforma maemo | Raul Fernandes Herbster |
| 2008 | Um Framework para Auxílio na Criação de Diagnosticadores de Falhas em Sistemas | Renata França de Pontes |
| 2008 | Investigação de Técnicas para Extração de Caracterísitcas e Indexação Usando Redes GHSOM Aplicadas à Recuperação de Imagens por Conteúdo | Saulo de Tarso Oliveira Rodrigues |
| 2008 | Um Protocolo Multicast de Distribuição de Conteúdo em Redes Ad Hoc Móveis | Sidney Santos Doria |
| 2007 | Um Simulador Simbólico de Circuitos Quânticos | Alexandre de Andrade Barbosa |
| 2007 | Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares | Ana Cristina Alves de Oliveira |
| 2007 | Detecção Automática de Violações de Propriedades de Sistemas Concorrentes em Tempo de Execução | Ana Emília Victor Barbosa |
| 2007 | FLOApp: Ambiente Integrado para Suporte às Comunidades de Desenvolvimento e Usuárias de Software Livre | Ana Isabella Muniz |
| 2007 | Concepção e Validação de um Modelo Multidimensional para Data Warehouse Espacial | André Gomes de Sousa |
| 2007 | Algoritmos para Composição Automática de Fotografias | Cláudio Sebastião Vasconcelos da Cunha Cavalcanti |
| 2007 | Abordagem Híbrida para Avaliação da Usabilidade de Dispositivos Móveis | Danilo de Sousa Ferreira |
| 2007 | Atenção Visual Bottom-up Guiada por Otimização via Algoritmos Genéticos | Eanes Torres Pereira |
| 2007 | Uma Arquitetura Orientada a Serviços para Roteamento Personalizado | Elvis Rodrigues da Silva |
| 2007 | SWS-GIS: Uma Arquitetura Baseada em Serviços para uma Federação de Spatial Data Infrastructures | Fábio Luiz Leite Júnior |
| 2007 | Infra-estrutura para o Desenvolvimento de Aplicações Cientes de Contexto em Ambientes Pervasivos | Frederico Moreira Bublitz |
| 2007 | Geração semi-automática de Testbenches para Circuitos Integrados Digitais | Isaac Maia Pessoa |
| 2007 | Um Protocolo para Gerência de Handoff em Redes Pessoais Sem Fio para Aplicações de Tempo-Real | Loreno Feitosa de Oliveira |
| 2007 | OURBACKUP: Uma Solução P2P de Backup Baseada em Redes Sociais | Marcelo Iury de Sousa Oliveira |
| 2007 | Estudo Experimental Comparativo de Modelos de Componentes para o Desenvolvimento de Software Sob o Aspecto de Evolutibilidade | Nadia Milena da Silva Barbosa |
| 2007 | A Utilização do Algoritmo Quântico de Busca em Problemas da Teoria da Informação | Nigini Abilio Oliveira |
| 2007 | Desenvolvimento de Software Guiado por Testes e Aceitação Usando Easy Accept | Osório Lopes Abath Neto |
| 2007 | PERSONAE: Um Modelo de Mediação Semântica para Arquiteturas Orientadas a Serviços | Patrício de Alencar Silva |
| 2007 | Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais | Paulo Eduardo e Silva Barbosa |
| 2007 | Avaliação do Risco Associado a Mudanças de Tecnologia da Informação com Aplicação para a Atividade de Priorização | Rodrigo Almeida dos Santos |
| 2007 | Geração de Casos de Teste de Interação para Aplicações de Celulares | Wilkerson de Lucena Andrade |
| 2007 | SMILE - Uma Ferramenta para Geração Automática, Edição e Simulação de Protótipos de Interface do Usuário | Yuska Paola Costa Aguiar |
| 2006 | Modelagem Executável de Sistemas Distribuídos em Java | Afrânio Mangueira Lima de Assis |
| 2006 | Combinando Objetos Distribuídos e Arquiteturas Orientadas a Eventos em uma Infra-Estrutura de Comunicação para Sistemas Distribuídos | Aliandro Higino Guedes Lima |
| 2006 | OMNIPRESENT - Um Sistema Ciente de Contexto Baseado em Arquitetura Orientada a Serviço | Damião Ribeiro de Almeida |
| 2006 | Geração de Objetivos de Teste para Sistemas Reativos Baseada na Técnica de Verificação de Modelos CTL | Daniel Aguiar da Silva |
| 2006 | Desenvolvimento de um IP CORE de Pré-Processamento Digital de Sinais de Voz para Aplicação em Sistemas Embutidos | Daniella Dias C.Silva |
| 2006 | SMART-HCI - Uma Estratégia para Aprendizagem Organizacional em Ambientes de Projeto de IHC | Ecivaldo de Souza Matos |
| 2006 | Uma Técnica para Modelagem e Verificação de Programas Java Concorrentes Auxiliada por Anotações de Código | Elthon Allex da S. Oliveira |
| 2006 | Geração de Casos de Teste Funcional para Aplicações de Celulares | Emanuela Gadelha Cartaxo |
| 2006 | Um Middleware Extensível para disponibilização de Serviços em Ambientes Pervasivos | Emerson Cavalcante Loureiro Filho |
| 2006 | WEBS COMPOSER: Uma Ferramenta Baseada em Ontologias para a Descoberta e Composição de Serviços na Web | Fabio Gomes de Andrade |
| 2006 | Projeto de Infra-estrutura de TI pela Perspectiva de Negócio | Filipe Teixeira Marques |
| 2006 | Infra-Estrutura de Software Baseada em Componentes para a Construção de Aplicações para Comunidades Virtuais Móveis | Glauber Vinícius Ventura de Melo Ferreira |
| 2006 | Avaliação de Heurísticas de Escalonamento de Aplicações Bag-of-Tasks em Grids Computacionais Adaptativas à Disponibilidade de Informação | Nelson Alves da Nóbrega Júnior |
| 2006 | CASTOR: Uma Técnica de Verificação de Conformidade para Arquiteturas de Software Baseada em Componentes | Rogério Dourado Silva Júnior |
| 2006 | Aprendizagem de Máquina em um Ambiente para Negociações Automatizadas | Rômulo Nunes de Oliveira |
| 2005 | Avaliando Arquiteturas de Auditoria de Acordos de Nível de Serviço para Web Services e Grid Services | Ana Carolina Benjamim Barbosa |
| 2005 | Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis | André Luiz Lima de Figueiredo |
| 2005 | Práticas para Gerência e Desenvolvimento de Projetos de Software Livre | Carlos Alexandre de Araújo Lima |
| 2005 | MEDITE+: Utilizando o Processo de Roteirização para a Obtenção do Modelo de Interação EDITOR Estendido | Carlos Eduardo Caminha Lopes Rodrigues |
| 2005 | Um Método Automático de Teste Funcional para a Verificação de Componentes | Daniel Lima Barbosa |
| 2005 | Seleção de Modelos de Classificação Através de Heurísticas | David Moises B. dos Santos |
| 2005 | Um Algoritmo Genético para Otimização do Controle de Redes de Escoamento de Petróleo | Esther Brasileiro |
| 2005 | Modelagem de Sistemas com Restrições Temporais em Redes de Petri Orientadas a Objetos | Fabrício Vale de Azevedo Guerra |
| 2005 | Convertendo Recursos Compartilhados no Espaço em Recursos Intermitentes | Lauro Ivo Beltrão Colaço Costa |
| 2005 | Especificação e Implementação de Componentes para Modelar Redes Locais sem Fio Ad Hoc Padrão IEEE 802.11 | Leidjane Matos de Souto |
| 2005 | Comunicação de Dados para um Sistema de Telemetria de Baixo Custo | Maurício Marinho Formiga |
| 2005 | Avaliação de Esquemas de Contabilidade Autônoma em Grades Computacionais Peer-to-Peer | Robson Hugo Araújo dos Santos |
| 2005 | WEBQUEST: Uma Ferramenta Web Configurável para a Sondagem da Satisfação Subjetiva do Usuário | Rodrigo César Lobo de Oliveira |
| 2005 | Arquitetura de Software para Arranjos Produtivos Locais | Rodrigo Rebouças de Almeida |
| 2005 | Um Mecanismo de Atenção Visual Integrando Evidências Espaciais e Temporais | Sandberg Marcel Santos |
| 2005 | Simulação Automática e Geração de Espaço de Estados de Modelos em Redes de Petri Orientadas a Objetos | Taciano de Morais Silva |
| 2005 | Um Ambiente Visual de Consulta a Banco de Dados Espaço-Temporal | Valéria Maria Bezerra Cavalcanti |
| 2004 | VIDEOLIB: uma Biblioteca Digital de Vídeo Usando Metadados Dublin Core e MPEG-7 | Alex Sandro da Cunha Rêgo |
| 2004 | SEI-TUR: Um Sistema de Criação de Roteiros Turísticos | Ana Carolina de Jesus Maia |
| 2004 | Uma Arquitetura Híbrida para o Suporte de Protocolos Distribuídos Tolerantes a Falhas | Andrey Elisio Monteiro Brito |
| 2004 | Verificação de Modelos em Redes de Petri Orientadas a Objetos | Cássio Leonardo Rodrigues |
| 2004 | XPU - Um Modelo para o Desenvolvimento de Sistemas Centrado no Usuário | César Rocha Vasconcelos |
| 2004 | Teste de Integração para Sistemas Baseados em Componentes | Cidinha Costa Gouveia |
| 2004 | Proposta de Suporte Computacional ao Método MCI | Daniel Scherer |
| 2004 | Escalonamento de Aplicações que Processam Grandes Quantidades de Dados em Grids Computacionais | Elizeu Lourenço dos Santos Neto |
| 2004 | Uma Ferramenta Robusta de Tratamento de Eventos em Redes Elétricas | Eloi Rocha Neto |
| 2004 | Formalização a Análise de Padrões de Projeto para Agentes Móveis | Emerson Ferreira de Araújo Lima |
| 2004 | Uma Ferramenta para Projeto Simulação de Circuitos Quânticos | Gustavo Eulálio Miranda Cabral |
| 2004 | COMPOR - Desenvolvimento de Software para Sistemas Multi-Agentes | Hyggo Oliveira de Almeida |
| 2004 | Aprendizagem e Recuperação de Imagens Utilizando Mapas Auto-Organizáveis e Representação Log-Polar | Luana Bezerra Batista |
| 2004 | Reputação Autônoma como Incentivo à Colaboração no Compartilhamento de Recursos Computacionais | Nazareno Ferreira de Andrade |
| 2004 | Gestão do Conhecimento no Processo de Concepção de IHC e uma Nova Abordagem para a Obtenção de uma Especificação Conceitual da Interação | Pablo Ribeiro Suárez |
| 2004 | SVSyn - Acoplando um Mecanismo de Notificação Síncrono ao CVS para Otimizar a Comunicação no Desenvolvimento Global de Software | Pasqueline Lacerda Dantas |
| 2004 | Um Modelo de Sistema Multi-Agente para Negociação Automatizada no Comércio Eletrônico | Ricardo Rubens Gomes Nunes Filho |
| 2003 | Tratamento de Eventos em Redes Elétricas: Uma Ferramenta | Alexandre Nobrega Duarte |
| 2003 | Sistema de Transmissão de Vídeo para Vigilância Utilizando Bluetooth | Alisson Vasconcelos de Brito |
| 2003 | Um Método de Teste Funcional para Verificação de Componentes | Carina Machado de Farias |
| 2003 | Um Sistema de Apoio à Tomada de Decisão no Acompanhamento do Aprendizado em Educação à Distância | Claudivan Cruz Lopes |
| 2003 | Usando Replicação para Escalonar Aplicações Bag-of-Tasks em Grids Computacionais | Daniel Paranhos da Silva |
| 2003 | SAMOA - Sistema de Apoio a Modelagem Orientada a Objeto de Aplicações | Edemberg Rocha da Silva |
| 2003 | GeoLocalizador: um Sistema de Referência Espaço-Temporal Indireta na Web | Eder Pazinatto |
| 2003 | Projeto e Implementação de um Serviço de Detecção de Falhas com Semântica Perfeita para Redes Locais | Ely Wagner Aguiar de Oliveira |
| 2003 | Análise de Desempenho de Soluções para Armazenamento Estável de Dados | Erick Baptista Passos |
| 2003 | Projeto e Implementação do Módulo TAOS-GRAPH da Ferramenta ITAOS para Análise e Modelagem da Tarefa | Francisco Petrônio Alencar de Medeiros |
| 2003 | Suporte à Análise e Verificação de Modelos RPOO | José Amâncio da Silva Macedo |
| 2003 | O Impacto da Métrica e do Escalonador Sobre a Performance dos Supercomputadores Paralelos | Josilene Aires Moreira |
| 2003 | ONTOEDITOR: Um Editor para Manipular Ontologias na Web | Karine de Freitas Vasconcelos* |
| 2003 | Demultiplexador Óptico Temporal Baseado em Anel Óptico Não-Linear | Márcio Ferreira Barros |
| 2003 | Lições Aprendidas no Projeto e Implementação de uma Ferramenta de Comunicação em Grupo Baseado no Paradigma de Canais de Eventos | Marcos Xavier de A. Barreto* |
| 2003 | XML-ODBMS: Uma Ferramenta de Intercâmbio de Dados Entre Bancos de Dados Orientados a Objeto | Nilton Oliveira Matos Júnior |
| 2003 | Projeto e Implementação do Módulo TAME da Ferramenta ITAOS para Análise e Modelagem da Tarefa | Pedro Barbosa Cordeiro |
| 2003 | Integração de Bancos de Dados Federados na Web Usando Agentes Móveis | Philip Stephen Medcraft |
| 2003 | Projeto e Construção de um Gerente de Data Warehouses Móveis | Plácido Marinho Dias |
| 2003 | Modelo e Implementação de Objetos Móveis em Banco de Dados Objeto-Relacional | Ricardo Santos de Oliveira |
| 2003 | WideWorkWeb - Uma Metodologia para o Desenvolvimento de Aplicações Web num Cenário Global | Vanessa Farias Dantas |
| 2002 | Usando Replicação Ativa para Prover Tolerância a Falhas de Forma Transparente a uma Implementação da Plataforma J2EE | André Andrade Costa* |
| 2002 | Integrando Agentes Móveis com Sistemas Legados para Gerencimento de Redes ATM Heterogêneas | André Ribeiro Cardoso |
| 2002 | Uma Ferramenta de Apoio ao Desenvolvimento de Web Services | Andrés Ignácio Martinez Menéndez* |
| 2002 | Mineração de Regras de Classificação com Sistemas de Banco de Dados Objeto-Relacional. Estudo de Caso: Regras de Classificação de Litofácies de Poços de Petróleo | Benitz de Souza Vasconcelos |
| 2002 | Personalização Plena em Sistemas E-BUSINNES: Uma Abordagem de Tomada de Decisão | Carlos Alberto Odorico de Moraes Filho |
| 2002 | MEDITE: Uma Metodologia Orientada a Modelos para Concepção de Interfaces Ergonômicas | Claudia Veronica Serey Guerrero |
| 2002 | Representação e Indexação de Casos em Sistemas de Raciocínio Baseado em Casos para o Domínio da Neurologia | Deam James Azevedo da Silva |
| 2002 | Um Sistema Tutor Acoplado a um Portfólio Eletrônico no Contexto da Educação a Distância - Portifólio-Tutor | Débora Maria Coelho Nascimento* |
| 2002 | Aplicando RDF na Interoperabilidade de Dados entre Domínios | Domingos Sávio Apolônio Santos* |
| 2002 | Estudo e Experimentação de uma Linguagem de Modelagem de Sistemas Baseada em Redes de Petri e Orientação a Objetos | Edna Dias Canedo |
| 2002 | DILIFRAME: Um Framework para o Desenvolvimento de Bibliotecas Digitais | Eliane Cristina de Araújo |
| 2002 | Identificação de Litofácies de Poços de Petróleo Utilizando um Método Baseado em Redes Neurais Artificiais | Elisângela Silva da Cunha |
| 2002 | Avaliação do Impacto de Tecnologias da Informação Emergentes nas Empresas | Elizabet Maria Spohr de Medeiros |
| 2002 | Teoria e Aplicação de Support Vector Machines à Aprendizagem e Reconhecimento de Objetos Baseado na Aparência | Eulanda Miranda dos Santos |
| 2002 | Uma Abordagem para Modelar Fenômenos Espaço-Temporais | Expedito Carlos Lopes* |
| 2002 | Desenvolvimento de Componentes para Facilitar a Monitoração Remota de Redes de Computadores usando a Ferramenta WebManager | Exson Machado Souza* |
| 2002 | Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis | Fabiana Paulino Guedes |
| 2002 | Um Modelo para o Tratamento de Confiança sobre Transações de E-Business | Fábio Roberto Pillatt |
| 2002 | WebObjects: Uma Plataforma de Consulta à Web | Fábio Soares Silva* |
| 2002 | Localização e Reconhecimento de Placas de Sinalização Utilizando um Mecanismo de Atenção Visual e Redes Neurais | Fabrício Augusto Rodrigues |
| 2002 | Implementação e Validação de Componentes de um Ambiente de Simulação para Redes TCP/IP | Flávio Gonçalves da Rocha |
| 2002 | Especificação de Componentes para Modelagem de Redes sem Fio Padrão IEEE 802.11 | Geovane Vitor Vasconcelos |
| 2002 | Definição e Validação de Refatoramentos de Software em Larga Escala | Glaucimar da Silva Aguiar |
| 2002 | Compreensibilidade de Textos Contínuos em Interfaces Gráficas | Grace Maria Cavalcanti Sampaio |
| 2002 | Análise, Projeto e Implementação de um Esquema MOLAP de Data Warehouse, Utilizando o SGBD-OR Oracle 8i | Hilmer Rodrigues Neri |
| 2002 | Sistemas Especialistas Como Ferramenta Auxiliar para o Ensino da Disciplina Bases da Técnica Cirúrgica | João Fernandes Britto Aragão* |
| 2002 | Ferramenta para Amento da Produtividade no Desenvolvimento de Aplicações Web sobre a Plataforma J2EE | José Maria Rodrigues Santos Junior* |
| 2002 | Projeto e Construção de um Ambiente para Extrair Conhecimento de Bancos de Dados da Petrobras. Estudo de Caso: Identificação Automática de Litofácies em Poços de Petróleo | Josué Toebe |
| 2002 | MediWeb: Um integrator Semântico de Dados na Web | Ladjane Silva de Arruda |
| 2002 | Um Modelo Genérico de Agente Racional Baseado em Raciocínio Assíncrono Interativo | Lidiana de França Martins |
| 2002 | Diagramação de Interfaces Web | Marconi Luiz França |
| 2002 | Integração Mineração de Dados - SGBD não é uma panacéia: Estudo da Integração do Algoritmo Apriori Quantitativo ao Oracle9i | Maria de Fátima Almeida Santos* |
| 2002 | E-learning: Análise de Requisitos, Discussão de Estratégias e Estudo de Caso | Mário Vasconcelos Andrade* |
| 2002 | Análise, Projeto e Implementação de um Gerente Web de Metadados Extensível para um Processo de Data Warehousing | Methanias Colaço Rodrigues Júnior* |
| 2002 | Um Modelo de Organização de Recursos Didáticos Baseado em Componentes para um Ambiente de Ensino a Distância | Miriam Nunes Carvalho* |
| 2002 | Melhores Práticas para a Gerência de Redes de Computadores | Raquel Vigolvino Lopes |
| 2001 | Reuso de Modelos em Redes de Petri Coloridas | Adriano José Pinheiro Lemos |
| 2001 | Projeto e Implementação de um Serviço de Eventos para o Desenvolvimento de Aplicações Baseadas em Componentes | Alberto Costa Neto |
| 2001 | Uma Interface para Consultas a Sistemas de Suporte à Decisão Baseada em Linguagem Natural, Casamento de Padrões e Metadados | André Vinícius Rodrigues Passos Nascimento |
| 2001 | Um Ambiente para o Agente Pedagógico de Aprendizagem Colaborativa em Harmonização Ecológica - APACHE | Ângela Batista Reis |
| 2001 | Modelo de Gestão do Conhecimento para Empresas de Desenvolvimento de Software | Carlos Octávio de Alexandre Queiroz |
| 2001 | Fidus: Uma Ferramenta para Busca de Informações Personalizadas na Web | Edeyson Andrade Gomes |
| 2001 | Análise, Projeto e Implementação de um Servidor de DW Extensível | Eduardo Manuel de Freitas Jorge |
| 2001 | Segmentação Automática de Fluxos Musicais: Uma Abordagem Multi-Agentes | Ernesto Trajano de Lima Neto |
| 2001 | Shart-Web: Um Sistema Tutor de Harmonia Tradicional na Web | Fernando Maia Assunção |
| 2001 | Evolução de um Framework para a Construção de Aplicações de Gerência de Falhas em Redes de Computadores | Giovanni Almeida Santos |
| 2001 | Integração de Sistemas Heterogêneos através da Interface com o Usuário | Janeide Albuquerque Cavalcanti |
| 2001 | Especificação de Componentes para um Ambiente de Simulação de Redes TCP/IP | Juliana Camboim Lopes de Andrade Lula |
| 2001 | Avaliação de Desempenho do Buffer Multiclass Comatm | Karina Rocha Gomes da Silva |
| 2001 | Adaptação de Modelos de Redes de Petri Coloridas | Kyller Costa Gorgônio |
| 2001 | Serviço Corba de Diagnóstico de Falhas (SDF) | Marcela Santana Guimarães Batalha |
| 2001 | EaD: Uma Ferramenta para Auxiliar o Projeto de Cursos a Distância Suportados pela CMC | Rodrigo Bonifácio de Almeida |
| 2001 | Um Sistema de Visão Inteligente para Detecção e Reconhecimento de Peças em um Tabuleiro de Xadrez em Tempo Real | Sérgio Faustino Ribeiro |
| 2001 | Controle de um Braço Robótico Utilizando uma Abordagem de Agente Inteligente | Tarig Ali Abdurrahman El Shheibia |
| 2000 | MHITS - Um Sistema Tutor Inteligente em Harmonia Musical | Adriano de Oliveira Caminha |
| 2000 | Ferramenta para Integração e Análise de Dados da Avaliação de Interfaces | Adriano Wagner Araújo Bezerra |
| 2000 | TUTA - Um Tutor Baseado em Agentes no Contexto do Ensino a Distância | Aleksandra do Socorro da Silva |
| 2000 | Um Modelo de Automação do Planejamento da Qualidade com a Utilização de Sistemas de Help-Desk | Alfram Roberto Rodrigues de Albuquerque |
| 2000 | Uma Abordagem Híbrida de Aquisição de Conhecimento Empregando RBC e Aprendizagem Indutiva. Aplicação ao Domínio de Help Desk | Álvaro Vinícius de Souza Coêlho |
| 2000 | Mecanismos de Interação para um Modelo de Redes de Petri Orientado a Objetos | Ana Karla Alves de Medeiros |
| 2000 | Guardando Históricos de Dimensões em Data Warehouses | André Barbosa Rocha |
| 2000 | Uma Aplicação de Gerência de Redes de Computadores Baseada em WEB | Antonio Augusto Teixeira Ribeiro Coutinho |
| 2000 | BDRV - Um Sistema Integrador de Múltiplos Bancos de Dados Relacionais | Carlos Eduardo Santos Pires |
| 2000 | Testes de Usabilidade para Planejamento de Sistemas Distribuídos de Informações Geográficas na Web | Cecir Barbosa de Almeida Farias |
| 2000 | Um Ambiente Colaborativo de Representação Visual do Conhecimento para Web - VEDA | David Nadler Prata |
| 2000 | Avaliação de Disponibilidade de Redes de Computadores: Um Estudo de Caso para a Arquitetura Cliente/Servidor em N-camadas | Flávia Estélia Silva Coelho |
| 2000 | E-GRUPO - Um Ambiente para Suporte à Aprendizagem Colaborativa Baseada na WEB | Francisco Milton Mendes Neto |
| 2000 | Realizações de Consultas Visuais a Banco de Dados Temporais | Gilene Fernandes Santos |
| 2000 | Um Sistema Tutor Multi-Agentes no Domínio de Redes de Petri | Gustavo Menezes Gois |
| 2000 | Validação do Formalismo TAOS para a Análise da Tarefa no Contexto da Concepção de Interfaces Homem-Computador | Ivette Kafure Muñoz |
| 2000 | Suporte de Ferramenta de Software para o Padrão Pedagógico Aula em Mapa de Conceitos | José Augusto de Oliveira Neto |
| 2000 | Reconhecimento de Caracteres Manuscritos Utilizando Regras de Associação | Juliano Varella de Carvalho |
| 2000 | Serviços de Processamento Tolerantes a Faltas para Sistemas Distribuídos Assíncronos | Lívia Maria Rodrigues Sampaio |
| 2000 | Especificação de Componentes para a Simulação de Redes TCP/IP | Marcus Vinícius da Silva Wagner |
| 2000 | Um Sistema de Controle de Integridade para um Modelo de Dados Aberto | Marinaldo Nunes da Silva |
| 2000 | Especificação de um Framework Baseado em Componentes de Software Reutilizáveis para Aplicações de Gerência de Falhas em Redes de Computadores | Raissa Dantas Freire |
| 2000 | Serviço de Armazenamento Estável com Recuperação para Frente Baseado na Replicação Remota de Buffers | Tatiana Simas Stanchi |
