Departamento de Ciência da Computação

Total de orientações concluídas


Número total de itens: 1519
Página: 1  2  

2010

14.   Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Marcelo Finger.
15.   Felipe Amado. Predicao de Genes e Bioinfomatica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Alan Mitchell Durham.
16.   Fernando Bertolli Petroni. GRMediator: uma biblioteca modular para reconhecimento de gestos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010.
Orientador: Flavio Soares Correa da Silva.
17.   Filipe Morgado Simões de Campos. Criação automática de índices visuais para aplicação em hipervídeo. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Carlos Hitoshi Morimoto.
18.   Fillipe Manoel Xavier Resina. Revisor de ontologias. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Renata Wassermann.
19.   Fillipe Manoel Xavier Resina. Implementação de um revisor de ontologias. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Renata Wassermann.
20.   Gustavo Henrique Montesião de Sousa. Auralização de Fontes Sonoras Móveis Usando HRTFs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Marcelo Gomes de Queiroz.
21.   Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Supervisor: João Eduardo Ferreira.
22.   Jan Marcel Paiva Gentil. Avaliação numérica de software destinado a minimização em caixas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Ernesto Julián Goldberg Birgin.
23.   Jeferson Rodrigues da Silva. Renderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homograas e decomposições planares da cena. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Carlos Hitoshi Morimoto.
24.   Jesus pascual Mena Chalco. Reconstrução de faces 3D através de espaços de componentes principais. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Roberto Marcondes Cesar Junior.
25.   José David Curado. Geração de metadados. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2010.
Orientador: Renata Wassermann.
26.   João Machini de Miranda. Código Limpo e seu Mapeamento para Métricas de Código-fonte. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Paulo Roberto Miranda Meirelles.
27.   João Machini de Miranda. Automatic Quality Evaluation of Source-Code: Extending evaluation to other languages for Qualipso Project. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
28.   Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010.
Supervisor: Marcelo Finger.
29.   Karina Valdivia Delgado. Processos Markovianos de Decisão com Probabilidades Imprecisas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Leliane Nunes de Barros.
30.   Lennon Machado. Busca Indexada de Padrões em Textos Comprimidos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2010.
Orientador: Alair Pereira do Lago.
31.   Lucianna Almeida. A Model of Source Code Quality for FLOSS Projects (Qualipso Project). (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010.
Orientador: Paulo Roberto Miranda Meirelles.
32.   Lucianna Thomaz Almeida. Código Limpo e seu Mapeamento para Métricas de Código-fonte. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Paulo Roberto Miranda Meirelles.
33.   Lucianna Thomaz Almeida. Código limpo e seu mapeamento em métricas de código-fonte. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010.
Orientador: Fabio Kon.
34.   Luis Augusto Daniel Creão. Arquitetura e implementação de um sistema distribuído de recuperação de informação. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2010.
Orientador: Alair Pereira do Lago.
35.   Marcel Santos Claro. Rotulação e extração de contornos de estruturas ramicadas. Iniciação Científica - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Marcondes Cesar Junior.
36.   Marcio Rocha dos Santos. Grand Central Dispatch. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Alfredo Goldman vel Lejbman.
37.   Marcio Takashi Iura Oshiro. k-árvores de custo mínimo. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: José Coelho de Pina Junior.
38.   Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Marcelo Finger.
39.   Mina Cintho. Framework para classificação das mutações de HIV. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: João Eduardo Ferreira.
40.   Mina Cintho. Classificação das mutações de vírus HIV. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2010.
Orientador: João Eduardo Ferreira.
41.   Márcio Moretto Ribeiro. Revisão de Crenças em Lógicas de Descrição e Outras Lógicas não Clássicas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Renata Wassermann.
42.   Paulo de Tarso Guerra Oliveira. Revisão de Modelos CTL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Renata Wassermann.
43.   Paulo Kikuchi Negrão. Geração automática de código a partir de Esquemas Z. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Ana Cristina Vieira de Melo.
44.   Pavlos Bahia Konstadinidis. A conjectura KLR e 1-afirmações para propriedades anti-Ramsey. Tese (Doutorado em Matemática) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Yoshiharu Kohayakawa.
45.   Pedro Ivo Gomes de Faria. Bioinformatica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Alan Mitchell Durham.
46.   Pedro Leal. Testes Automatizados de Coreografias de Serviços Web. (Graduando em Ciência da Computação) - Universidade de São Paulo, HP Brasil Ltda.. 2010.
Orientador: Fabio Kon.
47.   Pedro Matiello. A ?-Calculus Internal Domain-Speci?c Language for Scala. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Ana Cristina Vieira de Melo.
48.   Pedro Pais Lopes. Análise de benefícios do paralelismo por comunicação unilateral em aplicações com grades não estruturadas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010.
Orientador: Siang Wun Song.
49.   Rafael de Holanda Barroso. Transformando dados em informação: um estudo através de exemplos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010.
Orientador: Alfredo Goldman vel Lejbman.
50.   Rafael Plana Maranzato. Identificação de fraude contra sistemas de reputação em mercados eletrônicos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2010.
Orientador: Alair Pereira do Lago.
51.   Reginaldo Rideaki Kamiya. iVProg: um sistema visual para ensino-aprendizagem de programação via Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010.
Orientador: Leônidas de Oliveira Brandão.
52.   Renato Ciani. Métodos computacionais de otimização. (Graduando em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2010.
Orientador: Ernesto Julián Goldberg Birgin.
53.   Ricardo Augusto Teixeira de Souza. Predição de tags usando linked data: um estudo de caso no banco de dados Arquigrafia. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Leliane Nunes de Barros.
54.   Rodolpho Iemini Atoji. Bluetooth e NFC: estudo de caso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Alfredo Goldman vel Lejbman.
55.   Silvia Ghiroti Esparrachiari. Reconhecimento de gestos tri-dimensionais. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Carlos Hitoshi Morimoto.
56.   Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Ana Cristina Vieira de Melo.
57.   Simone Hanazumi. Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Ana Cristina Vieira de Melo.
58.   Thiago Colucci. Escalabilidade de Coreografias em Ambientes de Computação em Nuvem. (Graduando em Ciência da Computação) - Universidade de São Paulo, HP Brasil Ltda.. 2010.
Orientador: Fabio Kon.
59.   Thiago da Silva Pinheiro. Tópicos em combinatória. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Yoshiharu Kohayakawa.
60.   Thiago M. Paixão. Rastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estático. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Hirata Junior.
61.   Vinícius Daros. Support to integration between Analizo and Kalibro tools and Qualipso tool set. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010.
Orientador: Paulo Roberto Miranda Meirelles.
62.   Wanderley Guimarães da Silva. Conjuntos dominantes em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Yoshiko Wakabayashi.
63.   Wellington Ricardo Pinheiro. Ambiente de Aprendizado de Programação para o projeto Tidia-AE. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Leliane Nunes de Barros.
64.   Wonder Alexandre Luz Alves. Localização de Texto em Imagens de Cenas por meio de Operadores Morfológicos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010.
Orientador: Ronaldo Fumio Hashimoto.
65.   Yanik Ngoko. L?Approche du portfolio d?algorithmes pour la construction des algorithmes robustes et adaptatifs. Tese (Doutorado em Informatique et Systèmes) - Institut National Polythecnique De Grenoble, . 2010.
Supervisor: Alfredo Goldman vel Lejbman.

2009

1.   Adriano Tabarelli. Redes veiculares e DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Alfredo Goldman vel Lejbman.
2.   Adriano Tabarelli, Caio Cestari Silva. Redes Tolerantes a Atrasos, Protocolos de Disseminação e Aplicações. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
3.   Alex Massao Morinaga, Hugo Posca de Vasconcelos. Distribuição de tarefas em computação distribuída Estudo de caso: BOINC. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
4.   Alexandre Luís Kundrát Eisenmann. iComb: Um sistema para o ensino e aprendizagem de Combinatória em ambiente Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009.
Orientador: Leônidas de Oliveira Brandão.
5.   Alexandre Ricardo Nardi. Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2009.
Orientador: João Eduardo Ferreira.
6.   Alvaro Junio Pereira Franco. Consultas de segmentos em janelas: algoritmos e estruturas de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Carlos Eduardo Ferreira.
7.   Anauê Pereira da Costa e Fabio Sendoda Yamate. Semantic Lattes: uma ferramenta de consulta baseada em ontologias. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2009.
Orientador: Renata Wassermann.
8.   André Shoji Asato e Rafael de O. Lopes Gonçalves. Acessibilidade para deficientes visuais para cores. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Roberto Hirata Junior.
9.   Atol Fortin Oliveira. Otimização combinatória e teoria dos jogos algorítmica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Cristina Gomes Fernandes.
10.   Beatriz Stransky. Modelagem multi-resolução de tecidos. Instituto de Matemática e Estatística da USP, Fundação de Apoio à Pesquisa do Estado da Paraíba. 2009.
Supervisor: Junior Barrera.
11.   Bruno Klava. Segmentação Interativa de Imagens via Transformação Watershed. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Nina Sumiko Tomita Hirata.
12.   Bruno Milan Perfetto. Binarização de imagens digitais. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Nina Sumiko Tomita Hirata.
13.   Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Marcelo Finger.
14.   Bruno Yoiti Ozahata. Análise estrutural de expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Nina Sumiko Tomita Hirata.
15.   Caio Cestari Silva. Redes veiculares e DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Alfredo Goldman vel Lejbman.
16.   Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Marcelo Finger.
17.   Carlos Eduardo Moreira dos Santos. Gerenciamento de Recursos para Grades Computacionais - Node Control Center. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Fabio Kon.
18.   Carlos Morais. Kalibro: uma ferramenta de configuração e interpretação de métricas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Carlos Morais de Oliveira Filho. Kalibro: Uma ferramenta de configuração e interpretação de métricas de código-fonte. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Fabio Kon.
20.   Cassia Garcia Ferreira. Compromisso entre algoritmos de roteamento em redes tolerantes a atrasos e desconexões. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
21.   Caue Haucke Porta Guerra, Cecilia Fernandes, Lucas Cavalcant. Calopsita: Um sistema gerenciador de projetos que utilizam metodologias ágeis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
22.   Cesar Gamboa Machado, Paulo Henrique Floriano. Grafos Evolutivos e Redes Tolerantes a Atrasos. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
23.   Cássia Garcia. Compromissos em DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Alfredo Goldman vel Lejbman.
24.   César Gamboa Machado. Jornadas em redes tolerantes a atrasos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Apoio ao IPT. 2009.
Orientador: Alfredo Goldman vel Lejbman.
25.   Daniel Cukier. Padrões para Introduzir Novas Ideias na Indústria de Software. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Fabio Kon.
26.   Daniel Hanna Leite El Ottra. Previsão e prevenção de falhas em sistemas computacionais. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Siang Wun Song.
27.   Edson Kenji Ninomiya e José Antonio Cardoso Marum Jr. Visualizador de Múltiplos Vídeos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Roberto Hirata Junior.
28.   Fernando Raganhan Barbosa. Redução de Ruído em Áudio Digital. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marcelo Gomes de Queiroz.
29.   Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Marcelo Finger.
30.   Fábio Pisaruk. k-menores caminhos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2009.
Orientador: José Coelho de Pina Junior.
31.   Guilherme Tozo de Carvalho. Aplicação de práticas ágeis na construção de data warehouse evolutivo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009.
Orientador: João Eduardo Ferreira.
32.   Joao Henrique Burckas Ribeiro. Aprendizado Computacional Baseado em Distância a Segmentos de Reta. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Ronaldo Fumio Hashimoto.
33.   Juliana Barby Simão. Minimização de funções submodulares. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: José Coelho de Pina Junior.
34.   Leandro Lima. Identificação de redes de expressão gênica no contexto de malária. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Junior Barrera.
35.   Leonardo Marchetti. Método dual-fitting para análise de algoritmos de aproximação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Cristina Gomes Fernandes.
36.   Luis Fernando Ragognette. Teoria aditiva dos números. Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Yoshiharu Kohayakawa.
37.   Marcela Ortega. Indexação de Dados Semi-estruturados para o Sistema de Informação CEGH. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2009.
Orientador: João Eduardo Ferreira.
38.   Martin Fabichak. Scrum em empresas de jogo digital. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
39.   Martin Moguillansky. Argumentation Dynamics. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. 2009.
Supervisor: Renata Wassermann.
40.   Mateus Augusto Silva Santos. Análise comparativa de protocolos de segurança para redes de sensores sem fio. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2009.
Orientador: Routo Terada.
41.   Mauricio Silva de Moura. Dois caminhos disjuntos e o método de Robertson e Seymour. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2009.
Orientador: José Coelho de Pina Junior.
42.   Maurício Egidio Cantão. Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Supervisor: João Eduardo Ferreira.
43.   Paulo Fernando Galvão de Oliveira Machado. Aplicações de programação não linear ao apreçamento de apólices de seguro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009.
Orientador: Walter Figueiredo Mascarenhas.
44.   Paulo Henrique Floriano. Jornadas em redes tolerantes a atrasos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Alfredo Goldman vel Lejbman.
45.   Pedro Paulo de Souza Bento da Silva. Atualização Incremental de Data Warehouses. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2009.
Orientador: João Eduardo Ferreira.
46.   Peter Ngugi Nyumu. Analysis of Scheduling Algorithms on a Parallel Programming Context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
47.   Rafael Durbano Lobato. Algoritmos para problemas de programação não linear com variáveis inteiras e contínuas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Ernesto Julián Goldberg Birgin.
48.   Renato Coelho. Algoritmos Fatorados de Planejamento sob incerteza. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2009.
Orientador: Leliane Nunes de Barros.
49.   Ricardo Alexandre Bastos. Reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Nina Sumiko Tomita Hirata.
50.   Roberto Piassi Passos Bodo. Sistema de Acompanhamento Musical Automatizado. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marcelo Gomes de Queiroz.
51.   Rodrigo Assirati Dias. Um middleware para processamento bioestatístico em grades computacionais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2009.
Orientador: Roberto Hirata Junior.
52.   Rodrigo Luiz Marques Flores. BOINC + R: Executando rotinas de bioinformática em grades oportunistas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Roberto Hirata Junior.
53.   Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marcelo Finger.
54.   Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2009.
Orientador: Marcelo Finger.
55.   Thiago Miranda Ferreira. Previsão e prevenção de falhas em sistemas computacionais. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Siang Wun Song.
56.   Thiago Teixeira Santos. Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Carlos Hitoshi Morimoto.
57.   Tiago de Morais Montanher. Métodos Intervalares em Otimização Global. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Walter Figueiredo Mascarenhas.
58.   Vilc Q. Rufino. Acordo de Chaves Hierárquico sem Certificado. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2009.
Orientador: Routo Terada.
59.   Vinícius Gama Pinheiro. Agentes Móveis em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009.
Orientador: Alfredo Goldman vel Lejbman.
60.   Wendel Scardua. Métodos de Expansão de Busca em Sistemas de Recuperação de Informação. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2009.
Orientador: Alair Pereira do Lago.

2008

1.   Alexandre da Silva Freire. Correspondência Inexata de Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Carlos Eduardo Ferreira.
2.   Alexandre Pitta Rodrigues, Julien Renaut, Yugo Watari. Sistema de Gerenciamento de Competências (SIGECO). (Graduação em Bacahrelado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 2008.
Orientador: Valdemar Waingort Setzer.
3.   Alvaro Heiji Miyazawa. Geração parcial de código Java a partir de especificações formais Z. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Ana Cristina Vieira de Melo.
4.   Anderson Fraiha Machado. Erosões e Dilatações Morfológicas Binárias Seqüenciais Rápidas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Ronaldo Fumio Hashimoto.
5.   André Casado Castaño. Populando ontologias através de informações em HTML - o caso do Currículo Lattes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Renata Wassermann.
6.   Andréa Tieme Nakasato. Ordenação por reversão. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Yoshiko Wakabayashi.
7.   Breno Flesch Franco. Aperfeiçoamento de um software para reconhecimento de expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Nina Sumiko Tomita Hirata.
8.   Celina Maki Takemura. Análise de posição relativa de objetos usando formas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Roberto Marcondes Cesar Junior.
9.   Claudio Eduardo Storti Lago. Escalonamento em Job Shops Flexíveis Híbridos com Máquinas Multi Operação - Uma abordagem através de Filtered Beam Search. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Leônidas de Oliveira Brandão.
10.   Cristiane Maria Sato. Homomorfismos de grafos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Orientador: Yoshiharu Kohayakawa.
11.   Cristiano Perez Garcia. Uma abordagem hierárquica para o reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Nina Sumiko Tomita Hirata.
12.   Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
13.   David Corrêa Martins Junior. Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Orientadores: Junior Barrera, Roberto Marcondes Cesar Junior.
14.   David Robert Camargo de Campos. Reparo de Planos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Leliane Nunes de Barros.
15.   Diego Mira David. Casamento de formas com o descritor shape context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Ronaldo Fumio Hashimoto.
16.   Fabio Henrique Nishihara. Paradigma Mestre-Escravo em Plataformas Heterogêneas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Alfredo Goldman vel Lejbman.
17.   Fabrício de Souza Nascimento. Implantaçãoo de aplicações em larga escala. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Alfredo Goldman vel Lejbman.
18.   Fernando Taietti Camargo. Estudo comparativo de passos espectrais e buscas nao monotonas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Ernesto Julián Goldberg Birgin.
19.   Filipe Correa Lima da Silva. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2008.
Orientador: Flavio Soares Correa da Silva.
20.   Francisco Nogueira Calmon Sobral. Programação em dois níveis: reformulação utilizando as condições KKT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Orientador: Ernesto Julián Goldberg Birgin.
21.   Giuliano Mega. Depuração simbólica extensível para sistemas de objetos distribuídos. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Fabio Kon.
22.   Grace Anne Pontes Borges. Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: João Eduardo Ferreira.
23.   Guilherme Otranto e Thomaz Rodrigues Gomes. Projeto e desenvolvimento de um simulador para jogos de futebol. (Graduação em CIência da Computação) - Instituto de Matemática e Estatística Usp, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Junior Barrera.
24.   Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Flavio Soares Correa da Silva.
25.   Hammurabi das Chagas Mendes. Estruturas de Dados Concorrentes: um Estudo de Caso em Skip Graphs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Cristina Gomes Fernandes.
26.   Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
27.   Henrique Stagni. Modelando Ciclo Celular usando Redes Booleanas Probabilísticas Contextuais. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Ronaldo Fumio Hashimoto.
28.   J. J. G. Leandro. Análise e classificação de formas de estruturas de ramificação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Roberto Marcondes Cesar Junior.
29.   Jaqueline Rodrigues. Sokoban. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Leliane Nunes de Barros.
30.   Jose de Ribamar Braga Pinheiro Junior. Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Fabio Kon.
31.   Kleber da Silva Xavier. Estudo sobre Redução do Custo de Testes através da Utilização de Verificação de Componentes Java com Tratamento de Exceções. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Ana Cristina Vieira de Melo.
32.   Lucas Cavalcante. Algoritmos para SAT Probabilístico. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Marcelo Finger.
33.   Lucas Piva Rocha Correa. Algoritmos de triangularização: estudo e implementações. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Carlos Eduardo Ferreira.
34.   Luciana Setsuko Gakiya. Classificação e Busca de Componentes de Software com Tratamento de Exceções. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Ana Cristina Vieira de Melo.
35.   Luciano Vieira de Araújo. Sistema colaborativo para armazenamento e análise de dados de HIV. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008.
Orientador: João Eduardo Ferreira.
36.   Luiz Henrique Rorato Decaro. Foundation: facilitando a implementacao de operacoes do tipo CRUD em aplicacoes JavaEE.. Dissertação (Mestrado em Pro- grama de Mestrado Pro?ssional em Engen- ha) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2008.
Orientador: Alan Mitchell Durham.
37.   Manoel Fernando Alonso Gadi. Uma comparação de métodos de classificação aplicados à detecção de fraude em cartões de crédito. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2008.
Orientador: Alair Pereira do Lago.
38.   Marcelo Ris. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno. Tese (Doutorado em Doutorado em Bioinformática) - Departamento de Ciência da Computação Bioinfo Usp, . 2008.
Orientador: Junior Barrera.
39.   Mariana Zaparolli Martins. Audible Images: Um sistema Interativo para Síntese de Imagens Controladas por Áudio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Gomes de Queiroz.
40.   Marina Andretta. Tópicos em otimização com restrições lineares. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Ernesto Julián Goldberg Birgin.
41.   Maya Jakobine Stein. Problemas finitos e infinitos da teoria dos grafos e hipergrafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Supervisor: Yoshiharu Kohayakawa.
42.   Márcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008.
Orientador: João Eduardo Ferreira.
43.   Márcio Vinicius dos Santos. Uso de Virtualização em Grades Computacionais. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Fabio Kon.
44.   Mário Henrique Cruz Tôrres. Simulação Acústica no Ambiente AcMus. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Fabio Kon.
45.   Natan Costa Lima. Algoritmos e estruturas de dados para problemas de deslocamento no plano. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Carlos Eduardo Ferreira.
46.   Nestor Walter Trepode. . Faculdade de Flosofia Ciências e Letras da USP de Ribeirão Preto, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Supervisor: Junior Barrera.
47.   Paulo Silveira. Geração automática de casos de teste para Web Services. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Ana Cristina Vieira de Melo.
48.   Pedro Losco Takecian. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, National Institutes of Health. 2008.
Orientador: João Eduardo Ferreira.
49.   Pedro Matiello. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
50.   Rafael Crivellari Saliba Schouery. Algoritmos de aproximação e problemas com sequências. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Cristina Gomes Fernandes.
51.   Raphael Yokoingawa de Camargo. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Supervisor: Fabio Kon.
52.   Reginaldo do Prado. iGraf: Uma proposta de sistema para ensino de função via Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Leônidas de Oliveira Brandão.
53.   Renato da Silva Ramalho. Implementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Routo Terada.
54.   Ricardo Guimarães Hermann. Planejamento Hierárquico sob Incerteza Knightiana. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Leliane Nunes de Barros.
55.   Ricardo Luiz Andrade Abrantes. Aplicações de computação paralela em otimização contínua. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Ernesto Julián Goldberg Birgin.
56.   Ricardo Sider. Análise Estrutural de Expressões Matemáticas Manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Nina Sumiko Tomita Hirata.
57.   Rodolpho Iemini Atoji. Bluetooth e NFC: estudo de caso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Alfredo Goldman vel Lejbman.
58.   Rudini Menezes Sampaio. Limites de seqüências de permutações de inteiros. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Yoshiharu Kohayakawa.
59.   Vitor Onuchic. Caracterização de Estruturas Secundárias de RNAs utilizando Grafos. (Graduando em Bacharelado em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Alan Mitchell Durham.

2007

1.   A. Mello, E. Y. Komatsu, F. Okuda e L. Hing. Math-Picasso: Segmentação e reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2007.
Orientador: Nina Sumiko Tomita Hirata.
2.   Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Marcelo Finger.
3.   Alexandre Freire da Silva. Reflexões sobre o Ensino de Metodologias Ágeis na Academia, na Indústria e no Governo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Fabio Kon.
4.   Alexandre Oki Takinami, Carlos Eduardo Manssur. Tail A Java Technical Analysis Library. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Alfredo Goldman vel Lejbman.
5.   Ana Beatriz Vicentim Graciano. Rastreamento de objetos baseado em reconhecimento estrutural de padrões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Roberto Marcondes Cesar Junior.
6.   Andre de M. Folli e Bruno H. Yoshimura e Gustavo A. Nery. Adequabilidade do Kepler para pacotes de Bioinformática do R. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Roberto Hirata Junior.
7.   Andreia Cristina G. Machion. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2007.
Orientador: Leliane Nunes de Barros.
8.   Andreza Silva de Oliveira. Acompanhamento (tracking) de projetos de desenvolvimento de software com métodos ágeis. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007.
Orientador: Fabio Kon.
9.   André Fujita. Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Carlos Eduardo Ferreira.
10.   André Gustavo de Andrade. Integração de Verificadores Formais para Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Ana Cristina Vieira de Melo.
11.   André Yoshiaki Kashiwabara. MYOP: Um ar cabouço para a predição de genes ab-initio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Alan Mitchell Durham.
12.   Arnaldo Câmara Lara. Segmentação de Movimento Usando Morfologia Matemática. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Roberto Hirata Junior.
13.   Augusto Fernandez Vellozo. Alinhamentos com Rearranjos. em Matematica Aplicada/Ciencia da Computacao) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Alair Pereira do Lago.
14.   Christian Tjandraamadja. Subseqüência Comum mais Longa sem Repetições e Variantes. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Carlos Eduardo Ferreira.
15.   Christiane Neme Campos. Aspectos teóricos, estruturais e de otimização de alguns problemas em grafo. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Supervisor: Yoshiko Wakabayashi.
16.   Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Flavio Soares Correa da Silva.
17.   Danielle Tiemy Paulo. MOOFS - Mobile Objects Oriented File System. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Alfredo Goldman vel Lejbman.
18.   Danilo Toshiaki Sato. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Alfredo Goldman vel Lejbman.
19.   David da Silva Pires. Rastreamento de componentes conexas em vídeo 4D. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Roberto Marcondes Cesar Junior.
20.   David Desario. Polyhedral theta functions and their applications to combinatorial geometry. Tese (Doutorado em Mathematics) - Temple University, . 2007.
Orientador: Sinai Robins.
21.   David Paulo Pereira. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Ana Cristina Vieira de Melo.
22.   Domingos Dellamonica Junior. Extração de aleatoriedade a partir de fontes defeituosas. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Yoshiharu Kohayakawa.
23.   Eduardo Leal Guerra. InGride: um ambiente integrado e extensível de desenvolvimento para computação em grades. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Alfredo Goldman vel Lejbman.
24.   Eduardo Takeo Ueda. Uma versão mais forte do algoritmo RC6 contra criptanálise qui-quadrado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Routo Terada.
25.   Fabricio Siqueira Benevides. Teoria de Ramsey para circuitos e caminhos. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Yoshiharu Kohayakawa.
26.   Fernando Castor Filho. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Supervisor: Fabio Kon.
27.   Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Marcelo Finger.
28.   Gerardo Valdisio Rodrigues Vianna. Técnicas para construção de árvores filogenéticas. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . 2007.
Supervisor: Carlos Eduardo Ferreira.
29.   Giulian Dalton Luz. Uso de small worlds no roteamento em redes de sensores sen fio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Alfredo Goldman vel Lejbman.
30.   Gustavo Bianchi Maia. Ferramenta para integração de banco de dados multidimensionais e softwares de visualização de séries temporais. Dissertação (Mestrado em Pós graduação Computação) - Instituto de Matemática e Estatística, . 2007.
Orientador: João Eduardo Ferreira.
31.   Helton Massato Kishi. Planejamento Probabilístico. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Leliane Nunes de Barros.
32.   Igor Ribeiro Sucupira. Um Estudo Empírico de Hiper-heurísticas. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Flavio Soares Correa da Silva.
33.   Jan Marcel Gentil. Sistemas de equações não-lineares e problemas de empacotamento.. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Ernesto Julián Goldberg Birgin.
34.   Janine Gomes Moura. SAW - Sistema de Aprendizagem pela Web: motivações e desenvolvimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Leônidas de Oliveira Brandão.
35.   Julian Geraldes Monteiro. Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Alfredo Goldman vel Lejbman.
36.   Marcel Kenji de Carli Silva. Relações min-max em otimização combinatória. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Yoshiko Wakabayashi.
37.   Marcelo Hashimoto. Bases de Hilbert. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: José Coelho de Pina Junior.
38.   Mauricio Chui Rodrigues. Encapsulando a NavigationPlanTool como Serviços Web. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: João Eduardo Ferreira.
39.   Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2007.
Orientador: Marcelo Finger.
40.   Nestor Walter Trepode. Modelagem do controle gênico do ciclo celular por redes genéticas probabilísticas. Tese (Doutorado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Junior Barrera.
41.   Paulo Cheque Bernardo. Testes Automatizados em Métodos Ágeis de Desenvolvimento de Software. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007.
Orientador: Fabio Kon.
42.   Paulo Eduardo Azevedo Silveira. Matemática e algoritmos das dobras. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007.
Orientador: José Coelho de Pina Junior.
43.   Philipe Dalla Bernardina. PCA-tree: uma proposta de indexação multidimensional. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007.
Orientador: Nina Sumiko Tomita Hirata.
44.   Raphael Yokoingawa de Camargo. Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Fabio Kon.
45.   Renato Lucindo Pinheiro Leme. Partição de grafos em subgrafos conexos balanceados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Yoshiko Wakabayashi.
46.   Renato Lundberg. Desenvolvimento de portal Web para submissão e controle em grades computacionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Fabio Kon.
47.   Rodrigo Della Vittoria Duarte. Estudo e desenvolvimento de novas funcionalidades do Java Pathfinder. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Ana Cristina Vieira de Melo.
48.   Rodrigo Marques Flores. R-GeneCliques. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Roberto Hirata Junior.
49.   Rodrigo Moreira Barbosa. Aplicações com agentes móveis em computação em grade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Alfredo Goldman vel Lejbman.
50.   Rodrigo Rueda. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2007.
Orientadores: Nina Sumiko Tomita Hirata, Marcelo Finger.
51.   Silvio do Lago Pereira. Planejamento sob incertezas para metas de alcançabilidade estendidas. Tese (Doutorado em Doutor em Ciências) - Instituto de Matemática e Estatística, . 2007.
Orientador: Leliane Nunes de Barros.
52.   Simone Hanazumi. Projeto de Iniciação Científica Ferramenta para Análise do Tratamento Excepcional de Objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Ana Cristina Vieira de Melo.
53.   Thiago Carvalho de Sousa. Revisão de modelos formais de sistemas de estados finitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Renata Wassermann.
54.   Thiago Coraini. Implementação de um escalonador para grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Marcelo Finger.
55.   Thiago Meireles Paixão. Atualização de modelos e fundos dinâmicos para rastreamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Supervisor: Roberto Marcondes Cesar Junior.
56.   Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Marcelo Finger.
57.   Yossi Zana. Análise de faces em coordenadas polares. Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Supervisor: Roberto Marcondes Cesar Junior.
58.   Érico Murilo Gozzi. Estudo de métodos estocásticos para otimização global de problemas de programação não linear. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Ernesto Julián Goldberg Birgin.

2006

1.   Adão de Melo Neto. Multiplicação Eficiente em Curvas Elípticas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Routo Terada.
2.   Alexandre Eiki Onishi. Técnicas de Reuso de Software aplicadas na Elaboração de Arquiteturas Corporativas. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006.
Orientador: Siang Wun Song.
3.   Ana Paula dos Santos Mota. Borboleta: sistema móvel para atendimento domiciliar de saúde. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006.
Orientador: Fabio Kon.
4.   Andre Rodrigo Sanches. Reducao de dimensionalidade em séries temporais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006.
Orientador: Nina Sumiko Tomita Hirata.
5.   Antonio João Ferreira Francisco. Algoritmos de aproximação para o projeto de redes seguras. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Carlos Eduardo Ferreira.
6.   Antônio Luís Basile. Funções valor na alocação de tarefas em sistemas robóticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Flavio Soares Correa da Silva.
7.   Arlindo Flávio da Conceição. Voz e vídeo sobre redes sem fio IEEE 802.11. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Fabio Kon.
8.   Bruno Klava. Ferramenta interativa para segmentação de imagens digitais. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006.
Orientador: Nina Sumiko Tomita Hirata.
9.   Bruno Pera. Reconstrução de faces a partir de múltiplas imagens utilizando um modelo de rerferência e um conjunto de pontos de conttrole. Dissertação (Mestrado em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Carlos Hitoshi Morimoto.
10.   Carlos Henrique Aguena Higa. Coeficiente de Determinação, Predição Intrinsicamente Multivariada e Genética. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Ronaldo Fumio Hashimoto.
11.   Carlos Henrique Cardonha. Sistemas Interativos de Prova Clássicos e Quânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Cristina Gomes Fernandes.
12.   Cláudia de Oliveira Melo. Classificação semi-automática para componentes java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Ana Cristina Vieira de Melo.
13.   Daniel André Vaqueri. Projeto multi-resolução de operadores morfológicos a partir de exemplos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Junior Barrera.
14.   Daniel de Angelis Cordeiro. Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Alfredo Goldman vel Lejbman.
15.   Deise Harumi Aoki. Origami computacional: construção de bases. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006.
Orientador: José Coelho de Pina Junior.
16.   Denise H Goya. Proposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Routo Terada.
17.   Devanir Zuliani. Projeto Conceitual de Workflow. Dissertação (Mestrado em Engenharia de Software) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006.
Orientador: João Eduardo Ferreira.
18.   Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006.
Orientador: Marcelo Finger.
19.   Eduardo Pires, Pedro Oliveira e Ricky Chow. Sistema Titanium de Reconhecimento de Escrita Online - SisTREO. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006.
Orientador: Nina Sumiko Tomita Hirata.
20.   EIDER SILVA DE OLIVEIRA. Sistema de Arquivos Especializado para Correio Eletrônico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Arnaldo Mandel.
21.   Eloiza Sonoda. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Supervisor: Fabio Kon.
22.   Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006.
Orientador: Marcelo Finger.
23.   Fabio Massaaki Katayama. O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Alfredo Goldman vel Lejbman.
24.   Felipe Werndl Trevisan. Um modelo unificado para planejamento sob incerteza. Dissertação (Mestrado em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Leliane Nunes de Barros.
25.   Flávio Luiz Coutinho. Um sistema de rastreamento de olhar tolerante a movimentações da face. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Carlos Hitoshi Morimoto.
26.   Francisco Sobreira Netto. Medição de desempenho do gerenciamento de processos de negócio -BPM no PNAFE: uma proposta de modelo. Tese (Doutorado em Administração) - Universidade de São Paulo, . 2006.
Supervisor: João Eduardo Ferreira.
27.   Frédéric Chataigner (procedente da Université Paris 7). Approximation algorithms, complexity, and non-approximability results for graph problems. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Supervisor: Yoshiko Wakabayashi.
28.   Fábio Mazete Reaes. Reconhecimento de faces em imagens: projeto Beholder. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006.
Orientador: Nina Sumiko Tomita Hirata.
29.   Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Marcelo Finger.
30.   Gordana Manic. Empacotamento de subgrafos em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Yoshiko Wakabayashi.
31.   Gustavo Henrique Montesião Sousa. Técnicas em Síntese Digital e Composição Algorítmica. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Marcelo Gomes de Queiroz.
32.   Jessica Cuomo. Laplacians of some planar graphs and their eigenvalues. Dissertação (Mestrado em Mathematics) - Temple University, . 2006.
Orientador: Sinai Robins.
33.   Jozef Skokan. Aplicações de quase-aleatoriedade em combinatória. Instituto de Matemática e Estatística, National Science Foundation. 2006.
Supervisor: Yoshiharu Kohayakawa.
34.   João Vitor Baldini Soares. Um novo método de segmentação de imagens de retina usando wavelets. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Roberto Marcondes Cesar Junior.
35.   Juliana Jabra Chahoud. Planejamento para Serviços Web Semânticos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006.
Orientador: Leliane Nunes de Barros.
36.   Kelly Rosa Braghetto. Identificação Não-Supervisionada de Padrões de Fluxos em Workflow Científicos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Supervisor: Roberto Marcondes Cesar Junior.
37.   Kelly Rosa Braghetto. CONTROLE DE PADRÕES DE FLUXOS DE PROCESSOS EM BANCOS DE DADOS RELACIONAIS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: João Eduardo Ferreira.
38.   Luciana Maria Gregolin Dias. Projeto Acústico Ótimo de Salas de Escuta. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Marcelo Gomes de Queiroz.
39.   Marcos Eduardo Bolelli Broinizi. Validacao Agil e Precisa de Projetos Conceituais de Banco de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: João Eduardo Ferreira.
40.   Neil Weikel. Linear programming and its applications to the real estate market. Dissertação (Mestrado em Mathematics) - Temple University, . 2006.
Orientador: Sinai Robins.
41.   Nelson Takashi Omori. Algumas Ferramentas e Conceitos Utilizados em GED. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006.
Orientador: Siang Wun Song.
42.   Rafael Antonio Cosentino. Origami computacional: dobrar e cortar. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006.
Orientador: José Coelho de Pina Junior.
43.   Rafael Durbano Lobato. Algoritmos de programação dinâmica para o problema de carregamento do palete do produtor. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Ernesto Julián Goldberg Birgin.
44.   Rafael Pereira Luna. Implementações do Método Primal-Dual Aplicado ao Problema da Floresta de Steiner. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Cristina Gomes Fernandes.
45.   Regis de Abreu Barbosa. Detecção e rastreamento de faces e características faciais com aplicação em indexação de vídeo e estimação da orientação de faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Carlos Hitoshi Morimoto.
46.   RICARDO DA SILVA CARVALHEIRO. Integração de estruturas de endereçamento para viabilizar a automatização do georreferenciamento de cadastros: Um estudo de caso. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006.
Orientador: João Eduardo Ferreira.
47.   Tiago Tagliari Martinez. Recuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetiva. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Carlos Hitoshi Morimoto.
48.   Vera Nagamuta. Um Arcabouço para Composição, Teste e Simulação de Protocolos de Handover Suave. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Siang Wun Song.
49.   Yen Chin Shen. Por que usar bancos de dados orientados a objetos?. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 2006.
Orientador: Valdemar Waingort Setzer.

2005

1.   Adolpho da Costa Pacheco e Camila Pacheco Marques. Combinação de Classificadores. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2005.
Orientador: Nina Sumiko Tomita Hirata.
2.   Adriano Brito Mitre. Técnicas de Transcrição Automática em Computação Musical. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2005.
Orientador: Marcelo Gomes de Queiroz.
3.   Ana Mota. Desenvolvimento de um plugin Eclipse para o ensino de programação baseada em Padrões Elementares. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, IBM. 2005.
Orientador: Leliane Nunes de Barros.
4.   Anderson Sanches. Construção e estudos sobre ontologias de bioquímica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Renata Wassermann.
5.   André Thomas Kowaltowski. Sistema Cápere. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2005.
Orientador: Siang Wun Song.
6.   Christian Danniel Paz-Trillo. Recuperação de vídeos indexados por conceitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Renata Wassermann.
7.   Daniel Morgato Martin. Coloração de Grafos e o Método Probabilístico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Orientador: Yoshiharu Kohayakawa.
8.   Edgar Kenji Yamamoto. Projeto Nukenin. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2005.
Orientador: Siang Wun Song.
9.   Edward Mitsuo Iwanaga Iamamoto. Planejamento no Cálculo de Situações usando a linguagem Golog. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2005.
Orientador: Leliane Nunes de Barros.
10.   Fernando Mario de Oliveira Filho. O problema de Steiner com grupos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Orientador: Carlos Eduardo Ferreira.
11.   Francisco Nogueira Calmon Sobral. Empacotamento usando ferramentas de programacao nao linear. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Ernesto Julián Goldberg Birgin.
12.   Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Marcelo Finger.
13.   George Henrique Silva. Construção de agentes inteligentes para a Web Semântica. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Leliane Nunes de Barros.
14.   Guilherme de Souza Rabello. Aproximações de Lógicas Modais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Marcelo Finger.
15.   Hugo Corbucci. Ontologia de orientação a objetos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Renata Wassermann.
16.   Jeferson Roberto Marques. Gerenciamento de Recursos Distribuídos em Sistemas Escaláveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Fabio Kon.
17.   Jefferson Schoenfeld. Bagging e Boosting Aplicados ao Projeto de Operadores Morfológicos de Imagens. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2005.
Orientador: Nina Sumiko Tomita Hirata.
18.   Jesus Mena-Chalco. Identificação de Regiões Codificantes de Proteína através da Transformada Modificada de Morlet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Roberto Marcondes Cesar Junior.
19.   Jishu Ashimine. Definição de uma nova função critério baseada em distâncias nebulosas com múltiplos protótipos para seleção de características. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Roberto Marcondes Cesar Junior.
20.   Julio Cesar Mila. Utilização de ontologias na especificacao de processos e regras de negocio. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2005.
Orientador: João Eduardo Ferreira.
21.   Karina Valdivia Delgado. Diagnóstico Baseado em Modelos num Sistema Tutor Inteligente para Programação com Padrões Pedagógicos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Leliane Nunes de Barros.
22.   Marcio Calixto Cabral. Interação em ambientes de realidade virtual através de gestos utilizano visão computacional.. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2005.
Orientador: Carlos Hitoshi Morimoto.
23.   Marcos Yoshinori Nakashima. CV Lattes e Web-semântica. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Renata Wassermann.
24.   Ney Barros Luz. Análise Automática de desempenho de Classificadores e Técnicas de Classificação na Plataforma R. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Nina Sumiko Tomita Hirata.
25.   Patricia Megumi Matsumoto. Parser para geração de um modelo de componentes e conexões a partir de um programa em C. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, IBM. 2005.
Orientador: Leliane Nunes de Barros.
26.   Pavlos Bahia Konstadinidis. O Número Cromático de Grafos-distância sobre os Inteiros. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Yoshiharu Kohayakawa.
27.   Rafael Crivellari Saliba Schouery. Computador Hipo. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Roberto Hirata Junior.
28.   Renato José da Silva Carmo. Dois Problemas de Busca. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Yoshiharu Kohayakawa.
29.   Ricardo Koji Ushizaki. Um Arcabouço para Reconfiguração Dinâmica de Aplicações em Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Fabio Kon.
30.   Ricardo Yamamoto Abe. Editores de Configuração e softwares de implementação de pipelines. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2005.
Orientador: Alan Mitchell Durham.
31.   Roberto Pires de Carvalho. Sistemas de Arquivos Paralelos - Alternativas para a redução do gargalo no acesso ao sistema de arquivos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Alfredo Goldman vel Lejbman.
32.   Roberto Seiti Yamashiro. Projeto Nukenin. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2005.
Orientador: Siang Wun Song.
33.   Roberto Speicys Cardoso. Adaptação Dinâmica Utilizando Agentes Móveis em Computação Ubíqua. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Fabio Kon.
34.   Roger Ricardo Flores de Araujo. Algoritmos para Emparelhamentos. Iniciação Científica - Instituto de Matemática e Estatística, . 2005.
Orientador: José Coelho de Pina Junior.
35.   Rosianni de Oliveira Cruz. Modularização da Coleta de Lixo na Máquina Virtual de Pesquisa Jikes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Alan Mitchell Durham.
36.   Said Sadique Adi. Identificação de genes por comparação de seqüências. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Orientador: Carlos Eduardo Ferreira.
37.   Seiji Isotani. Desenvolvimento de ferramentas no iGeom: utilizando a geometria dinâmica no ensino presencial e a distâncias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Leônidas de Oliveira Brandão.
38.   Sergio Drumond Ventura. Tecnicas de otimizacao para estimacao de parametros de filmes finos. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Supervisor: Ernesto Julián Goldberg Birgin.
39.   Silvia Cristina Dias Pinto. Análise de formas 3D usando wavelets 1D, 2D e 3D. Tese (Doutorado em IFSC-USP - São Carlos) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Roberto Marcondes Cesar Junior.
40.   Sérgio Linares Filho. Análise de requisitos de software baseada em modelagem conceitual de dados e protótipos. Dissertação (Mestrado em Sistemas de Informação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2005.
Orientador: Valdemar Waingort Setzer.
41.   Thiago Schumacher Barcelos. Interfaces prestativas baseadas em visão computacional e informação de contexto. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2005.
Orientador: Carlos Hitoshi Morimoto.
42.   Ulisses Kendi Hayashida. Desenvolvimento de Algoritmos Paralelos para Aglomerados com a Técnica de Paralelização de Laços. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Siang Wun Song.
43.   Vladimir Moreira Rocha. Protocolos P2P para Interligação de Aglomerados em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Fabio Kon.

2004

1.   Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
2.   Alvaro Heiji Miyazawa. Uma Modelo Formal de Agentes Móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2004.
Orientador: Ana Cristina Vieira de Melo.
3.   Andrei Goldchleger. InteGrade: Um Sistema de Middleware para Computação em Grade Oportunista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Orientador: Fabio Kon.
4.   André Yoshiaki Kashiwabara. Scarsdb um banco de dados de marcadores genéticos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Alan Mitchell Durham.
5.   Bianca Bacci Fernandes. Design Patterns for DIP. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004.
Orientador: Roberto Hirata Junior.
6.   Bruno Fernandes Cerqueira Leite. Versões Probabilísticas de Resultados da Teoria Combinatória dos Números. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Yoshiharu Kohayakawa.
7.   Caetano Giminez Carezato. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Junior Barrera.
8.   Camila Garcia Nunes. Traffic analysis with image processing. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004.
Orientador: Roberto Hirata Junior.
9.   Carlos Eduardo Calabrez. Uma comparação entre diversas tecnologias de comunicação de objetos distribuídos em Java. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . 2004.
Orientador: Alfredo Goldman vel Lejbman.
10.   Carlos Henrique Cardonha. Computação Quântica: Complexidade e Algoritmos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Cristina Gomes Fernandes.
11.   Celso Oviedo da Silva Lopes. - VideoChat - Uma Ferramenta de Videoconferência Pessoal. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2004.
Orientador: Alfredo Goldman vel Lejbman.
12.   César Passoni. Traffic analysis with image processing. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004.
Orientador: Roberto Hirata Junior.
13.   Daniel André Vaquero. Projeto Multirresolução de Operadores Morfológicos a Partir de Exemplos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Supervisor: Roberto Hirata Junior.
14.   Daniel O. Dantas. Uma técnica automática para medida de sinal de imagens de cDNA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Junior Barrera.
15.   Daniel Vieira. Geração de Classificadores de Seqüências Genéticas Utilizando Inferência de Linguagens Regulares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Alan Mitchell Durham.
16.   David Corrêa Martins Junior. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Roberto Marcondes Cesar Junior.
17.   Eric Rodrigo Ramos. Design Patterns for DIP. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004.
Orientador: Roberto Hirata Junior.
18.   Fabiano Mitsuo Sato. Linguagens bidimensionais reconhecíveis. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2004.
Orientador: Nami Kobayashi.
19.   Felipe Werndl Trevizan. Robótica Cognitiva. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Leliane Nunes de Barros.
20.   Flavio Protasio Ribeiro. Uma Interface para o OpenCyc. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Renata Wassermann.
21.   Flávio Regis Arruda. Algoritmos paralelos para o problema da mochila. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Alfredo Goldman vel Lejbman.
22.   Fábio Correa Xavier. Sistema de autorização baseado em infra-estrutura de privilégios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Routo Terada.
23.   Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
24.   Glauber Ferreira Cintra. Algoritmos para Problemas de Corte de Guilhotina Bidimensional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Yoshiko Wakabayashi.
25.   Guilherme Pereira Vanni. List Ranking: Um Estudo Experimental. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Siang Wun Song.
26.   Gustavo P. Esteves. Validação de medidas de expressão gênica em imagens de microarray. Dissertação - Instituto Ludwig de Pesquisa sobre o Câncer, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Supervisor: Junior Barrera.
27.   Gustavo Tadao Okida. Índices para consultas por conteúdo em bancos de dados heterogêneos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: João Eduardo Ferreira.
28.   Henrique Pedreira de Freitas Ceribelli. Construção de imagens panorâmicas a partir de vídeo. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004.
Orientador: Carlos Hitoshi Morimoto.
29.   Jae Nam Choi. Montagem da via da proteina MT. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: André Fujita.
30.   Jorge Tonami. Implementação e análise de protocolos de Katz e Yung. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Routo Terada.
31.   Joselyto Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Renata Wassermann.
32.   Juliana Barby Simão. Fluxos em Redes. Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: José Coelho de Pina Junior.
33.   Leandro Bororo. Empacotamento de retangulos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Ernesto Julián Goldberg Birgin.
34.   Leandro César Prudente. Um Estudo sobre Teste versus Verificação Formal de Programas Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Ana Cristina Vieira de Melo.
35.   Leo Kazuhiro Ueda. Andante - Composição e Performance Musical Utilizando Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Orientador: Fabio Kon.
36.   Liliane Rose Benning Salgado. Algoritmos de Aproximação para Partições Conexas em Grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Yoshiko Wakabayashi.
37.   Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.
38.   Luiz Fernando dos Santos Pereira. ASIN - Um gerador gráfico de analisadores sintáticos. (Graduação em Bacahrelado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 2004.
Orientador: Valdemar Waingort Setzer.
39.   Marcel K. de Carli Silva. Computação Quântica: Complexidade e Algoritmos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Cristina Gomes Fernandes.
40.   Marcelo Hashimoto. Fluxos em Redes. Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: José Coelho de Pina Junior.
41.   Marcelo Luís Vinagreiro. Uma arquitetura distribuída para a busca de caminhos em grafos dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Alfredo Goldman vel Lejbman.
42.   Marcelo Nunes de Carvalho. Inteligência Artificial em Jogos de Tabuleiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.
43.   Marco Eugênio Madeira Di Beneditto. Descoberta de Regras de Classificação com Hierarquias Conceituais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Marinha do Brasil. 2004.
Orientador: Leliane Nunes de Barros.
44.   Marina Andretta. Metodos de restricoes ativas para minimizacao em caixas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Ernesto Julián Goldberg Birgin.
45.   Márcio Moretto Ribeiro. Revisão em lógica de descrições. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Renata Wassermann.
46.   Márcio Raul Medeiros Mimica. Desenvolvimento de um rastreador de olhar apropriado para interação humano computador. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Orientador: Carlos Hitoshi Morimoto.
47.   Nelio Alves Pereira Pinto. Serviços de pertinência para clusters de alta disponibilidade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Arnaldo Mandel.
48.   Nelson Guedes Paulo Junior. Animações para algoritmos em grafos. Iniciação Científica - Instituto de Matemática e Estatística, . 2004.
Orientador: José Coelho de Pina Junior.
49.   Nelson Posse Lago. Processamento Distribuído de Áudio em Tempo Real. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Orientador: Fabio Kon.
50.   Paula Akemi Nishimoto. A dotNet Grid Computer. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004.
Orientador: Roberto Hirata Junior.
51.   Paulo Roberto de Araújo França Nunes. Grafo de Controle de fluxo de objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Ana Cristina Vieira de Melo.
52.   Paulo Roberto de Araújo França Nunes. Fluxo de Objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Ana Cristina Vieira de Melo.
53.   Paulo Salem da Silva. Framework para cooperação entre ferramentas de verificação. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2004.
Orientador: Ana Cristina Vieira de Melo.
54.   Renato David Puga. Construção do transcriptoma de prostata. Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: André Fujita.
55.   Renato Senda. Ambientes interativos tridimensionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004.
Orientador: Carlos Hitoshi Morimoto.
56.   Robson Moron. Uma Ontologia Artificial para o Sistema Cambial Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.
57.   Rodrigo Assirati Dias. A dotNet Grid Computer. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004.
Orientador: Roberto Hirata Junior.
58.   Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
59.   Rodrigo Nonamor Pereira Mariano de Souza. Propriedades de Algumas Classes de Relações Racionais. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Nami Kobayashi.
60.   Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004.
Orientador: Renata Wassermann.
61.   Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2004.
Orientador: Marcelo Finger.
62.   Thiago Teixeira Santos. Detecção de cortes em sequências de vídeo. Dissertação - Instituto de Matematica e Estatistica, . 2004.
Orientador: Carlos Hitoshi Morimoto.
63.   Walter Mesquita. Uma Estratégia para Composiçaõ Formal de Frameworks. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . 2004.
Supervisor: Ana Cristina Vieira de Melo.
64.   Élcio Koiti Nakashima. Reconhecimento Automático de Placas de Veículos. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2004.
Orientador: Nina Sumiko Tomita Hirata.

2003

1.   Adilson de Jesus Sanchez. Uso de Redes Bayesianas no Gerenciamento de Manutenção de Software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
2.   Aldebaran Perseke. Tolopologia de Espaços de Estados em Planejamento com Variáveis Numéricas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Leliane Nunes de Barros.
3.   Alessandro Santiago dos Santos. Estratégias de Hand-off com balanceamento de carga para computação móvel. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Alfredo Goldman vel Lejbman.
4.   Alex Minoru Kusano. Projeto de Classificadores Lineares para Reconhecimento de Padrões em Amostras Pequenas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003.
Orientador: Ronaldo Fumio Hashimoto.
5.   Alexandre Noma. Análise Experimental de Algoritmos de Planaridade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientadores: José Coelho de Pina Junior, Cristina Gomes Fernandes.
6.   Ana Lúcia Lima Marreiros. Algoritmos Primal-duais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: José Coelho de Pina Junior.
7.   Andrew Yuan. Ontologias e a Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Renata Wassermann.
8.   André Gustavo de Andrade. Integração de Verificadores de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Ana Cristina Vieira de Melo.
9.   Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
10.   Ariane Machado-Lima. Predição Computacional de Genes de RNA. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Alan Mitchell Durham.
11.   Bruno Klava. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
12.   Bruno Pera. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Carlos Hitoshi Morimoto.
13.   Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
14.   Celina Maki Takemura. Análise de formas representadas por marcos utilizando características mono e multiescala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Roberto Marcondes Cesar Junior.
15.   Cesar Alison Monteiro Paixão. Implementação e análise comparativa de variações do criptossistema RSA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Routo Terada.
16.   Christian Fornos Klein. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
17.   Daniel de Angelis Cordeiro. Suporte para Aplicações com Conhecimento da Rede através de Pesquisa por Pacotes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Alfredo Goldman vel Lejbman.
18.   Daniela Akizuki. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
19.   Elcio Yukio Nanba. Escalonamento de tarefas em clusters de servidores SMP heterogeneos para aplicacoes de biologia molecular. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2003.
Supervisor: João Eduardo Ferreira.
20.   Eliete do Rocio Costacurta Quadros. Liderança na Construção da Organização de Aprendizagem. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
21.   Estela Maris Rodrigues. Algoritmos para Comparação de Árvores Filogenéticas e o Problema dos Pontos de Recombinação. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Yoshiko Wakabayashi.
22.   Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
23.   Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
24.   Fabio Henrique Nishihara. Um modelo continuo para o carregamento de paletes do produtor. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Ernesto Julián Goldberg Birgin.
25.   Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
26.   Fernando Mario de Oliveira Filho. Estratégias de Solução de Problemas de Otimização Combinatória. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Carlos Eduardo Ferreira.
27.   Francisco José da Silva e Silva. Adaptação Dinâmica de Sistemas Distribuídos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Supervisor: Fabio Kon.
28.   Fábio Murilo Ikeda. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
29.   Herbert Yutaka Watanabe. Configuração Automática de Sistemas na Plataforma Enterprise JavaBeans. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Fabio Kon.
30.   João Vitor Baldini Soares. Segmentação de imagens de retina usando wavelets. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Roberto Marcondes Cesar Junior.
31.   Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003.
Orientador: Renata Wassermann.
32.   Leonardo Marques Pinho. Descoberta Automática de Serviços. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Alfredo Goldman vel Lejbman.
33.   Luiz Henrique Mariano de Araújo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Nina Sumiko Tomita Hirata.
34.   Marcelo Camacho de Souza. Componente de controle transacional para integracao assincrona de bases de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: João Eduardo Ferreira.
35.   Marcelo M Amorim. Uma técnica de verificação formal para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
36.   Marcio Katsumi Oikawa. Integracao para dados e aplicacoes em biologia molecular computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: João Eduardo Ferreira.
37.   Marcos Eduardo Bolelli Broinzi. Genflow: um ambiente para integração de dados e processos em aplicações de bioinformática. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: João Eduardo Ferreira.
38.   Marcus Machado Sampaio Moyses. Teclado baseado no olhar. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2003.
Orientador: Carlos Hitoshi Morimoto.
39.   Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
40.   Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
41.   Roberto Soares Caldas. Animação de objetos rígidos baseado em modelos físicos.. (Graduando em Engenharia Elétronica Digital) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Carlos Hitoshi Morimoto.
42.   Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2003.
Orientador: Roberto Hirata Junior.
43.   Rodrigo Souza de Castro. Cache comprimido adaptativo: projeto, estudo e implementação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Alair Pereira do Lago.
44.   Waldyr Benits Jr. Sistemas criptográficos baseados em identidades pessoais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Routo Terada.
45.   Wendel Scardua. Interface Didática de um Sistema Tutor de Programação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, IBM. 2003.
Orientador: Leliane Nunes de Barros.
46.   Weslley Emmanuel Martins Lima. Uma biblioteca para simulação de protocolos de entrega de mensagens em redes móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Alan Mitchell Durham.

2002

1.   A B V Graciano. Rastreamento em Vídeo Baseado em Contornos. (Graduando em Computação) - Universidade de São Paulo, . 2002.
Orientador: Roberto Marcondes Cesar Junior.
2.   André Gustavo de Andrade. Ambiente amigável para especificação e verificação de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Ana Cristina Vieira de Melo.
3.   Antônio Carlos dos Santos. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
4.   Ariane Machado Lima de Oliveira. Laboratorio de geracao de classificadores de sequencias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Alan Mitchell Durham.
5.   Bianka M. M. Teixeira Goncalves. Alternativas para propagacao das atualizacoes de um banco de dados operacional para um data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: João Eduardo Ferreira.
6.   Carlos Eduardo Rodrigues Alves. Algoritmos Paralelos CGM/BSP para Comparação de Cadeias. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Siang Wun Song.
7.   Christian Asmussen. Programação eXtrema. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2002.
Orientador: Fabio Kon.
8.   Christian Rivolta Bernauer. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
9.   Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
10.   Danielle Passos de Ruchkys. Um Algoritmo de Aproximação Paralelo para Transversal Mínima com Aplicação em Análise da Expressão Gênica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Siang Wun Song.
11.   Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002.
Orientador: Renata Wassermann.
12.   Danilo Eiji Seki. Extensões do Magic Pointing. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002.
Orientador: Carlos Hitoshi Morimoto.
13.   David Martins Jr. Redução de dimensionalidade baseada na entropia condicional média. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Supervisor: Junior Barrera.
14.   Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
15.   Eduardo Kazuaki Gondo. Árvores k-Restritas e Aproximações para o Problema de Steiner em Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Cristina Gomes Fernandes.
16.   Eduardo Tengan. Automorfismos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Arnaldo Mandel.
17.   Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
18.   Emerson L N Tozette. Métodos de extração de esqueletos de vasos da retina. (Graduando em Computação) - Universidade de São Paulo, . 2002.
Orientador: Roberto Marcondes Cesar Junior.
19.   Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Flavio Soares Correa da Silva.
20.   Flávia Rainone. E-gene um editor genérico para configuração. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Alan Mitchell Durham.
21.   Isabel Italiano. Um Modelo hibrido para atualizacao de dados em projetos de data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: João Eduardo Ferreira.
22.   Isvi Correa Jr. Uma implementação do protocolo TLS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Routo Terada.
23.   Jair Donadelli Júnior. Resultados de Ramsey e de Densidade para Grafos Pseudo-aleatórios Esparsos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Yoshiharu Kohayakawa.
24.   João Carlos Neto. Criptografia - uma implementação do protocolo de micropagamento PayWord. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Routo Terada.
25.   Luciano Vieira de Araujo. CCICLO: Componente para cruzamento e integracao de objetos classificados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: João Eduardo Ferreira.
26.   Lucy Mari Tabuti. Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
27.   Luiz Henrique Mariano de Araujo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matemática e Estatística, . 2002.
Orientador: Nina Sumiko Tomita Hirata.
28.   Marcel Brun. Projetos de operadores morfológicos multi-escala por otimização estatística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Junior Barrera.
29.   Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
30.   Marlon Gripp Chermont. Laboratório Virtual de Ensino de Inteligência Artificial. (Graduando em Engenharia da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Leliane Nunes de Barros.
31.   Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002.
Supervisor: Yoshiharu Kohayakawa.
32.   Michel Koji Mizusaka. Uma aplicação de aprendizado não-supervisionado para desembaralhar imagens. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002.
Orientador: Roberto Hirata Junior.
33.   Nestor Walter Trepode. Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Junior Barrera.
34.   Paula Akemi Nishimoto. O uso do Mathcad para o auxílio no ensino de programação. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002.
Orientador: Roberto Hirata Junior.
35.   Paulo Eduardo Silveira. Panda - sistema de acompanhamento didático. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002.
Orientador: Carlos Hitoshi Morimoto.
36.   Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002.
Orientador: Roberto Hirata Junior.
37.   Rodrigo Vieira Couto. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
38.   Rogério Fajardo. Lógicas Modais. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Marcelo Finger.
39.   Shigueo Isotani. Algoritmos para Caminhos Mínimos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Orientador: José Coelho de Pina Junior.
40.   Silvio do Lago Pereira. Planejamento Abdutivo no Cálculo de Eventos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Orientador: Leliane Nunes de Barros.
41.   Tiago Schumacher Barcelos. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Carlos Hitoshi Morimoto.
42.   Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Marcelo Finger.
43.   Yang Yili. AcMus - Software para cálculo de parâmetros acústicos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Fabio Kon.

2001

1.   Alexandre Freire da Silva. XPUSP um sistema para atribuição didática. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Alfredo Goldman vel Lejbman.
2.   Anselmo H Kumazawa. Algoritmos genéticos para segmentação de imagens multiespectrais. (Graduando em Computação) - Universidade de São Paulo, . 2001.
Orientador: Roberto Marcondes Cesar Junior.
3.   Aritanan Borges Garcia Gruber. Algoritmos e Estruturas de Dados para Manutenção de Árvores Geradoras Mínimas em Grafos Dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Carlos Eduardo Ferreira.
4.   Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001.
Orientador: Ana Cristina Vieira de Melo.
5.   CARLOS HENRIQUE MAIA BRAGA. Meta Modelo para Controle Corporativo de Estratégia de Replicação de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: João Eduardo Ferreira.
6.   D da S Pires. Segmentação de imagens baseada em casamento de grafos. (Graduando em Computação) - Universidade de São Paulo, . 2001.
Orientador: Roberto Marcondes Cesar Junior.
7.   Emmanuel Kayembe Ilunga. Algoritmos Paralelos para Fecho Convexo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001.
Orientador: Siang Wun Song.
8.   Fabio Silva Dias. Programação Quadrática aplicada à Teoria Moderna de Finanças. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2001.
Orientador: Ernesto Julián Goldberg Birgin.
9.   Fernando Correa de Lima. Interface para programas de linguistica computacional. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
Orientador: Marcelo Finger.
10.   Flavio Protasio Ribeiro. Revisão de Crenças e Manutenção de Consistência. (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.
11.   Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Marcelo Finger.
12.   Gláucio S Lé. Métodos de clustering em bioinformática. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
13.   José Osvaldo Couto Horta. Estimativas de Entropia para Seqüências de DNA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: José Coelho de Pina Junior.
14.   Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
15.   Leo Kazuhiro Ueda. Automatos Finitos: Algoritmos e Estruturas de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matematica e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Nami Kobayashi.
16.   LEONARDO AUGUSTO TANIGUTI MANTOVANI. Uma alternativa para Simplificação de Sincronismo de Dados Temporais entre Ambientes Operacionais e Analíticos. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2001.
Orientador: João Eduardo Ferreira.
17.   Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
18.   Martha Ximena Torres Delgado. . Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Supervisor: Junior Barrera.
19.   Raphael Gustavo D'Almeida Vilamiu. Técnicas de Inteligência Artificial para Jogos - Sokoban. (Graduando em Bacharelado em Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Leliane Nunes de Barros.
20.   Renata Wassermann. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
Supervisor: Marcelo Finger.
21.   Roberto Hirata Jr. Projeto de operadores morfológicos para imagens e sinais: abordagem de reticulados finitos. Tese - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Junior Barrera.
22.   Rogerio S. Feris. Rastreamento Eficiente de Faces em um Subespaço Wavelet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
23.   Sirley Ambrosia Vitorio. Obsolescência de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
24.   Teofilo E. Campos. Técnicas de Seleção de Características com Aplicações em Reconhecimento de Faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
25.   Thiago Carvalho de Sousa. Revisão de Crenças e Banco de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.

2000

1.   André Casado Castanho. Desenvolvimento de um toolbox HTML para o Matlab. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Roberto Marcondes Cesar Junior.
2.   Carlos Ramon Pantaleon Dionisio. Geometria Computacional de Pontos em Movimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: José Coelho de Pina Junior.
3.   Cassio Polpo de Campos. Problemas Dinâmicos em Geometria Computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Carlos Eduardo Ferreira.
4.   Eduardo Garcia de Freitas. Problemas Cinéticos em Geometria Computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Carlos Eduardo Ferreira.
5.   Franklin Cesar Flores. Segmentação de vídeo digital por morfologia matemática. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Junior Barrera.
6.   Henrique Mongelli. Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000.
Orientador: Siang Wun Song.
7.   J. J. G. Leandro. Análise de formas de estruturas de ramificação. (Graduando em Computação) - Universidade de São Paulo, . 2000.
Orientador: Roberto Marcondes Cesar Junior.
8.   Marcio Grossi de Almeida. Números de Ramsey Induzidos e Semi-induzidos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: Yoshiharu Kohayakawa.
9.   Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000.
Supervisor: Flavio Soares Correa da Silva.
10.   Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
11.   Matthias Beck. Arithmetic properties of rational polytopes. Tese (Doutorado em Mathematics) - Temple University, . 2000.
Orientador: Sinai Robins.
12.   Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
13.   Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.
14.   Nina S. T. Hirata. Projeto automático de operadores explorando conhecimento a priori. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Junior Barrera.
15.   Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
16.   Rodrigo Nonamor Pereira Mariano de Souza. Automatos e Algoritmos de Busca de Padroes. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Nami Kobayashi.
17.   Ronaldo Fumio Hashimoto. Mudança de estrutura de representação de operadores em morfologia matemática. Tese - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000.
Orientador: Junior Barrera.
18.   Said Sadique Adi. Ferramentas de auxílio ao seqüenciamento de DNA por montagem de fragmentos: um estudo comparativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000.
Orientador: Carlos Eduardo Ferreira.
19.   Valdinei Freire da Silva. Simulador Gráfico de Expressões Faciais para Interação Homem Computador. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Carlos Hitoshi Morimoto.
20.   Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.


(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 21/03/2024 19:56:27