Teses defendidas - Doutorado em Ciência da Computação - 2009

Undefined
Aluno Título da tese Orientador Data da defesa
Leonardo Chaves Dutra da Rocha Uso de contextos temporais para classificação de documentos Wagner Meira Júnior 06/02/2009
Adriano Alonso Veloso Classificação Associativa Sob Demanda Wagner Meira Júnior 09/03/2009
Fabio Tirelo Semântica Incremental de Linguagens de programação Roberto da Silva Bigonha 12/03/2009
Daniel Camara Verificação formal de protocolos para redes sem fio Antonio Alfredo Ferreira Loureiro 22/10/2009
Moisés Gomes de Carvalho Abordagens evolucionárias para problemas relacionados a integração de dados Alberto Henrique Frade Laender 26/10/2009
Denilson Alves Pereira Uma abordagem baseada na Web para resolução de entidades e criação de arquivos de autoridade Berthier Ribeiro de Araújo Neto 04/12/2009
Ruiter Braga Caldas Modelagem, verificação formal e codificação de sistemas reativos autônomos Sérgio Vale Aguiar Campos 17/12/2009
Pedro Mitsuo Shiroma CoMutaR: Uma abordagem para a alocação de tarefas a um grupo de robôs multi-tarefas Mario Fernando Montenegro Campos 22/12/2009