Departamento de Ciência da Computação / UFMG

Tese de doutorado



Número total de itens: 185

2015

1.   Daniel Hasan Dalip. A Multi-View Approach for Estimating the Quality of Collaborative Content on the Web 2.0. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2015.
Orientador: Marcos André Gonçalves.
2.   Flavio Vinicius Diniz de Figueiredo. UNDERSTANDING, MODELING AND PREDICTING THE POPULARITY OF ONLINE CONTENT ON SOCIAL MEDIA APPLICATIONS. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, REUNI. 2015.
Orientador: Jussara Marques de Almeida.
3.   Marisa Vasconcelos. User generated micro-reviews: characterization and popularity prediction. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Jussara Marques de Almeida.
4.   Renê Rodriguês Veloso. Feline: um Método de Indexação para Consultas de Alcançabilidade em Grandes Grafos Estáticos e Dinâmicos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2015.
Supervisor: Loïc Pascal Gilles Cerf.
5.   Sandro Carvalho Izidoro. Algoritmos genéticos para identificação de sítios ativos em enzimas. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, . 2015.
Supervisor: Raquel Cardoso de Melo Minardi.

2014

1.   Carlos Alberto Fraga Pimentel Filho. Sketch-Finder: Efficient and Effective Sketch-based Retrieval for Large Image Collections. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Arnaldo de Albuquerque Araújo.
2.   Cristiano Amaral Maffort. Mining Architectural Violations from Version History. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientadores: Mariza Andrade da Silva Bigonha, Marco Tulio de Oliveira Valente.
3.   Cristiano Maciel da Silva. Deployment of Roadside Units Based on Partial Mobility Information. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2014.
Orientador: Wagner Meira Junior.
4.   Dilson Lucas Pereira. Formulações e Algoritmos baseados em Programação Linear Inteira para o Problema da Árvore Quadrático da Árvore Geradora Mínima. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Alexandre Salles da Cunha.
5.   Fernando Henrique Jesus Mourão. A hybrid recommendation method that combines forgotten items and non-content attributes. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Wagner Meira Junior.
6.   Leonardo Vieira dos Santos Reis. Adaptable Parsing Expression Grammar. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2014.
Orientador: Roberto da Silva Bigonha.
7.   Marcelo Gabriel Almiron. Modelagem e Anáse de Conectividade em Redes Sem Fio Obstruídas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Olga Nikolaevna Goussevskaia.
8.   Silvia Mapa. Algoritmos para o problema do subgrafo acíclico máximo sob restrições disjuntivas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Sebastián Alberto Urrutia.
9.   Teste Marcelo Gabriel Almiron. Modeling and Connectivity Analysis in Obstructed Wireless Networks. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientadores: Antonio Alfredo Ferreira Loureiro, Olga Nikolaevna Goussevskaia.
10.   Thiago Henrique Silva. Large scale study of city dynamics and urban social behavior using participatory sensor networks. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientadores: Pedro Olmo Stancioli Vaz De Melo, Antonio Alfredo Ferreira Loureiro, Jussara Marques de Almeida.

2013

