Teses defendidas – Doutorado em Ciência da Computação – 2005

AlunoTítulo da teseOrientadorData da defesa
Umberto Souza da CostaUm Verificador de Modelos Explícito-SimbólicoSérgio Vale Aguiar Campos18/02/2005
Hervaldo Sampaio CarvalhoFusão de Dados para Rede de Sensores Aplicada à Monitoração Pessoal de SaúdeClaudionor José Nunes Coelho Júnior22/03/2005
Guilherme Bastos AlvarengaUm Algoritmo Híbrido para os Problemas de Roteamento de Veículos Estático e Dinâmico com Janela de TempoGeraldo Robson Mateus02/05/2005
Flávio Luis Cardeal PáduaAlinhamento Espaço-Temporal de Sequências de Vídeo Capturadas a Partir de Múltiplos Pontos de VistaRodrigo Lima Carceroni20/05/2005
José Pinheiro de Queiroz NetoModelagem Automática de Cenas com Iluminação não Local a Partir de ImagensRodrigo Lima Carceroni03/06/2005
Bruno Augusto Vivas e PôssasUm Novo Modelo de Ordenação de Documentos Baseados em Correlação Entre TermosNivio Ziviani22/08/2005
Adriana de Andrade OliveiraUm Arcabouço Para Roteamento em Redes MPLSGeraldo Robson Mateus03/10/2005
Silvana BocanegraAlgoritmos de Newton-Krylov Precondicionados para Métodos de Pontos InterioresFrederico Ferreira Campos, filho15/12/2005
Zenilton Kleber Gonçalves do Patrocínio JúniorPlanejamento de Topologia Virtual com Combinação de Tráfegos em Redes Óticas Multiplexadas por Divisão de Comprimento de OndaGeraldo Robson Mateus19/12/2005