|
|
|
Instituto de Computação
Teses de doutorado
1.
|
|
"Recuperação de Vídeos Comprimidos por Conteúdo", Autor: Jurandy Gomes de Almeida Junior, Orientador: Ricardo da Silva Torres. Co-Orientador: Neucimar Jerônimo Leite. Data da defesa: 28/11/2011.
|
2.
|
|
"Interação entre Reticulados e Códigos Corretores de Erros em Criptografia", Autor: Rosemberg André da Silva, Orientador: Ricardo Dahab. Data da defesa: 14/10/2011. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
3.
|
|
"Metodologias de Suporte a Verificação e Análise de Mode- los de Plataformas em Alto Nível de Abstração", Autor: Bruno de Carvalho Albertini, Orientador: Sandro Rigo. Co-Orientador: Guido Costa Souza de Araújo. Data da defesa: 06/10/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.
|
4.
|
|
"Implementação Eficiente em Software de Curvas Elípticas e Emparelhamentos Bilineares", Autor: Diego de Freitas Aranha, Orientador: Julio César López Hernández. Data da defesa: 26/08/2011. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
5.
|
|
"Problemas em Grafos com Poucos P4's e em Grafos Indiferen- ça", Autor: Vagner Pedrotti, Orientador: Célia Picinin de Mello. Data da defesa: 19/08/2011. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
6.
|
|
"Métodos Formais Algébricos para Geração de Invariantes", Autor: Rachid Rebiha, Orientador: Arnaldo Vieira Moura. Data da defesa: 12/08/2011. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
7.
|
|
"Políticas de Privacidade Semânticas para Descrição e Desco-berta de Serviços na Arquitetura Orientada a Serviços", Autor: Diego Zuquim Guimarães Garcia, Orientador: Maria Beatriz Felgar de Toledo. Co-Orientador: Miriam Akemi Manabe Capretz. Data da defesa: 10/08/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.
|
8.
|
|
"Uma Abordagem Evolutiva Multiobjetivo para Geração Automá- tica de Casos de Teste a Partir de Máquinas de Estados", Autor: Thaise Yano, Orientador: Eliane Martins. Data da defesa: 26/07/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
9.
|
|
"Objetos Complexos em Bibliotecas Digitais: Analisando o Ge-renciamento de Componentes de Imagens", Autor: Nádia Puchalski Kozievitch, Orientador: Ricardo da Silva Torres. Data da defesa: 08/07/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
10.
|
|
"Algoritmos de Detecção de Anomalias em Logs de Sistemas Baseados em Processos de Negócios", Autor: Fabio de Lima Bezerra, Orientador: Jacques Wainer. Data da defesa: 13/05/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
11.
|
|
"Awareness do Espaço de Trabalho em Ambientes Colaborativos Inclusivos na Web", Autor: Leonelo Dell Anhol Almeida, Orientador: Maria Cecilia Calani Baranauskas. Data da defesa: 28/02/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
12.
|
|
"Construção de Separadores Globalmente Suaves para Conjuntos de Pontos no R2 e Geração de Base Mínima", Autor: Ana Paula Resende Malheiro, Orientador: Jorge Stolfi. Data da defesa: 21/02/2011. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
13.
|
|
"Conhecimento e Internet: Busca, Exploração e a Familiaridade", Autor: Fernando Marques Figueira Filho, Orientador: Paulo Lício de Geus. Data da defesa: 21/02/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.
|
14.
|
|
"Técnicas e Arquitetura para Captura de Traços e Execução Especulativa", Autor: João Paulo Porto, Orientador: Guido Costa Souza de Araújo. Data da defesa: 15/02/2011. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.
|
|
|
|
