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

AlunoTítulo da teseOrientadorData da defesa
Leonardo Chaves Dutra da RochaUso de contextos temporais para classificação de documentosWagner Meira Júnior06/02/2009
Adriano Alonso VelosoClassificação Associativa Sob DemandaWagner Meira Júnior09/03/2009
Fabio TireloSemântica Incremental de Linguagens de programaçãoRoberto da Silva Bigonha12/03/2009
Daniel CamaraVerificação formal de protocolos para redes sem fioAntonio Alfredo Ferreira Loureiro22/10/2009
Moisés Gomes de CarvalhoAbordagens evolucionárias para problemas relacionados a integração de dadosAlberto Henrique Frade Laender26/10/2009
Denilson Alves PereiraUma abordagem baseada na Web para resolução de entidades e criação de arquivos de autoridadeBerthier Ribeiro de Araújo Neto04/12/2009
Ruiter Braga CaldasModelagem, verificação formal e codificação de sistemas reativos autônomosSérgio Vale Aguiar Campos17/12/2009
Pedro Mitsuo ShiromaCoMutaR: Uma abordagem para a alocação de tarefas a um grupo de robôs multi-tarefasMario Fernando Montenegro Campos22/12/2009