1.   Anisio Mendes Lacerda. Revenue Optimization and Customer Targeting in Daily-Deals Sites. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2013.
Orientador: Nivio Ziviani.
2.   Anísio Lacerda. Revenue Optimization and Customer Targeting in Daily-Deals Sites. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2013.
Supervisor: Adriano Alonso Veloso.
3.   César Francisco de Moura Couto. Predizendo Defeitos de Software com Testes de Causalidade. Tese (Doutorado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientadores: Marco Tulio de Oliveira Valente, Roberto da Silva Bigonha.
4.   Denise Demirel. Universally Verifiable Poll-Site Voting Schemes Providing Everlasting Privacy. Tese (Doutorado em Informatik) - Technische Universität Darmstadt, . 2013.
Supervisor: Jeroen Antonius Maria van de Graaf.
5.   Douglas Guimarães Macharet. Roteamento dinâmico de veículos não-holonômicos para visita a regiões. Tese (Doutorado em CIENCIA DA COMPUTACAO/D) - Universidade Federal de Minas Gerais, . 2013.
Orientador: Mário Fernando Montenegro Campos.
6.   Felipe Ferré. Modelo de mineração de dados para detecção e previsão de interações medicamentosas potenciais. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Wagner Meira Junior.
7.   João Guilherme Maia de Menezes. Disseminação de Dados para Redes Ad hoc Sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Antonio Alfredo Ferreira Loureiro.
8.   Marcelo de Miranda Coelho. Recuperação de Informação Visual em Bases de Imagens de Cidades Históricas: Contribuições para o Reconhecimento e Classificação de Imagens. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Arnaldo de Albuquerque Araújo.
9.   Max do Val Machado. Comunicação de Dados baseada no Escalonamento de Trabalho de Nós Vizinhos em Redes de Sensores Sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2013.
Orientador: Antonio Alfredo Ferreira Loureiro.
10.   Rafael Sachetto Oliveira. Algoritmos paralelos e adaptativos no tempo e no espaço para simulação numérica da eletrofisiologia do coração. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Wagner Meira Junior.
11.   Ricardo Terra Nunes Bueno Villela. Um Sistema de Recomendação para Reparação de Erosão Arquitetural de Software. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientadores: Marco Tulio de Oliveira Valente, Roberto da Silva Bigonha.
12.   Rodrigo Geraldo Ribeiro. Classes de tipo opcionais e com múltiplos parâmertros em Haskell. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Carlos Camarão de Figueiredo.
13.   Sabrina de Azevedo Silveira. ENZYMAP: Explorando metadados protéicos para modelagem e previsão de mudanças de anotação no Uniprot/Swiss-Prot. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Wagner Meira Junior.
14.   Sandra Eliza Fontes de Avila. Extended Bag-of-Words Formalism for Image Classification (Formalismos Estendidos para Modelos Bag-of-Words em Classificação de Imagens). Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Arnaldo de Albuquerque Araújo.
15.   Sandra Eliza Fontes de Avila. Extended Bag-of-Words Formalism for Image Classification (Extension du Modèle par Sac de Mots Visuels pour la Classification d´Images). Tese (Doutorado em Informatique) - Université Pierre et Marie Curie, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Supervisor: Arnaldo de Albuquerque Araújo.
16.   Victor Maia Senna Delgado. Alocação dos alunos nas escolas: uma abordagem de algoritmos de pareamento para análise do efeito do cadastro escolar de Belo Horizonte na proficiência dos estudantes. Tese (Doutorado em Demografia) - Universidade Federal de Minas Gerais, . 2013.
Supervisor: Clodoveu Augusto Davis Junior.
17.   Wladmir Cardoso Brandão. Exploiting Entities for Query Expansion. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, CNPq. 2013.
Orientador: Nivio Ziviani.

2012

1.   Anderson de Almeida Ferreira. Contributions for Solving the Author Name Ambiguity Problem in Bibliographic Citations. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: Alberto Henrique Frade Laender.
2.   Anderson Ferreira. Contributions for Solving the Author Name Ambiguity Problem in Bibliographic Citations. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2012.
Orientador: Marcos André Gonçalves.
3.   Antonio da Luz Junior. Detecção de Vídeos Não-colaborativos com Base no Conteúdo Visual em Redes Sociais para Compartilhamento de Vídeo. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Arnaldo de Albuquerque Araújo.
4.   Antonio Wilson Vieira. . Densidade de ocupação espacial como representação para comparação de nuvens de pontos e aplicações. Tese (Doutorado em CIENCIA DA COMPUTACAO/D) - Universidade Federal de Minas Gerais, . 2012.
Orientador: Mário Fernando Montenegro Campos.
5.   Armando Alves Neto. Um arcabouço para planejamento e controle descentralizado de robôs heterogêneos. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Mário Fernando Montenegro Campos.
6.   Daniela Cristina Cascini Kupsch. SPIAL: Uma ferramenta de apoio ao aprendizado de Melhoria de Processos de Software. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2012.
Orientador: Rodolfo Sergio Ferreira de Resende.
7.   Douglas Eduardo Valente Pires. CSM: Uma Assinatura para Grafos Biológicos Baseada em Padrões de Distâncias. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientadores: Raquel Cardoso de Melo Minardi, Wagner Meira Junior.
8.   Eduardo de Mattos Pinto Coelho. Ontologias difusas no suporte à mineração de dados: aplicações na Secretaria de Finanças da Prefeitura Municipal de Belo Horizonte. Tese (Doutorado em Ciências da Informação) - Universidade Federal de Minas Gerais, . 2012.
Supervisor: Wagner Meira Junior.
9.   Erickson Rangel do Nascimento. . Um descritor robusto e eficiente de pontos de interesse: desenvolvimento e aplicações. Tese (Doutorado em CIENCIA DA COMPUTACAO/D) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Mário Fernando Montenegro Campos.
10.   Evandrino Gomes Barros. Keyword-based Query Processing over XML Streams . Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2012.
Orientadores: Alberto Henrique Frade Laender, Mirella Moura Moro.
11.   Fernanda Sumika Hojo de Souza. Formulations and Algorithms to Design Communication Networks. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Geraldo Robson Mateus.
12.   Fernando Afonso Santos. Models and algorithms for the integrated routing and distribution problems. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Geraldo Robson Mateus.
13.   Flávio Vinícius Cruzeiro Martins. Operadores geométricos para otimização dinâmica com aplicação ao problema de cobertura e conectividade em redes de sensores sem fio não-hierárquicas. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Minas Gerais, . 2012.
Supervisor: Geraldo Robson Mateus.
14.   Gabriel Costa Osanan. Proposta de informatização do partograma: análise dos processos assistenciais relativos ao seu uso e definição dos pré-requisitos do sistema. Tese (Doutorado em Medicina (Obstetrícia e Ginecologia)) - Universidade Federal de Minas Gerais, . 2012.
Supervisor: Renato Antonio Celso Ferreira.
15.   Giseli Rabello Lopes. Avaliação e Recomendação de Colaborações em Redes Sociais Acadêmicas. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: Mirella Moura Moro.
16.   Glauco de Matos Umbelino. Simulações de distribuição espacial domiciliar e projeções demográficas intraurbanas com apoio de geotecnologias. Tese (Doutorado em Demografia) - Universidade Federal de Minas Gerais, . 2012.
Supervisor: Clodoveu Augusto Davis Junior.
17.   Heitor Soares Ramos Filho. Projeto de Redes Ad hoc sem fio Ciente de Topologia. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Antonio Alfredo Ferreira Loureiro.
18.   Hélio Marcos Paz de Almeida. Avaliação da qualidade de agrupamentos em grafos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Dorgival Olavo Guedes Neto.
19.   Jesús Salvador Cepeda Barrera. Coordination of Multiple Robotic Agents for Disaster Emergency Response. Tese (Doutorado em Doctoral Program in Information Technology Comm.) - Instituto Tecnologico Y de Estudios Superiores de Monterrey, Consejo Nacional de Ciencia y Tecnologia. 2012.
Supervisor: Luiz Chaimowicz.
20.   Leandro Aparecido Villas. Soluções Cientes de Agregação de Dados, da Correlação Espaço-temporal e Consumo de Energia para Realizar Coleta de Dados em Redes de Sensores sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Antonio Alfredo Ferreira Loureiro.
21.   Marconi de Arruda Pereira. Classificação de Dados Híbridos Através de Algoritmos Evolucionários. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Minas Gerais, . 2012.
Supervisor: Clodoveu Augusto Davis Junior.
22.   Rone Ilidio da Silva. Processamento de requisições espaciais em redes de sensores sem fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2012.
Orientadores: Jose Marcos Silva Nogueira, Daniel Fernandes Macedo.
23.   Vilar Fiúza Câmara Neto. Reconstrução geométrica de cenas não estruturadas: Uma abordagem monocular com planejamento estocástico. Tese (Doutorado em CIENCIA DA COMPUTACAO/D) - Universidade Federal de Minas Gerais, . 2012.
Orientador: Mário Fernando Montenegro Campos.

2011

1.   Alexandre Cruz Leão. Restauração Cromática Digital de Fotografias em Filme a partir da cartela Kodak Q-13: estudo de caso do acervo do Projeto Portinari. Tese (Doutorado em Artes) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2011.
Orientador: Arnaldo de Albuquerque Araújo.
2.   Ana Paula Brandão Lopes. Reconhecimento de Acoes com Histogramas de Caracteristicas Visuais e Contexto Adicionado por Transferência de Aprendizagem. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2011.
Orientadores: Arnaldo de Albuquerque Araújo, Jussara Marques de Almeida.
3.   Bruno Rocha Coutinho. Utilização de técnicas de análise estática e dinâmica para otimização de aplicações de propósito geral em GPUs. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientadores: Fernando Magno Quintão Pereira, Wagner Meira Junior.
4.   Bruno Santos Pimentel. Modelos e Algoritmos para o Planejamento Integrado na Indústria da Mineração. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2011.
Orientador: Geraldo Robson Mateus.
5.   Daniel Ludovico Guidoni. Projeto de Redes de Sensores sem Fio Heterogêneas Utilizando os Conceitos de Redes Small Word. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Antonio Alfredo Ferreira Loureiro.
6.   Deive Ciro de Oliveira. Escore de Incerteza em Bancos de Dados Categóricos. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, . 2011.
Orientador: Wagner Meira Junior.
7.   Humberto Cesár Brandão de Oliveira. Algoritmo Online para o Problema Dinâmico de Roteamento de Veículos. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2011.
Orientador: Geraldo Robson Mateus.
8.   José Augusto Miranda Nacif. Uma metodologia para identificação de módulos de circuitos integrados propensos a erros. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2011.
Orientador: Antonio Otavio Fernandes.
9.   João Victor Boechat Gomide. Efeitos Visuais: da Trucagem Óptica à Captura Digital de Movimento. Tese (Doutorado em Artes) - Universidade Federal de Minas Gerais, . 2011.
Orientador: Arnaldo de Albuquerque Araújo.
10.   Kécia Aline Marques Ferreira. Um Modelo de Predição de Amplitude da Propagação de Modificações Contratuais em Software Orientado por Objetos. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2011.
Orientadores: Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha.
11.   Marcelo Borghetti Soares. Um Arcabouço Estocástico para Coleta de Dados em RSSF Utilizando um Grupo de Robôs Móveis Cooperativos. Tese (Doutorado em CIENCIA DA COMPUTACAO/D) - Universidade Federal de Minas Gerais, . 2011.
Orientador: Mário Fernando Montenegro Campos.
12.   Pedro Olmo Stancioli Vaz de Melo. Sobre o Comportamento de Agentes Racionais em Redes Complexas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Antonio Alfredo Ferreira Loureiro.
13.   Valdete Maria Gonçalves de Almeida. HydroPaCe: uma metodologia para análise de inibição cruzada em serino proteases através de centróides de regiões hidrofóbicas. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Supervisor: Raquel Cardoso de Melo Minardi.

2010

1.   Alex Borges Vieira. Transmissão de Mídia Contínua ao Vivo em P2P: Modelagem, Caracterização e Implementação de Mecanismos de Resiliência a Ataques. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2010.
Orientador: Sergio Vale Aguiar Campos.
2.   David Braga Fernandes de Oliveira. Uso de informação estrutural para melhorar qualidade de busca em coleções web. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Berthier Ribeiro de Araujo Neto.
3.   Eliseu César Miguel. Combinando Avaliação Parcial de Prog. com Compilação Dinâmica. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Mariza Andrade da Silva Bigonha.
4.   Fabricio Benevenuto de Souza. Uma análise empírica sobre interações em redes sociais. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Virgilio Augusto Fernandes Almeida.
5.   Fabíola Guerra Nakamura. Algoritmos para controle de densidade em redes de sensores sem fio. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Geraldo Robson Mateus.
6.   Fernando Afonso Santos. Modelos e algoritmos para Problemas Integrados de Distribuição e Roteamento. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2010.
Supervisor: Alexandre Salles da Cunha.
7.   George Luiz Medeiros Teodoro. Computação em Fluxo de Dados para Ambiêntes Paralelos Heterogêneos. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Renato Antonio Celso Ferreira.
8.   Raquel Fabretti. LOcalização de Epitopos em proteínas HLA. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, . 2010.
Orientador: Marcos Augusto dos Santos.
9.   Rodrigo Kato. ALGORITMOS GENÉTICOS ACOPLADOS A CÁLCULOS QUÂNTICOS PARA REFINAMENTO DE CAMPO DE FORÇA. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Supervisor: Gisele Lobo Pappa.
10.   Thais Regina de Moura Braga. Tratamento de Conflitos Coletivos em Sistemas Ubíquos Cientes de Contexto. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2010.
Supervisor: Antonio Alfredo Ferreira Loureiro.
11.   Wagner Ferreira de Barros. Um Abordagem Automática para Restauração de Imagens de Cenas Subaquáticas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Mário Fernando Montenegro Campos.

2009

1.   Adriano Alonso Veloso. Classificação associativa sob demanda. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2009.
Orientador: Wagner Meira Junior.
2.   Alvaro Rodrigues Pereira Junior. A Model for Fast Prototyping of Web Mining Applications. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Supervisor: Nivio Ziviani.
3.   Daniel Câmara. Verificação Formal de Protocolos para Redes sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2009.
Orientador: Antonio Alfredo Ferreira Loureiro.
4.   Daniel Fernandes Macedo. Self-configuration of multi-hop wireless networks. Tese (Doutorado em Informatique) - Université Pierre et Marie Curie, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Supervisor: Jose Marcos Silva Nogueira.
5.   Denilson Alves Pereira. Uma abordagem baseada na web para resolução de entidades e criação de arquivos de autoridade. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2009.
Orientadores: Berthier Ribeiro de Araujo Neto, Nivio Ziviani.
6.   Fabio Tirelo. Semântica Incremental de Linguagens de Programação. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2009.
Orientador: Roberto da Silva Bigonha.
7.   Júlia Epischina Engrácia de Oliveira. Recuperação de Imagens Mamográficas com Base no Conteúdo Visual utilizando uma Base de Dados de Referência. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Arnaldo de Albuquerque Araújo.
8.   Leonardo Chaves Dutra da Rocha. Uso de contextos temporais para classificação de documentos. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Wagner Meira Junior.
9.   Leonardo Rocha. Uso de Contextos Temporais para Classificação Automática de Documentos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2009.
Supervisor: Marcos André Gonçalves.
10.   Moises Gomes de Carvalho. Abordagens evolucionárias para problemas relacionados a integração de dados. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientadores: Alberto Henrique Frade Laender, Marcos André Gonçalves.
11.   Pedro Mitsuo Shiroma. CoMutaR: Uma abordagem para a alocação de tarefas a um grupo de robôs multi-tarefas. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2009.
Orientador: Mário Fernando Montenegro Campos.
12.   Ruiter Braga Caldas. Modelagem, Verificação Formal e Codificação de Sistemas Reativos Autônomos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2009.
Orientador: Sergio Vale Aguiar Campos.
13.   Wesley Dias Maciel. Um Modelo para Descobertas Baseadas em Literatura Biológica - Uma Avaliação usando Patentes como Literatura de Referência. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Sergio Vale Aguiar Campos.

2008

1.   André Gustavo Santos. Método de Geração de Colunas e Meta-Heurísticas para Alocação de Tripulação. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2008.
Orientador: Geraldo Robson Mateus.
2.   André Luiz Lins Aquino. Redução de dados em redes de sensores sem fio baseada em stream de dados. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Antonio Otavio Fernandes.
3.   Arie Middelkoop. Type Inference for higher rank types. Tese (Doutorado em Computer Science) - Utrecht University, ALFA LerNET. 2008.
Supervisor: Carlos Camarão de Figueiredo.
4.   Carlos Henrique da Silveira. Protein Cutoff Scanning: Aplicação da Varredura Exaustiva de Distâncias Inter-resíduos na Análise de Contatos Intracadeia em Proteínas Globulares. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, . 2008.
Supervisor: Wagner Meira Junior.
5.   David Menotti Gomes. Correção de Contraste em Imagens Digitais usando Equalização de Histograma. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Arnaldo de Albuquerque Araújo.
6.   David Menotti Gomes. Amelioration du Contrast des Images Numeriques par Egalisation d'Histogrammes. Tese (Doutorado em Informática) - Université Paris-Est, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Supervisor: Arnaldo de Albuquerque Araújo.
7.   Fabiano Cupertino Botelho. Near Space-Optimal Perfect Hashing Algorithms. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Nivio Ziviani.
8.   Fabricio Vivas Andrade. Contribuições para o problema de verificação de equivalência combinacional. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2008.
Orientador: Antonio Otavio Fernandes.
9.   Guilherme Tavares de Assis. A Genre-Aware Approach to Focused Crawling of Web Pages. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientadores: Alberto Henrique Frade Laender, Marcos André Gonçalves.
10.   Horácio Antônio Braga Fernandes de Oliveira. Localização no Tempo e Espaço em Redes de Sensores Sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Antonio Alfredo Ferreira Loureiro.
11.   Humberto Torres Marques Neto. Caracterização do Comportamento de Usuários e Precificação de Tráfego de Internet de Banda Larga. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2008.
Orientadores: Virgilio Augusto Fernandes Almeida, Jussara Marques de Almeida.
12.   Mateus Conrad Barcellos da Costa. BASS: Um Arcabouço de SOftware para Integração de Sistemas de Informação. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2008.
Orientador: Rodolfo Sergio Ferreira de Resende.
13.   Raquel Cardoso de Melo. Classificação Estrutural de Famílias de Proteínas com Base em Mapas de Contato. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Supervisor: Wagner Meira Junior.
14.   Ricardo Augusto Rabelo Oliveira. Identificação de Eventos no Canal de Comunicação em Redes IEEE 802.11 Wsando Wavelets e Controle Estatístico de Processos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Antonio Alfredo Ferreira Loureiro.
15.   Sergio de Oliveira. Estudo de Mecanismos de Segurança para Proteção do Roteamento em Redes de Sensores sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2008.
Orientador: Jose Marcos Silva Nogueira.

2007

1.   Adriano César Machado Pereira. Caracterização da Reatividade em Sistemas Distribuídos. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2007.
Orientador: Wagner Meira Junior.
2.   Caio Julio Martins Veloso. Desvelando o Sistema de Redes das Estruturas Proteicas - Uma Contribuição para um Modelo Formal de Proteinas. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, . 2007.
Orientador: Wagner Meira Junior.
3.   Carlos Maurício Seródio Figueiredo. Auto-Organização em Redes de Sensores sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2007.
Orientador: Antonio Alfredo Ferreira Loureiro.
4.   Claudine Santos Badue. Projeto e Análise de Sistemas de Busca na Web. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Nivio Ziviani.
5.   Eduardo Freire Nakamura. Fusão de Dados em Redes de Sensores sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2007.
Orientador: Antonio Alfredo Ferreira Loureiro.
6.   Guillermo Cámara Chávez. Análise de Conteúdo de Vídeo por Meio do Aprendizado Ativo. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Arnaldo de Albuquerque Araújo.
7.   Guillermo Cámara Chávez. Video Content Analysis by Active Learning. Tese (Doutorado em Ciência da Computação) - Université de Cergy Pontoise, . 2007.
Supervisor: Arnaldo de Albuquerque Araújo.
8.   Marcus Vinícius de Melo Rocha. Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, . 2007.
Orientadores: Sergio Vale Aguiar Campos, Jussara Marques de Almeida.
9.   Martin Gomez Ravetti. Algoritmos para o Problema de Sequenciamento com Máquinas Paralelas e Tempos de Preparação Dependentes da Sequência. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Geraldo Robson Mateus.
10.   Maurício de Alvarenga Mudado. Uso da Base de Dados Secundária KOG como Ferramenta para Caracterização de Expressão Gênica e Mineração de Dados em Projetos Transcriptoma. Tese (Doutorado em Bioinformática) - Doutorado em Bioinformática - ICB - UFMG, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Supervisor: Sergio Vale Aguiar Campos.
11.   Thierson Couto Rosa. Uso de Apontadores na Classificação de Documentos em Coleções. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2007.
Orientador: Nivio Ziviani.

2006

1.   Bráulio Roberto Gonçalves Marinho Couto. Utilização da Decomposição por valores singulares em filogenia. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, . 2006.
Orientador: Marcos Augusto dos Santos.
2.   Clarissa Maria de Almeida Barbosa. Manas - Uma ferramenta epistêmica de apoio ao projeto de sistemas multiusuário . Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Supervisor: Raquel Oliveira Prates.
3.   Gurvan Huiban. O Problema de Reconfiguração nas Redes WDM Multifibras. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Geraldo Robson Mateus.
4.   Jose Luiz de Souza Pio. Observação Dinâmica Cooperativa. Tese (Doutorado em CIENCIA DA COMPUTACAO/D) - Universidade Federal de Minas Gerais, . 2006.
Orientador: Mário Fernando Montenegro Campos.
5.   Karla Albuquerque Vasconcelos Borges. Uso de uma Ontologia de Lugar Urbano para Reconhecimento e Extração de Evidências Geoespaciais na Web. Tese (Doutorado em Curso de Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2006.
Orientador: Alberto Henrique Frade Laender.
6.   Lilian Noronha Nassif. Seleção distribuída de recursos em grades computacionais usando raciocínio baseado em casos e política de granularidade fina. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2006.
Orientador: Jose Marcos Silva Nogueira.
7.   Luiz Henrique Andrade Correia. Técnicas de controle de potência para protocolos MAC em redes de sensores sem fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Jose Marcos Silva Nogueira.
8.   Luiz Henrique Gomes. Análise e modelagem do comportamento dos spammers e dos usuários legítimos em redes de email. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Banco Central. 2006.
Orientadores: Virgilio Augusto Fernandes Almeida, Jussara Marques de Almeida.
9.   Marco Antônio Pinheiro de Cristo. Sobre Publicidade Direcionada Baseada em Conteúdo. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2006.
Orientador: Berthier Ribeiro de Araujo Neto.
10.   Pedro de Alcântara dos Santos Neto. Modest: Um método de Teste Baseado em Modelos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Rodolfo Sergio Ferreira de Resende.

2005

1.   Adriana de Andrade Oliveira. Um Arcabouço para Roteamento em Redes MPLS. Tese (Doutorado em CIENCIA DA COMPUTACAO/MESTRADO) - Universidade Federal de Minas Gerais, . 2005.
Orientador: Geraldo Robson Mateus.
2.   Bruno Augusto Vivas e Pôssas. Um Novo Modelo de Ordenação de Documentos Baseados em Correlação entre Termos. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientadores: Wagner Meira Junior, Nivio Ziviani.
3.   Guilherme Bastos Alvarenga. Um Algoritmo Híbrido para os Problemas de Roteamento de Veículos Estático e Dinâmico com Janela de Tempo. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2005.
Orientador: Geraldo Robson Mateus.
4.   Hervaldo Sampaio Carvalho. Fusão de Dados para Rede de Sensores Aplicada à Monitoração Pessoal de Saúde. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2005.
Orientador: Claudionor Jose Nunes Coelho Junior.
5.   Jose Pinheiro de Queiroz Neto. Modelagem Automática de Cenas com Iluminação Local a Partir de Imagens. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2005.
Supervisor: Mário Fernando Montenegro Campos.
6.   Silvana Bocanegra. Algoritmos de Newton-Krylov precondicionados para métodos de pontos interiores. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Frederico Ferreira Campos filho.
7.   Umberto da Souza Costa. Um Verificador de Modelos Explícito-Simbólico. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Sergio Vale Aguiar Campos.
8.   Zenilton Kleber Goncalves do Patrocinio Junior. Planejamento de Topologia Virtual com Combinação de Tráfegos em Redes Óticas Multiplexadas por Divisão de Comprimento de Onda. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2005.
Orientador: Geraldo Robson Mateus.

2004

1.   Aldri Luiz dos Santos. Gerência de Falhas Distribuída e Confiável Baseada em Clusters de Agentes. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2004.
Supervisor: Jose Marcos Silva Nogueira.
2.   Andrea Iabrudi Tavares. Tomada de Decisão Descentralizada em Processos Estocásticos Cooperativos com Observação Parcial e Comunicação Imperfeita. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2004.
Orientador: Mário Fernando Montenegro Campos.
3.   Cristiano Damiani Vasconcellos. Inferência de tipos com suporte para sobrecarga baseada no sistema CT. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2004.
Orientador: Carlos Camarão de Figueiredo.
4.   Fátima de Lima Procópio Duarte Figueiredo. DiffMobil: Uma Arquitetura de Qualidade de Serviço Fim-A-Fim em Redes GPRS. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Orientador: Antonio Alfredo Ferreira Loureiro.
5.   Marcos P Oliveira. Tolerância a Falhas através de Escalonamento em um Sistema Multiprocessado. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2004.
Supervisor: Sergio Vale Aguiar Campos.
6.   Marcos Pego de Oliveira. Tolerância a Falhas Através de Escalonamento em um Sistema Multiprocessado. Tese - Universidade Federal de Minas Gerais, . 2004.
Orientador: Antonio Otavio Fernandes.
7.   Mark Alan Song. UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2004.
Orientador: Sergio Vale Aguiar Campos.
8.   Pável Calado. Using Link Structure for Information Retrieval in the World Wide Web. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Berthier Ribeiro de Araujo Neto.
9.   Raquel Aparecida de Freitas Mini. Mapa de Energia Baseado em Predição para Redes de Sensores Sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2004.
Orientador: Antonio Alfredo Ferreira Loureiro.
10.   Wilton Speziali Caldas. Tolerância a Falhas Adaptativa para Robôs Móveis com Arquitetura Híbrida. DA COMPUTACAO/DOUTORADO) - Universidade Federal de Minas Gerais, . 2004.
Orientadores: Mário Fernando Montenegro Campos, Antonio Otavio Fernandes.

2003

1.   Guilherme Augusto Silva Pereira. Navegação e Controle de Robôs Móveis Cooperativos: Uma Abordagem baseada em Conectividade de Grafos. Tese (Doutorado em Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2003.
Orientador: Mário Fernando Montenegro Campos.
2.   Linnyer Beatriz Ruiz. MANNA: A Management Architecture for Wireless Sensor Networks. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Jose Marcos Silva Nogueira.
3.   Lucila Ishitani. Uma Arquitetura para Controle de Privacidade na Wb. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2003.
Orientador: Virgilio Augusto Fernandes Almeida.
4.   Maria de Lourdes da Silveira. Recuperação Vertical de Informação: Um Estudo de Caso na Área Jurídica. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Berthier Ribeiro de Araujo Neto.
5.   Paulo Sérgio Silva Rodrigues. Um modelo Bayesiano combinando Análise Semântica Latente, Agrupamento de Imagens e Atributos Espaciais Globais para Recuperação de Informação Visual. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Arnaldo de Albuquerque Araújo.
6.   Pedro MItsuo Shiroma. CoMutaR: Uma abordagem para a alocação de tarefas a um grupo de robôs multi-tarefas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Mário Fernando Montenegro Campos.
7.   Silvio Jamil Ferzoli Guimarães. Identificação de Transições em Vídeo Baseada na Análise de Imagens 2D. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Arnaldo de Albuquerque Araújo.
8.   Silvio Jamil Ferzoli Guimarães. Video Transition Detection Based on 2D Image Analysis. Tese (Doutorado em Ciência da Computação) - Université de Marne La Vallée, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Supervisor: Arnaldo de Albuquerque Araújo.

2002

1.   Altigran Soares da Silva. Estratégias Baseadas em Exemplos para Extração de Dados Semi-Estruturados da Web. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Orientadores: Berthier Ribeiro de Araujo Neto, Alberto Henrique Frade Laender.
2.   Autran Macêdo. Solução Exata de Problemas de Escalonamento Determinísticos por meio de Verificação Simbólica de Modelos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2002.
Orientador: Sergio Vale Aguiar Campos.
3.   Carlos Frederico Marcelo da Cunha Cavalcanti. Alocação de recursos em redes IP com qualidade de serviço. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Orientadores: Jose Marcos Silva Nogueira, Antonio Otavio Fernandes.
4.   Denilson Laudares Rodrigues. Projeto, implementação e avaliação de interface háptica. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2002.
Orientador: Mário Fernando Montenegro Campos.
5.   Fabíola Fonseca de Oliveira. Otimização de Código em Ambiente de Semântica Formal Executável Baseadas em ASM. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2002.
Orientador: Mariza Andrade da Silva Bigonha.
6.   Luis Humberto R Barbosa. Uma Análise de Tráfego para a Camada de Acesso ao Meio em Sistemas de Comunicação Celular de Terceira Geração. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2002.
Orientador: Geraldo Robson Mateus.
7.   Luiz Chaimowicz. Coordenação Dinâmica de Robôs Cooperativos: Uma Abordagem Utilizando Sistemas Híbridos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Mário Fernando Montenegro Campos.
8.   Luiz Chaimowicz. Coordenação Dinâmica de Robôs Cooperativos: Uma Abordagem Utilizando sistemas Híbridos. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 2002.
Orientador: Mário Fernando Montenegro Campos.
9.   Marcelo Bernardes Vieira. Inferência de Orientação de Dados Esparsos para Reconstrução de Superfícies. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Orientador: Arnaldo de Albuquerque Araújo.
10.   Marcelo Bernardes Vieira. Reconstruction de Surfaces à Partir de Données Tridimensionnelles Éparses. Tese (Doutorado em Ciência da Computação) - Université de Cergy Pontoise, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Supervisor: Arnaldo de Albuquerque Araújo.
11.   Marco Túlio de Oliveira Valente. Mobilidade e Coordenação de Aplicações em Redes sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2002.
Orientador: Roberto da Silva Bigonha.

2001

1.   Elaine Gouvêa Pimentel. Logica Linear para Especificação de Sistemas Computacionais. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2001.
Orientador: Carlos Camarão de Figueiredo.
2.   Jones Albuquerque. Projeto de Sistemas a Nivel Conceitual. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2001.
Orientador: Claudionor Jose Nunes Coelho Junior.
3.   Juliana Pereira Salles. O Modelo Factal de Comunicação: Criando um Espaço de análise para Inspecção de Processo de Design de Software. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Roberto da Silva Bigonha.
4.   Marcos Gonçalves Rios. Documentação de Programas por Contrato. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2001.
Orientador: Roberto da Silva Bigonha.
5.   Mauro Nacif Rocha. Simulação e Gerenciamento de Unidades Móveis em Ambientes de Comunicação Sem Fio. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2001.
Orientador: Geraldo Robson Mateus.
6.   Vladimir Di Iorio. Avaliação Parcial de Máquinas de Estado Abstratas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001.
Orientador: Roberto da Silva Bigonha.

2000

1.   Clodoveu Augusto Davis Jr. Múltiplas Representações em Sistemas de Informação Geográficos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2000.
Orientador: Alberto Henrique Frade Laender.
2.   Ilmério Reis da Silva. Bayesian Networks for IR Systems. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000.
Orientador: Berthier Ribeiro de Araujo Neto.
3.   Luciano Romero Soares da Silva. Categorização Automática de Documentos Médicos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 2000.
Orientadores: Berthier Ribeiro de Araujo Neto, Alberto Henrique Frade Laender.
4.   Renato Moreira Hadad. Identificação de Padrões em Imagens de Satélites - Formas Circulares. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: Arnaldo de Albuquerque Araújo.

1999

1.   Alexei Manso Correa Machado. Modelos Probabilísticos para Registro de Imagens. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 1999.
Orientador: Mário Fernando Montenegro Campos.
2.   Cristina Duarte Murta. Modelo de Particionamento de Espaço para Caches da World Wide Web. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1999.
Orientador: Virgilio Augusto Fernandes Almeida.
3.   Edleno Silva de Moura. Aplicações de compressão de dados a sistemas de recuperação de informação. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 1999.
Orientador: Nivio Ziviani.
4.   Marcelo de Almeida Maia. Especificação Formal da Interação de Componentes de Sistemas Computacionais. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1999.
Orientador: Roberto da Silva Bigonha.

1998

1.   Carlos de Castro Goulart. Um Esquema de Alocação Dinâmica de Recursos Para Garantir Qos Para Aplicações Multimídia Em Redes . Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1998.
Orientador: Jose Marcos Silva Nogueira.
2.   Marcos Carneiro de Andrade. Um Método Topológico de Segmentação de Imagens Por Atributos. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1998.
Orientador: Arnaldo de Albuquerque Araújo.

1997

1.   Dilmar Malheiros Meira. Um Modelo Para Correlação de Alarmes Em Redes de Telecomunicações.. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . 1997.
Orientador: Jose Marcos Silva Nogueira.
2.   Frederico Rodrigues B Cruz. Algoritmos para Problemas de Planejamento de Redes. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1997.
Orientador: Geraldo Robson Mateus.
3.   Lucília Camarão de Figueiredo. Calculus: Um Modelo para Não-Determinismo em Linguagens Reflexivas. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1997.
Supervisor: Roberto da Silva Bigonha.

1995

1.   Eduardo Fernandes Barbosa. Métodos Eficientes de Busca Em Texto Armazenado Em Memória Secundária. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . 1995.
Orientador: Nivio Ziviani.


Data de processamento: 04/08/2015 09:54:10