Teses defendidas – Doutorado em Ciência da Computação – entre 1995 e 2000

AlunoTítulo da teseOrientadorData da defesa
Eduardo Fernandes BarbosaMétodos Eficientes de Busca em Texto Armazenado em Memória SecundáriaNivio Ziviani07/08/1995
Frederico Rodrigues Borges da CruzAlgoritmos para Problemas de Planejamento de RedesGeraldo Robson Mateus04/02/1997
Lucília Camarão de FigueiredoCalculus: Um Modelo para Não-Determinismo em Linguagens ReflexíveisEdward Hermann Haeusler23/06/1997
Dilmar Malheiros MeiraUm Modelo para Correlação de Alarmes em Redes de TelecomunicaçõesJosé Marcos Silva Nogueira13/11/1997
Carlos de Castro GoulartUm Esquema de Alocação Dinâmica de Recursos para Garantir QoS para Aplicações Multimídia em RedesJosé Marcos Silva Nogueira16/04/1998
Marcos Carneiro de AndradeUm Método Topológico de Segmentação de Imagens por AtributosArnaldo de Albuquerque Araújo29/05/1998
Cedric Luiz de CarvalhoInferência de Tipos e de Fluxos de Dados para Sistemas de Programação em LógicaAntônio Eduardo Costa Pereira24/05/1999
Cristina Duarte MurtaModelo de Particionamento de Espaço para Caches da World Wide WebVirgílio Augusto Fernandes Almeida23/08/1999
Marcelo de Almeida MaiaEspecificação Formal da Interação de Componentes de Sistemas ComputacionaisRoberto da Silva Bigonha27/08/1999
Alexei Manso Corrêa MachadoModelos Probabilísticos para Registro de ImagensMario Fernando Montenegro Campos13/09/1999
Edleno Silva de MouraAplicações de Compressão de Dados a Sistemas de Recuperação de InformaçãoNivio Ziviani04/10/1999
Ilmério Reis da SilvaRedes Bayesianas para Sistemas de Recuperação de InformaçãoBerthier Ribeiro de Araújo Neto03/07/2000
Luciano Romero Soares de LimaCategorização Automática de Documentos MédicosAlberto Henrique Frade Laender18/07/2000
Renato Moreira HadadIdentificação de Padrões em Imagens de Satélite – Formas CircularesArnaldo de Albuquerque Araújo20/09/2000
Clodoveu Augusto Davis JúniorMúltiplas Representações em Sistemas de Informação GeográficosAlberto Henrique Frade Laender22/09/2000