Programa de Pós Graduação em Ciência da Computação

Total de orientações concluídas


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

2015

36.   Flávia Shirata. Empacotamento de moléculas para simulação de dinâmica molecular. (Graduando em Engenharia Química) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Gabriel Haeser.
37.   Frederico Sousa Oliveira. Gerenciamento da Dívida Técnica em projetos de software utilizando Scrum: Uma pesquisa-ação. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
38.   Gabriel Augusto Bianchi Azevedo Ferreira. Olhando para a cidade: Big Data e visão computacional para análise de ambientes urbanos. (Graduando em Engenharia Mecânica - Ênfase em Mecatrônica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Roberto Marcondes Cesar Junior.
39.   Gabriel dos Santos Silva. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
40.   Gabriel Ferreira Guilhoto. Avaliação de sistemas NoSQL para o gerenciamento de dados em workflows científicos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Kelly Rosa Braghetto.
41.   Grupo de alunos (ver campo Outras Informações). Inteligência Artificial Adaptativa para um Jogo de Tower Defense. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2015.
Orientador: Ricardo Nakamura.
42.   Gustavo Augusto Lima de Campos. Agentes Racionais em Campanhas em Campos de Batalha Não Convencionais. Universidade de São Paulo, . 2015.
Supervisor: Jaime Simão Sichman.
43.   Gustavo Rodrigues Coelho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
44.   Hans Harley Ccacyahuillca Bejar. Conexidade Fuzzy Relativa em Grafos Dirigidos e sua Aplicação em um Método Híbrido para Segmentação Interativa de Imagens. 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. 2015.
Orientador: Paulo André Vechiatto de Miranda.
45.   Hebert Dougles de Almeida Santos. Evoluindo uma plataforma de rede de colaboração social para um ambiente de aprendizagem virtual. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2015.
Orientador: Paulo Roberto Miranda Meirelles.
46.   Henrique Morimitsu. . Universidade de São Paulo, . 2015.
Supervisor: Roberto Marcondes Cesar Junior.
47.   Henrique Morimitsu. A graph-based approach for online multi-object tracking in structured videos with an application to action recognition. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Roberto Marcondes Cesar Junior.
48.   Henrique Stagni. Teste de propriedades em torneios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Yoshiharu Kohayakawa.
49.   Igor Fabio Steinmacher. Supporting newcomers to overcome the barriers to contribute to open source software projects. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Marco Aurélio Gerosa.
50.   James Santos. Uma abordagem de estratégia ótima para resseguro por teoria de programação cônica de segunda ordem. (Graduação em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, Instituto de Matemática e Estatística. 2015.
Orientador: Gabriel Haeser.
51.   Jorge Luis Guevara Dias. Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Hirata Junior.
52.   Jorge Luis Torrejon. Aproximação Numérica à Convolução de Mellin via Mistura de Exponenciais. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Julio Michael Stern.
53.   José Teodoro da Silva. Desambiguação de autoria em listas de discussão de projetos de software livre. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marco Aurélio Gerosa.
54.   Jéssica Yumi Kojima. Bancos de dados de imagens: uma aplicação em Neurociência. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Kelly Rosa Braghetto.
55.   Karina Suemi Awoki. Algoritmos para bissecção em árvores. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Cristina Gomes Fernandes.
56.   Kevin Tebib. Amélioration de la sélection de plan BDI dans un contexte normatif et spatio- temporel. (Science et Technologie du Logiciel) - Université Pierre et Marie Curie, . 2015.
Orientador: Anarosa Alves Franco Brandão.
57.   Leandro de Araujo Lima. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Ronaldo Fumio Hashimoto.
58.   Leandro Ticlia de La Cruz. Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Nina Sumiko Tomita Hirata.
59.   Lehilton Lelis Chaves Pedrosa. Algoritmos de Aproximação para Problemas de Projeto de Rede com Restrições. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Supervisor: Cristina Gomes Fernandes.
60.   Leonardo Nagami Coregliano. Flag algebras and tournaments. 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. 2015.
Orientador: Yoshiharu Kohayakawa.
61.   Leticia da Silva Rodrigues. Coordenação de Agentes para a Robocup Rescue Agent Simulation. (Graduando em Engenharia de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Jaime Simão Sichman.
62.   Liliane Santana Oliveira. Caracterização de Sequências Virais em Metagenomas. Tese (Doutorado em Interunidades em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Alan Mitchell Durham.
63.   Luan Guimarães Lacerda. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
64.   Lucas Albuquerque Medeiros de Moura. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
65.   Lucas Dário. ODA : Open Dynamic Audio - Middleware para manipulação de trilhas sonoras dinâmicas em jogos digitais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Gomes de Queiroz.
66.   Lucas Kanashiro Duarte. Modelos de Predição para Monitoramento de Métricas de Ameaças de Vulnerabilidade de Código Fonte. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2015.
Orientador: Paulo Roberto Miranda Meirelles.
67.   Lucas Severo Alves. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
68.   Luis Gustavo Nardin. An adaptive sanctioning enforcement model for normative multiagent systems. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Escola Politécnica, . 2015.
Orientador: Jaime Simão Sichman.
69.   Luis Gustavo Rocha Vianna. Programação Dinâmica, Assíncrona e Aproximada para HMDPs. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Leliane Nunes de Barros.
70.   Luiz Fernando Gomes de Oliveira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
71.   Lukas Takeshi Rodrigues Palma, Márcio Sakamoto Shibao. Suricato: Um sistema para facilitar reuniões de melhoria contínua. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
72.   Lulu Wu. Um método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomas. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Junior Barrera.
73.   Luís F. S. X. da Silveira. Algoritmos para união de círculos e polígonos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Cristina Gomes Fernandes.
74.   Marcio Fernando Stabile Jr. Melhorando o desempenho de agentes BDI Jason através de filtros de percepção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Jaime Simão Sichman.
75.   Marcio Takashi Oshiro. Clustering de trajetórias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Cristina Gomes Fernandes.
76.   Marcos E. B. Broinizi. Ordenação evolutiva de anúncios em publicidade computacional.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: João Eduardo Ferreira.
77.   Marcos Ronaldo Pereira Júnior. Estudo da correlação entre métricas de código fonte do sistema Android e seus aplicativos. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2015.
Orientador: Paulo Roberto Miranda Meirelles.
78.   Marcos Ronaldo Pereira Júnior. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
79.   Maria José Guimarães de Souza. MOOC de Geometria: discussões e proposta de um modelo para a educação básica. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2015.
Orientador: Leônidas de Oliveira Brandão.
80.   Mariana Izukawa. Mulher Entre Espelhos: Personagens femininas customizáveis nos videogames. (Graduação em Design) - Universidade de São Paulo, . 2015.
Orientador: Ricardo Nakamura.
81.   Marion Fidéline Cayla-Faure. Aplicativo com gamificação para acompanhar alunos brasileiros na aprendizagem do francês. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2015.
Orientador: Ricardo Nakamura.
82.   Marta Magda Dornelles. Construção e seleção de janelas na combinação de W-operadores. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Nina Sumiko Tomita Hirata.
83.   Marylia Gutierrez. Técnicas de interação em superfícies multitoque. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2015.
Orientador: Ricardo Nakamura.
84.   Matheus Souza Fernandes. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
85.   Maurício Cirelli. Técnicas de reconhecimento de gestos em superfícies multitoque. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2015.
Orientador: Ricardo Nakamura.
86.   Maxwell Almeida Santos. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
87.   Mayara Cassia de Melo. Análise Computacional das Decisões de Tribunais Superiores Brasileiros. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Finger.
88.   Milton Y. Nishiyama Jr. Desenvolvimento da Plataforma CaneRegNet para Anotação Funcional e Análise do Transcriptoma da Cana-de-Açucar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: João Eduardo Ferreira.
89.   Monna Cleide F. R. dos Santos. O ecossistema de startups de software da cidade de São Paulo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Fabio Kon.
90.   Márcia Roberta dos Santos Pires da Silva. iComb: Estudo e Projeto Participativo para Redefinição de um Sistema para Ensino-Aprendizagem de Combinatória. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2015.
Orientador: Leônidas de Oliveira Brandão.
91.   Mário César San Felice. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: Cristina Gomes Fernandes.
92.   Natália Marques de Oliveira. Recomendação dinâmica de músicas baseada em agrupamentos. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2015.
Orientador: Jaime Simão Sichman.
93.   Paulo Henrique Tada Ferreira Santos. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
94.   Pedro Alves de Medeiros Scocco, Wagner Ferreira Alves. Aplicando Técnicas de Lean Startup em Desenvolvimento de Software. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
95.   Pedro de Lyra Pereira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
96.   Pedro Ivo Siqueira Nepomuceno. a ser definido. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: André Fujita.
97.   Qilin Zhang. Systemes multi-agents et lignes de produit pour mieux explorer l'espace. (Science et Technologie du Logiciel) - Université Pierre et Marie Curie, . 2015.
Orientador: Anarosa Alves Franco Brandão.
98.   Rafael Durbano Lobato. Empacotamento de elipsoides. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Ernesto Julián Goldberg Birgin.
99.   Rafael Mathias Ferreira. Arcabouço probabilístico para análise de sequências de RNA. 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. 2015.
Orientador: Alan Mitchell Durham.
100.   Rafael Mota Gregorut. Mining Test Cases to generate properties. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Ana Cristina Vieira de Melo.
101.   Rafael Perazzo Barbosa Mota. Mecanismos para a Melhoria do Desempenho de Sistemas RFID Passivos. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Daniel Macêdo Batista.
102.   Raucer Curdulino. Algoritmo baseado em técnicas de Monte Carlo para resolver o problema de roteamento de estoque com demandas estocásticas. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2015.
Orientador: Karina Valdivia Delgado.
103.   Reginaldo do Prado. iPlan - Uma Linha de Produto de Software baseada em Padrões Pedagógicos para Gerar Planos de Aulas em Ambientes Aprendizagem via Web. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Leônidas de Oliveira Brandão.
104.   Renan Butkeraites. Otimização quadrática aplicada ao problema de detecção de tumores. (Graduando em Bacharelado em Ciência e Tecnologia) - Universidade Federal de São Paulo, campus São José dos Campos, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Gabriel Haeser.
105.   Renan Teruo Carneiro, Vitor Cerqueira Santos. Aplicando o Arcabouço OpenTuner a Jogos Digitais. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
106.   Ricardo Carvalho. Problemas de Otimização no Futebol. (Graduação em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, Instituto de Matemática e Estatística. 2015.
Orientador: Gabriel Haeser.
107.   Roberto Piassi Passos Bodo. Técnicas determinísticas para acompanhamento musical automatizado. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Gomes de Queiroz.
108.   Romenig da Silva Ribeiro. Construção e uso de ambiente visual para o ensino de programação introdutória. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Leônidas de Oliveira Brandão.
109.   Shayenne da Luz Moura. Timbre e percepção de consonância. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Marcelo Gomes de Queiroz.
110.   Silvia Cristina Dias Pinto. Aprendizado estrutural e wavelets. Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: Roberto Marcondes Cesar Junior.
111.   Simião Correia Lima de Carvalho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
112.   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. 2015.
Orientador: Ana Cristina Vieira de Melo.
113.   Stefany Fernandes. Tópicos em Otimização. (Graduando em Engenharia Civil) - Pontifícia Universidade Católica de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Gabriel Haeser.
114.   Suzana de Siqueira Santos. Análise de redes biológicas: estudo comparativo de medidas de dependência e uma ferramenta computacional para discriminar grafos. 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. 2015.
Orientador: André Fujita.
115.   Sérgio Nery Simões. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Ronaldo Fumio Hashimoto.
116.   Tallys Gustavo Martins. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
117.   Thiago de Souza Fonseca Ribeiro. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
118.   Thiago Furtado de Mendonça. Um middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Fabio Kon.
119.   Tomáz Felipe Rodrigues martins. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
120.   Vinicius Capellari Martins. A condição mais fraca que garante a existência de multiplicadores de Lagrange. (Graduando em Bacharelado em Ciência e Tecnologia) - Universidade Federal de São Paulo, campus São José dos Campos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Gabriel Haeser.
121.   Vinicius Kiwi Daros. Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS. 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. 2015.
Orientador: Flavio Soares Correa da Silva.
122.   Willy Arthur Silva Reis. Algoritmos de Iteração de Política Robusta Assíncrona e Distribuída para Processos de Decisão Markovianos com Probabilidades Definidas por Intervalos. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2015.
Orientador: Karina Valdivia Delgado.
123.   Wonder Alexandre Luz Alves. Últimos Levelings: Conceitos, propriedades, algoritmos e aplicações em Processamento e Análise de Imagens. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Ronaldo Fumio Hashimoto.
124.   Yan Soares Couto. Árvores geradoras aleatórias. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2015.
Orientador: Marcel Kenji de Carli Silva.
125.   Álvaro Fernando Matos de Souza. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.

2014

1.   Adèle Helena Ribeiro. Análise de expressõ es gênicas com erros de medida e aplicação em dados reais. 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. 2014.
Orientador: Roberto Hirata Junior.
2.   Alander Pereira dos Santos. Definição de novas abordagens de análise de eficiência de suites de teste (FAPESP: 2013/27112-3). Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Ana Cristina Vieira de Melo.
3.   Alessandro Calò. Extração de informações jurídicas públicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
4.   Alex de Souza Campelo Lima. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
5.   Alex Takata. Ferramenta de acessibilidade adaptável aos daltônicos e às redes móveis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
6.   Alexandre Almeida Barbosa. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
7.   Alexandre Camargo Guarnieri Suetholz. Simulação de Surdinas em Trompetes Através de Filtros Digitais. (Graduando em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Marcelo Gomes de Queiroz.
8.   Alexandre Locci Martins. Teste e verificação formal do comportamento excepcional de programas 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. 2014.
Orientador: Ana Cristina Vieira de Melo.
9.   Alexandre Locci Martins. Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4). Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Ana Cristina Vieira de Melo.
10.   Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
11.   Allan Diego Silva Lima. SORM: Social Opinion Relevance Model. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Escola Politécnica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Jaime Simão Sichman.
12.   Anderson Koyama Vieira. Design Generativo - Estudo exploratório sobre o uso de programação no design. (Graduação em Design) - Universidade de São Paulo, . 2014.
Orientador: Ricardo Nakamura.
13.   Arthur de Moura Del Esposte. Cenário de Decisões Baseado em Métricas de Software: Definição e Implementação de Cenários a partir de Métricas de Produto e de Vulnerabilidade para Tomada de Decisão. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
14.   Arthur Del Esposte. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
15.   Athos Coimbra Ribeiro. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
16.   Bruno Klava. Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Nina Sumiko Tomita Hirata.
17.   Bárbara A. de Castro e Silva, Leonardo Santana Oliveira. Projeto Tiktak. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
18.   Camila Ferreira Pereira Silva. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Carlos Filipe Lima Bezerra. Cenário de Decisões Baseado em Métricas de Software: Definição e Implementação de Cenários a partir de Métricas de Produto e de Vulnerabilidade para Tomada de Decisão. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
20.   Carlos Gean Rodrigues Lopes. Análise das dependências dos pesquisadores com bolsa de produtividade no Brasil. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2014.
Orientador: Karina Valdivia Delgado.
21.   Daniel Baptista Dias. Programação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Karina Valdivia Delgado.
22.   Daniel Costa Bucher. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
23.   Danilo Aleixo Gomes de Souza. Criação de testes para um software embarcado critico espacial. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ana Cristina Vieira de Melo.
24.   David Carlos de Araújo Silva. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
25.   Diogo Ferreira da Costa Patrão. DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA. Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, . 2014.
Supervisor: Renata Wassermann.
26.   Duílio Henrique Haroldo Elias. Análise do Impacto dos Fluxos de Dados no Desempenho de Workflows Científicos. (Graduando em Ciência da Computação) - Universidade de São Paulo, Reitoria da Universidade de São Paulo. 2014.
Orientador: Kelly Rosa Braghetto.
27.   Edênis Freindofer Azevedo. Método primal-dual para o problema de Steiner com coleta de prêmios. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Cristina Gomes Fernandes.
28.   Emílio de Camargo Francesquini. Dealing with actor runtime environments on hierarchical shared memory multi-core platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.
29.   Eric Ossami Endo. Aproximação da norma de corte via a desigualdade de Grothendieck. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiharu Kohayakawa.
30.   Fabio Tisovec. Problema de Intervenção em Redes Gênicas Modelado como um Processo de Decisão Markoviano Fatorado. 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. 2014.
Orientador: Leliane Nunes de Barros.
31.   Felipe Breve Siola. Transformações Hit-or-miss para imagens tons de cinza. 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. 2014.
Orientador: Nina Sumiko Tomita Hirata.
32.   Fernando de Carvalho Prévidi Nunes. Resolvendo o Problema de Roteamento de Veículos com Algoritmos Genéticos. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2014.
Orientador: Karina Valdivia Delgado.
33.   Filipe Morgado Simões de Campos. Espelho virtual interativo para simulação de maquiagem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Carlos Hitoshi Morimoto.
34.   Fillipe Manoel Xavier Resina. Revisão de Crenças em Lógicas de Descrição - Um Plug-In para o Protégé. 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. 2014.
Orientador: Renata Wassermann.
35.   Fábio Teixeira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
36.   Gabriel Cordaro. Avaliação de técnicas de interação para um jogo digital em superfície multitoque. (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, UNIVERSIDADE DE SÃO PAULO - PRÓ-REITORIA DE GRADUAÇÃO. 2014.
Orientador: Ricardo Nakamura.
37.   Gabriel Preti. Ferramentas estatísticas e computacionais na análise de fraudes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Hirata Junior.
38.   Gabriel Rezende Nahas. Busca de Genes Impactantes na Estabilidade de Redes Booleanas. (Graduando em Abi - Engenharia) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ronaldo Fumio Hashimoto.
39.   Gabriela Matias Navarro. Gabriela Matias Navarro. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
40.   Grupo de alunos (vide campo Outras Informações). Jogos Digitais em Múltiplos Dispositivos. (Graduação em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, . 2014.
Orientador: Ricardo Nakamura.
41.   Guilherme de Maio Nogueira. Improving fault tolerance support in wireless sensor network macroprogramming. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Comissão Europeia. 2014.
Orientador: Marco Aurélio Gerosa.
42.   Guilherme Feulo do Espírito Santo. Processamento Sonoro em Tempo Real. (Graduando em Matemática) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Gomes de Queiroz.
43.   Gustavo Jaruga Cruz. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
44.   Henrique Cabral de Souza Rodrigues. CHD7 expression and glioblastoma multiforme life expectancy. (Graduação em Matemática Aplicada Com Habilitação em Ciências Biológicas) - Universidade de São Paulo, . 2014.
Orientador: André Fujita.
45.   Igor Bonadio. Predição de Genes Utilizando Modelos de Covariância. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alan Mitchell Durham.
46.   Igor Guimarães Dias. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
47.   Jackson José de Souza. Identificação de alertas de segurança virtual veiculados em redes sociais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Daniel Macêdo Batista.
48.   John Lenon Gardenghi. Um método de pontos interiores primal-dual viável para minimização com restrições lineares. 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. 2014.
Orientador: Ernesto Julián Goldberg Birgin.
49.   Jorge J. Gomes Leandro. Análise de formas usando wavelets em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Marcondes Cesar Junior.
50.   José David Curado. Tipicalidade em Lógicas de Descrição. 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. 2014.
Orientador: Renata Wassermann.
51.   José Pedro de Santana Neto. Solução Computacional para Reconhecimento de Harmonias Musicais. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
52.   José Roberto Alves Rodrigues. iQuiz - Ambiente de autoria para Avaliação do Aprendizado no Moodle. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014.
Orientador: Leônidas de Oliveira Brandão.
53.   Jônatas Medeiros de Mendonça. Técnicas de usabilidade e testes automatizados em processos de desenvolvimento de software empírico. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
54.   Leonardo Alexandre Ferreira Leite. Implantação automatizada de composições de serviços web de grande escala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Comissão Europeia. 2014.
Orientador: Marco Aurélio Gerosa.
55.   Lilianne Mariko Izuti Nakazono. Separação de estrelas e quasares em imagens multiespectrais. (Graduando em Astronomia) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Nina Sumiko Tomita Hirata.
56.   Lucas Kanashiro Duarte. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
57.   Lucas Magno. Uma Ferramenta de Software para a Predição de Desempenho de Workflows Científicos. (Graduando em Física) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Kelly Rosa Braghetto.
58.   Luciano Kenji Sugiura. Beerspot - vivendo uma startup. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Fabio Kon.
59.   Luciano Menasce Rosset. Uso de Sanções na Formação e Manutenção de Parcerias entre Agentes Autônomos. (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, Santander-USP. 2014.
Orientador: Jaime Simão Sichman.
60.   Luciano Prestes Cavalcanti. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
61.   Ludmila Ferreira Vicente da Silva. Verificação e Validação de Software Embarcado. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ana Cristina Vieira de Melo.
62.   Luiz Fernando de Freitas Matos. Conversão de metadados Dublincore para RDF: Integração para bibliotecas de Participação Social. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
63.   Luiz Fernando de Freitas Matos. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
64.   Maciel Calebe Vidal. Análise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: André Fujita.
65.   Macártur de Sousa Carvalho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
66.   Maison Melotti. CREAMA: Uma Arquitetura de Referência para o Desenvolvimento de Aplicações Colaborativas Móveis Baseados em Componentes. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2014.
Supervisor: Marco Aurélio Gerosa.
67.   Marcel Kenji de Carli Silva. . Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Yoshiko Wakabayashi.
68.   Marcelo Matheus Gauy. Erdős-Ko-Rado em famílias aleatórias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiharu Kohayakawa.
69.   Marcelo Valentim de Oliveira. Um estudo empírico sobre classificação de símbolos matemáticos manuscritos. 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. 2014.
Orientador: Nina Sumiko Tomita Hirata.
70.   Marcos Masanobu Takahashi. Estudo comparativo de algoritmos de recomendação. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Hirata Junior.
71.   Maria Viviane de Menezes. Mudanças em Problemas de Planejamento sem Solução. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Leliane Nunes de Barros.
72.   Mariana Ramos Franco. Avaliação Organizacional de Times de Agentes para o Multi-Agent Programming Contest. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2014.
Orientador: Jaime Simão Sichman.
73.   Matheus de Sousa Faria. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
74.   Mauricio Garcia Franco do Nascimento. iRepositório - Repositório Interativo de Conteúdos Digitais para cursos baseados na Internet. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014.
Orientador: Leônidas de Oliveira Brandão.
75.   Max Rosan dos Santos Junior. Mecanismos para consolidação de servidores. 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. 2014.
Orientador: Daniel Macêdo Batista.
76.   Mirtha Lina Fernández Venero. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Flavio Soares Correa da Silva.
77.   Parley Pacheco Martins. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
78.   Patricia Araujo de Oliveira. Seleção de Serviços Web em Coreografias. 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. 2014.
Orientador: Daniel Macêdo Batista.
79.   Paulo Passos Neto. Jogo com Geração Procedural de Conteúdo. (Graduação em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, . 2014.
Orientador: Ricardo Nakamura.
80.   Paulo Victor Teixeira Eufrásio. Pares Ramsey infinitos. 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. 2014.
Orientador: Yoshiharu Kohayakawa.
81.   Pedro Henrique Rocha Bruel. Interfaces em Sistemas Multiagentes Musicais. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Marcelo Gomes de Queiroz.
82.   Pedro Losco Takecian. Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2014.
Orientador: João Eduardo Ferreira.
83.   Pedro Lucinio. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2014.
Orientador: André Fujita.
84.   Pierre Yves Andrews. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Flavio Soares Correa da Silva.
85.   Priscilla Barreira Avegliano. A two-phase method for parameter calibration in agent-based social simulations. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2014.
Orientador: Jaime Simão Sichman.
86.   Rafael Crivellari Saliba Schouery. Problemas de alocação e precificação de itens. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Cristina Gomes Fernandes.
87.   Raphael Mendes Cóbe. Integração entre múltiplas ontologias: reúso e gerência de conflitos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Renata Wassermann.
88.   Rebeca Cohen. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2014.
Orientador: André Fujita.
89.   Renan Brito Butkeraites. Introdução à Otimização Linear. (Graduando em Bacharelado em Ciência e Tecnologia) - Universidade Federal de São Paulo, campus São José dos Campos. 2014.
Orientador: Gabriel Haeser.
90.   Renan Costa Filgueiras. Mezuro, Evolução de Software Livre: Da Arquitetura à Experiência do Usuário.. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
91.   Renato Moreno Takakura. Análise do algoritmo de busca tabu para o problema do roteamento de veículos capacitados. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2014.
Orientador: Karina Valdivia Delgado.
92.   Renato Scaroni. Desenvolvimento de um protocolo de rede local P2P e de um plugin para o motor de jogos Unity 3D. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Daniel Macêdo Batista.
93.   Renzo Gonzalo Gomez Diaz. Cobertura de grafos por caminhos não triviais. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiko Wakabayashi.
94.   Renzo Gonzalo Gomez Diaz. Empacotamento de árvores em grafos completos. 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. 2014.
Orientador: Yoshiko Wakabayashi.
95.   Ricardo Boccoli Gallego. Inferência de Redes Booleanas com Estrutura de Atratores Prescrita como Problema da Satisfação de Restrições. (Graduando em Abi - Engenharia) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ronaldo Fumio Hashimoto.
96.   Rodrigo Medeiros Soares da Silva. Técnicas de usabilidade e testes automatizados em processos de desenvolvimento de software empírico. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
97.   Rodrigo Siqueira de Melo. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
98.   Rogério Chaves. Um estudo sistemático sobre identificação e gerenciamento de Dívida Técnica em uma empresa de tecnologia com desenvolvimento baseado em Scrum. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
99.   Rômulo Augusto de Carvalho Oliveira. Implementação de algoritmos de roteamento de veículos capacitados utilizando Métodos de Monte Carlo. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2014.
Orientador: Karina Valdivia Delgado.
100.   Steven Tsukamoto. Algoritmo Multin ́ıvel de Deteção de Comunidades em Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
101.   Susanna Figueiredo de Rezende. Caminhos mais longos em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Yoshiko Wakabayashi.
102.   Thales Areco Bandiera Paiva. Computação Verde na Camada de Aplicação. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
103.   Victor Peraro Barbosa. Análise do algoritmo heurístico baseado em centroide para resolver o problema do roteamento de veículos capacitados. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2014.
Orientador: Karina Valdivia Delgado.
104.   Vinicius Capellari Martins. Aspectos teóricos de Otimização Linear. (Graduando em Bacharelado em Ciência e Tecnologia) - Universidade Federal de São Paulo, campus São José dos Campos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Gabriel Haeser.
105.   Vinicius Rafael Neris dos Santos. Detecção e Classificação Automática de Interferências no Subsolo com GPR Utilizando Redes Neurais Artificiais (RNAs): Estudo no SCGR do IAG/USP. Tese (Doutorado em Geologia Geral e Aplicacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Nina Sumiko Tomita Hirata.
106.   Vinícius Gama Pinheiro. The management of multiple submissions in parallel systems: the fair scheduling approach. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.
107.   Vinícius Vieira Meneses. Mezuro, Evolução de Software Livre: Da Arquitetura à Experiência do Usuário.. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
108.   Wagner Fernando Barongello Santos. Novas Técnicas de Processamento e Análise de Imagens usando Grafos e suas Implementações em uma Ferramenta Online para Processamento 2D e 3D de Imagens Médicas e Naturais. (Graduando em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Paulo André Vechiatto de Miranda.
109.   Yuri Gomes de Abreu. Identificação de variáveis associadas a doenças cardiovasculares utilizando técnicas estatístico-computacionais. Iniciação Científica - Escola Politécnica, Pró-reitoria de pesquisa da Universidade de São Paulo. 2014.
Orientador: André Fujita.

2013

1.   Alan Dabien Barroso. Uso de Técnicas de Coordenação entre Agentes para Operações de Resgate em Ambientes de Desastre Urbano. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2013.
Orientadores: Jaime Simão Sichman, Anarosa Alves Franco Brandão.
2.   Alberto Bueno Júnior. neteVolve: Algoritmo e Simulador para Evolução de Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Daniel Macêdo Batista.
3.   Alex Takata. Ferramenta de acessibilidade adaptável aos daltônicos e às redes móveis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
4.   Alexandre Yukio Harano. Uma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantes. 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. 2013.
Orientador: Ronaldo Fumio Hashimoto.
5.   Aline Andrade. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Renata Wassermann.
6.   Almir Alves Pereira. CandyTex - editor LaTeX On-line. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
7.   Anderson Fraiha Machado. Conversão de Voz Inter-Linguística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Marcelo Gomes de Queiroz.
8.   André Jucovsky Bianchi. Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo. 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. 2013.
Orientador: Marcelo Gomes de Queiroz.
9.   André Spanguero Kanayama. Distribuição de carga em execução de scripts no sistema VisionDataset. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
10.   Arnaldo Câmara Lara. Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Roberto Hirata Junior.
11.   Artur dos Santos Lisboa Varandas. Um estudo sobre comportamento de usuários de jogos para aparelhos mobile baseado em dados quantitativos. (Graduação em Design) - Universidade de São Paulo, . 2013.
Orientador: Ricardo Nakamura.
12.   Bruno Henrique de Souza. Algoritmo de Iteração de Política Síncrono Robusto para Processos de Decisão Markovianos com probabilidades definidas por intervalos.. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2013.
Orientador: Karina Valdivia Delgado.
13.   Caio Cesar Moreira. Software para Treinamento de Regência em Canto Coral. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Ronaldo Fumio Hashimoto.
14.   Calvin Rodrigues da Costa. Linguagem de modelagem em otimização. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Paulo, Instituto de Ciência e Tecnologia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Gabriel Haeser.
15.   Camila Fernandez Achutti. Um Estudo do Uso do Java Pathfinder na Verificação e Validação de Softwares Espaciais (FAPESP: 2012/16913-2). (Graduando em Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Ana Cristina Vieira de Melo.
16.   Carlos Augusto Prete Junior. Reconhecimento de Padrões por Floresta de Caminhos em Grafos com Funções de Conexidade Não Suaves. (Graduando em Engenharia Elétrica - Ênfase em Sistemas Eletrônicos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Paulo André Vechiatto de Miranda.
17.   Carlos Leonardo Herrera Muñoz. Componentes para interoperabilidade entre redes sociais na Web 2.0. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marco Aurélio Gerosa.
18.   Carlos Morais de Oliveira Filho. Kalibro: Interpretação de métricas de código-fonte. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientadores: Fabio Kon, Paulo Roberto Miranda Meirelles.
19.   Charles Ferreira dos Santos. Novas condições de qualificação em otimização não linear. (Graduando em Matemática Computacional) - Universidade Federal de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Gabriel Haeser.
20.   Claudia de Oliveira Melo. Productivity of Agile Teams: An Empirical Evaluation of Factors and Monitoring Processes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Fabio Kon.
21.   César Israel Hernández Vélez. Problemas topológicos e estruturais em teoria dos grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Cristina Gomes Fernandes.
22.   Daniel Costa Bucher. Redes de colaboração social para as universidades brasileiras: um estudo de caso de implantação e desenvolvimento distribuído de uma plataforma livre na Universidade de Brasília. (Graduação em Engenharia de Software) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Paulo Roberto Miranda Meirelles.
23.   Daniel Javier Casani Delgado. Planejamento Probabilístico como busca no espaço de transições de estados. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Leliane Nunes de Barros.
24.   DANIEL LEMESZENSKI. Técnica de reconstrução geométrica da superfície do corpo humano baseada em múltiplos sensores de profundidade para aplicação em teleconferência imersiva. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2013.
Orientador: Ricardo Nakamura.
25.   Daniel Mendes Azerêdo. Pesquisas sob amostragem informativa utilizando o FBST. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Julio Michael Stern.
26.   Daniel Mendes Azerêdo. Pesquisas sob amostragem informativa utilizando o FBST. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Julio Michael Stern.
27.   Daniela Sayuri Yassuda. Elaborando fragmentos do método Prometheus com apoio do Medee Framework. (Graduando em Engenharia Elétrica (enfase em Computação)) - Escola Politécnica da Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Anarosa Alves Franco Brandão.
28.   Daniele Yumi Sunaga de Oliveira. Biologia Computacional aplicada para a análise de dados em larga escala. Tese (Doutorado em Ciências Biológicas (Genética)) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Ronaldo Fumio Hashimoto.
29.   Danilo de Jesus da Silva Bellini. AudioLazy: Processamento Digital de Sinais Expressivo e 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. 2013.
Orientador: Marcelo Gomes de Queiroz.
30.   Denis Lacerda. Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Leliane Nunes de Barros.
31.   Diogo de Jesus Pina. Dívida Técnica. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
32.   Débora Atanes Buss. Introdução a programação. (Ensino Médio) - Colégio Joana D´Arc, . 2013.
Orientador: André Fujita.
33.   Débora Paula Leite. Estudo da dependência entre os pesquisadores doutores da área de Ciências da Computação no Brasil. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2013.
Orientador: Karina Valdivia Delgado.
34.   Eduardo Galego. Extração e consulta de informações do currículo Lattes baseadas em ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Renata Wassermann.
35.   Eduardo Hideo Kuroda. Análise de Desempenho de Interfaces de Rede Virtualizadas com NAPI. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013.
Orientador: Daniel Macêdo Batista.
36.   Erika Guetti Suca. Gerenciamento de privacidade baseado em ontologias e privacidade diferencial aplicado a sistemas de rastreamento de saúde. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Flavio Soares Correa da Silva.
37.   Ewerton Rodrigues Andrade. Protocolo de identificação baseado em polinômios multivariáveis quadráticos. 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. 2013.
Orientador: Routo Terada.
38.   Fabiano Ferreira Luz. Consulta a ontologias em língua portuguesa através do português controlado. 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. 2013.
Orientador: Renata Wassermann.
39.   Fabio Tsuyoshi Muramatsu. Um estudo sobre interoperabilidade de modelos organizacionais de sistemas multiagentes. (Graduando em Engenharia Elétrica (enfase em Computação)) - Escola Politécnica da Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Anarosa Alves Franco Brandão.
40.   Felipe Cardoso Resende. Elaborando fragmentos do método O-MASE com apoio do Medee Framework. (Graduando em Engenharia Elétrica (enfase em Computação)) - Escola Politécnica da Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Anarosa Alves Franco Brandão.
41.   Felipe Carvalho Perestrelo. Sistema Recomendador para Comércio Eletrônico. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Kelly Rosa Braghetto.
42.   Felipe de C. Santanna. Uso de tecnicas de coordenacao entre agentes para operacoes de resgate em ambientes de desastre urbano. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2013.
Orientador: Anarosa Alves Franco Brandão.
43.   Felipe de Castro Santana. Uso de Técnicas de Coordenação entre Agentes para Operações de Resgate em Ambientes de Desastre Urbano. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2013.
Orientador: Jaime Simão Sichman.
44.   Felipe Martins dos Santos. Bissimulação Estocástica para Solução de Problemas de Planejamento Probabilístico. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Leliane Nunes de Barros.
45.   Fernando José de Moura Marcellino. Planejamento Integrado da Cadeia de Suprimentos da Indústria do Petróleo Baseado em Agentes Holônicos. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2013.
Orientador: Jaime Simão Sichman.
46.   Flávio Luiz Schiavoni. Medusa: Um Ambiente Musical Distribuído. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Gomes de Queiroz.
47.   Guilherme Camilo Amantea. Análise comparativa de duas formulações de programação linear para o roteamento em redes tolerantes a atrasos. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
48.   Guilherme Oliveira Mota. Dois resultados em combinatória contemporânea. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Yoshiharu Kohayakawa.
49.   Henrique Gemignani Passos Lima. Etherclan -- Rede peer-to-peer descentralizada para localização de outros usuários. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Daniel Macêdo Batista.
50.   Hilder Vitor Lima Pereira. Um sistema de criptografia de broadcast para navegadores de internet. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
51.   Igor Bonadio. Desenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionais". Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . 2013.
Orientador: Alan Mitchell Durham.
52.   Jandisson Soares de Jesus. Um método para a implementação de regras de negócio à partir da semântica SBVR. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Ana Cristina Vieira de Melo.
53.   Joel Edu Sanchez Castro. Decomposição sequencial a partir da sup-representação de W-Operadores. 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. 2013.
Orientador: Ronaldo Fumio Hashimoto.
54.   José Eurípides Ferreira de Jesus Filho. Método Beam Search aplicado ao Flexible Job Shop Scheduling problem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Ernesto Julián Goldberg Birgin.
55.   Juliana Sato Yamashita. Visualização de tags para explicar e filtrar recomendações de músicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Flavio Soares Correa da Silva.
56.   Leandro Aono. Desenvolvimento de um simulador de jogo de estratégia em tempo real. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Paulo André Vechiatto de Miranda.
57.   Leonardo Nagami Coregliano. Técnicas Modernas em Combinatória. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2013.
Orientador: Yoshiharu Kohayakawa.
58.   Liliane Santana de Oliveira. PATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . 2013.
Orientador: Alan Mitchell Durham.
59.   Lucas Crisafulli. Introdução a programação. (Ensino Médio) - Colégio Joana D´Arc, . 2013.
Orientador: André Fujita.
60.   Luciano Menasce Rosset. Simulação de Parcerias entre Agentes Autônomos. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Jaime Simão Sichman.
61.   Marcela Ortega. Implementação do arcabouço WED-flow para controle de processos transacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2013.
Orientador: João Eduardo Ferreira.
62.   Marcelo da Siva Reis. . Instituto de Matemática e Estatística da USP, . 2013.
Supervisor: Junior Barrera.
63.   Marcio Masaki Tomiyoshi. Performances Musicais Distribuídas Através de Internet Residencial. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Gomes de Queiroz.
64.   Mauricio José de Oliveira de Diana. Desempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2013.
Orientador: Marco Aurélio Gerosa.
65.   Michel Oleynik. Extração de Informações de Narrativas Clínicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
66.   Mijail Gamarra Holguin. Planejamento probabilístico usando programação dinâmica assíncrona e fatorada. 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. 2013.
Orientador: Leliane Nunes de Barros.
67.   Pan Ying. The rational eigenfunctions of the Hecke Operators. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2013.
Orientador: Sinai Robins.
68.   Paulo Roberto Miranda de Meirelles. Monitoramento de métricas de código-fonte em projetos de software livre. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Fabio Kon.
69.   Paulo Salem da Silva. Estudo comparativo entre modelos de teste e verificação (FAPESP: 2013/19814-8). (Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Ana Cristina Vieira de Melo.
70.   Pedro P. de S. B. da Silva. Uma abordagem transacional para o tratamento de exceções em processos de negócio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: João Eduardo Ferreira.
71.   Pedro Parik Americano. Estudo comparativo dos algoritmos para desenho de grafos. (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: André Fujita.
72.   Pedro Paulo Vezzá Campos. Algoritmos de Escalonamento para Redução do Consumo de Energia em Computação em Nuvem. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Daniel Macêdo Batista.
73.   Phablo Fernando Soares Moura. Recoloração convexa de grafos: algoritmos e poliedros. 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. 2013.
Orientador: Yoshiko Wakabayashi.
74.   Rafael de O. L. Gonçalves. A importância dos atributos de cores em PDI e CBIR. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
75.   Rafael Will Macedo de Araujo. Autenticação e comunicação segura em dispositivos móveis de poder computacional restrito. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Routo Terada.
76.   Renato Augusto Vieira Nishimori. Ferramenta de acessibilidade para deficientes visuais de cores. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
77.   Renato Urquiza Lundberg. Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Renata Wassermann.
78.   Reynaldo Cáceres Villena. Reconstrução da Chave Secreta do RSA Multi-primo. 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. 2013.
Orientador: Routo Terada.
79.   Rodrigo Alves Lima. API de navegação no Google Street View e análise de imagens da paisagem urbana. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
80.   Silvia Scheunemann Silva. Uma Ontologia para Interoperabilidade entre Padrões de Descrição de Dados em Biodiversidade. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . 2013.
Supervisor: Anarosa Alves Franco Brandão.
81.   Sylvio Ximenez de Azevedo Neto. Cifra multicanal para maior segurança em redes TCP/IP. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Routo Terada.
82.   Thomas Liu de Almeida. Elaborando fragmentos do método Adelfe com apoio do Medee Framework. (Graduando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Anarosa Alves Franco Brandão.
83.   Tomas Monteiro Vitorello. Um estudo sobre interoperabilidade de modelos organizacionais de sistemas multiagentes. (Graduando em Engenharia Elétrica (enfase em Computação)) - Escola Politécnica da Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Anarosa Alves Franco Brandão.
84.   Tássio Naia dos Santos. Grafos aleatórios exponenciais. 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. 2013.
Orientador: Yoshiharu Kohayakawa.
85.   Victor Lassance. Uso de tecnicas de coordenacao entre agentes para operacoes de resgate em ambientes de desastre urbano. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2013.
Orientador: Anarosa Alves Franco Brandão.
86.   Victor Lassance Oliveira e Silva. Uso de Técnicas de Coordenação entre Agentes para Operações de Resgate em Ambientes de Desastre Urbano. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2013.
Orientador: Jaime Simão Sichman.
87.   Victoriano Alfonso Phocco Diaz. Detecção de violações de SLA em coreografias de serviços Web. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013.
Orientador: Daniel Macêdo Batista.
88.   Vinicius Vendramini, Mateus Barros Rodrigues e Lucas Dário. Amplificação através de mudança de frequência para aumentar a visibilidade.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
89.   Viviane Teles de Lucca Maranhão. Estudo de técnicas de paralelização de métodos computacionais de fatoração de matrizes esparsas aplicados à redes bayesianas e redes credais. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Julio Michael Stern.
90.   Wallace Faveron de Almeida. API de navegação no Google Street View e análise de imagens da paisagem urbana. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
91.   William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
92.   William Lira Ferreira. Análise da Dinâmica de Redes de Regulação Gênica Utilizando GPUs: Uma Ferramenta para o Auxílio no Problema de Inferência de Redes Booleanas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Ronaldo Fumio Hashimoto.
93.   Willian Yukio Honda. Rotulação de símbolos matemáticos manuscritos via casamento de expressões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Nina Sumiko Tomita Hirata.
94.   Wilson Branco de Araujo Junior. Algoritmo de Iteração de Política Assíncrono Robusto para Processos de Decisão Markovianos com probabilidades definidas por intervalos.. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2013.
Orientador: Karina Valdivia Delgado.
95.   Yanik Ngoko. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Alfredo Goldman vel Lejbman.

2012

1.   Alessandro Wagner Palmeira. Monitoramento de métricas de código-fonte de projetos de software livre. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Paulo Roberto Miranda Meirelles.
2.   Alexandre Rossi Paschoal. BIOINFORMÁTICA APLICADA EM RNomics: ESTRATÉGIAS COMPUTACIONAIS PARA CARACTERIZAÇÃO DE RNAS NÃO-CODIFICADORES. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Alan Mitchell Durham.
3.   Alexandre Torres Porres. Modelos Psicoacústicos de Dissonância para Eletrônica ao Vivo. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Marcelo Gomes de Queiroz.
4.   Allan Valin. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012.
Orientador: André Fujita.
5.   Ana Beatriz Vicentim Graciano. Casamento de grafos em estruturas 3D. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Roberto Marcondes Cesar Junior.
6.   Ana Paula Oliveira dos Santos. Aplicação de práticas de usabilidade ágil em software livre. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012.
Orientador: Fabio Kon.
7.   Anderson de Araújo. Satisfatibilidade Quantica. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2012.
Supervisor: Marcelo Finger.
8.   Andrea Patricia Jiménez Ramírez. Embeddings of graphs on surfaces and the Ising model. Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Yoshiko Wakabayashi.
9.   André Yoshiaki Kashiwabara. MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Alan Mitchell Durham.
10.   Annibal Biondi Mendes da Silva. Coordenação de agentes para Robocup Rescue Agent Simulation. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Associação dos Rngenheiros Politécnicos. 2012.
Orientador: Jaime Simão Sichman.
11.   Ariel Martini. Ferramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para Moodle. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Carlos Hitoshi Morimoto.
12.   Arthur Piza Mosterio Tofani. Uma ferramenta para notação musical em braille. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Gomes de Queiroz.
13.   Atol Fortin Oliveira. Leilões para publicidade na Internet. 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. 2012.
Orientador: Cristina Gomes Fernandes.
14.   Bernardo Caraponale Magri. Assinatura digital Rabin-Williams -- sem randomização e com prova eficiente de segurança. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2012.
Orientador: Routo Terada.
15.   Boris Chullo Llaves. Aplicação do método do Gradiente Espectral Projetado ao problema de Compressive Sensing. 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. 2012.
Orientador: Ernesto Julián Goldberg Birgin.
16.   Bruno Santos Viana. Interatividade entre Narrativa e Espaço. (Graduação em Design) - Universidade de São Paulo, . 2012.
Orientador: Ricardo Nakamura.
17.   Caio de Freitas Valente, Gabriel Henrique Orso Reganati. Smart Audio City Guide. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
18.   Caio Valente. Smart Audio City Guide. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marco Aurélio Gerosa.
19.   Carina Missae Batista da Costa. Práticas de Documentação para Projeto de Games. (Graduação em Design) - Universidade de São Paulo, . 2012.
Orientador: Ricardo Nakamura.
20.   Carlos Eduardo Atencio Torres. Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias.. 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. 2012.
Orientador: Renata Wassermann.
21.   Carlos Henrique Aguena Higa. Inferência de Redes de Regulação Gênica Utilizando o Paradigma de Crescimento de Sementes. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Ronaldo Fumio Hashimoto.
22.   Carolina Kasuga. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012.
Orientador: André Fujita.
23.   Charles Ferreira dos Santos. Combinações lineares positivas e aplicações. (Graduando em Matemática Computacional) - Universidade Federal de São Paulo, campus São José dos Campos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Gabriel Haeser.
24.   Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Flavio Soares Correa da Silva.
25.   Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2012.
Orientador: Flavio Soares Correa da Silva.
26.   Damian J. Matuszewski. Análise de imagens em oceanografia. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Roberto Marcondes Cesar Junior.
27.   Daniel Augusto Cortez, Lucas R. Colucci, Renato Lerac C. Sá. Otimização de Viagens em Companhias Aéreas Brasileiras. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
28.   Daniel Stein. Encenação de coreografias em nuvens Open Stack. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012.
Orientador: Fabio Kon.
29.   Danilo Leite Dalmon. Uma Linha de Produto de Software para Módulos de Aprendizagem Interativa. 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. 2012.
Orientador: Leônidas de Oliveira Brandão.
30.   Danilo Leite Dalmon. Uma Linha de Produto de Software para Módulos de Aprendizagem Interativa. (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Anarosa Alves Franco Brandão.
31.   David da Silva Pires. Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Roberto Marcondes Cesar Junior.
32.   Denis Isidoro de França. Desenvolvimento de plug-in para apoiar a composição de métodos no Medee Framework. (Graduando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, . 2012.
Orientador: Anarosa Alves Franco Brandão.
33.   Diego de Araújo Martinez Camarinha. Monitoramento de métricas de código-fonte de projetos de software livre. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Paulo Roberto Miranda Meirelles.
34.   Diego Mira David. Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Flavio Soares Correa da Silva.
35.   Douglas Jundi Katayama Koyama. Processos de Decisão Markovianos definidos por intervalos na solução de problemas de navegação de robôs. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2012.
Orientador: Karina Valdivia Delgado.
36.   Edith Zaida Sonco Mamani. Cálculo de Reputação em Redes Sociais a partir da Colaboração entre os Participantes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2012.
Orientador: Marco Aurélio Gerosa.
37.   Eduardo Menezes de Morais. Answer Set Programming probabilístico. 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. 2012.
Orientador: Marcelo Finger.
38.   Edwin Delgado Huaynalaya. Detecção de ovos de S. mansoni a partir da detecção de seus contornos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Nina Sumiko Tomita Hirata.
39.   Erika Guetti Suca. Interoperabilidade de documentos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2012.
Orientador: Flavio Soares Correa da Silva.
40.   Everton Topan da Silva. ACHUSP Serviço de achados e perdidos para a Universidade de São Paulo. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
41.   Fabio de Oliveira Franco. Jogos Markovianos Alternados sob Incerteza. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Leliane Nunes de Barros.
42.   Felipe Besson. Rehearsal: Um arcabouço para teste automatizado de coreografias de serviços web. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012.
Orientador: Fabio Kon.
43.   Felipe de Godoi Torres, Geraldo Castro Zampoli. Statim: Um Otimizador de Rotas. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
44.   Fernanda Nascimento Almeida. Descrição da proveniência de dados para extração de conhecimento em sistemas de informação de hemoterapia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: João Eduardo Ferreira.
45.   Fernando Cabral Grandjean Pinto Filho. Estudo sobre previsão de chegada dos ônibus de uma linha aos pontos de parada baseado em aprendizado de máquina. (Graduação em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo, . 2012.
Orientador: Anarosa Alves Franco Brandão.
46.   Fernando Luigi Fussuma. Algoritmo de Programação Dinâmica em Tempo Real para Processos de Decisão Markovianos com probabilidades imprecisas definidas por intervalos. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2012.
Orientador: Karina Valdivia Delgado.
47.   Francisco Zigmund Sokol. MetricMiner: uma ferramenta web de apoio à mineração de repositórios de software. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marco Aurélio Gerosa.
48.   Fábio de Salles Monteiro. Protocolo de identificação baseado em polinômios multivariáveis quadráticos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2012.
Orientador: Routo Terada.
49.   Gabriel Reganati. Smart Audio City Guide. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marco Aurélio Gerosa.
50.   Geiser Chalco Challco. Planejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Marco Aurélio Gerosa.
51.   Giseli de Araujo Ramos. Detecção e rastreamento de lábios em dispositivos móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Financiadora de Estudos e Projetos. 2012.
Orientador: Roberto Marcondes Cesar Junior.
52.   Grupo de alunos (vide outras informações). RK3D - Reconstrução Tridimensional de Objetos para Decoração. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2012.
Orientador: Ricardo Nakamura.
53.   Grupo de alunos (vide outras informações). Framework para reconhecimento de gestos em mesa multi-toque e multi-usuário. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2012.
Orientador: Ricardo Nakamura.
54.   Gustavo Luiz Duarte. Metadados para reconciliação de transações em bancos de dados autônomos. 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. 2012.
Orientador: João Eduardo Ferreira.
55.   Helves Humberto Domingues. . Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2012.
Supervisor: João Eduardo Ferreira.
56.   Jefferson Serafim Ascaneo. Segmentação de imagens com Passeios Aleatórios. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Paulo André Vechiatto de Miranda.
57.   Jessé Américo Gomes de Lima. Otimização em Meteorologia: cálculo de perturbações condicionais não lineares ótimas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Ernesto Julián Goldberg Birgin.
58.   João Marco Maciel da Silva. Monitoramento de métricas de código-fonte de projetos de software livre. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Paulo Roberto Miranda Meirelles.
59.   João Paulo dos Santos Mota. Plataforma de colaboração para auxílio às administrações municipais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Roberto Hirata Junior.
60.   Leissi Margarita Castañeda León. Detecção de objetos em vídeos usando misturas de modelos baseados em partes deformáveis obtidas de um conjunto 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. 2012.
Orientador: Roberto Hirata Junior.
61.   Leonardo Lamas Leandro Ribeiro. Modelagem estratégico-tática em esportes coletivos de invasão: aplicação ao basquetebol. Tese (Doutorado em Educação Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Junior Barrera.
62.   Ligia Maria Moreira Zorello. Desenvolvimento de um avatar 3D para comunicação em LIBRAS. (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, UNIVERSIDADE DE SÃO PAULO - PRÓ-REITORIA DE GRADUAÇÃO. 2012.
Orientador: Ricardo Nakamura.
63.   Lucas Esteves da Conceição. Estudo sobre previsão de chegada dos ônibus de uma linha aos pontos de parada baseado em aprendizado de máquina. (Graduação em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo, . 2012.
Orientador: Anarosa Alves Franco Brandão.
64.   Lucy Choque Mansilla. Transformada Imagem-Floresta com Funções de Conexidade Não Suaves: Pesos Adaptativos, Polaridade de Borda, e Restrições de Forma. 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. 2012.
Orientador: Paulo André Vechiatto de Miranda.
65.   Luis Henrique Bustamante. Métodos estocásticos de otimização global para empacotar círculos em elipses. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Ernesto Julián Goldberg Birgin.
66.   Luiz Felipe Franco Belussi. Detecção de códigos QR em imagens com enquadramento arbitrário. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Nina Sumiko Tomita Hirata.
67.   Luiz Gustavo Ferraz Aoqui. Estudo sobre previsão de chegada dos ônibus de uma linha aos pontos de parada baseado em aprendizado de máquina. (Graduação em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo, . 2012.
Orientador: Anarosa Alves Franco Brandão.
68.   Luís Felipe Cesar da Rocha Bueno. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Ernesto Julián Goldberg Birgin.
69.   Luís Gustavo Moneda dos Santos. Plataforma para o ensino de Computação através de jogos digitais para alunos do ensino médio. (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, Associação dos Engenheiros Politécnicos. 2012.
Orientador: Ricardo Nakamura.
70.   Lévêque Christophe. Système automatisé d'évaluation de projets basé sur l'étude des réseaux sociaux pour développeurs logiciels. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
71.   Marcela Terakato. Caracterização de Estruturas Secundárias de miRNAs utilizando Grafos. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alan Mitchell Durham.
72.   Marcelo da Silva Reis. Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Junior Barrera.
73.   Marcelo Hashimoto. Detecção de objetos por reconhecimento de grafos-chave. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Roberto Marcondes Cesar Junior.
74.   Mariana Elisa Benassi-Werke. Familiaridade, Supressão Articulatória e Comprimento do Estímulo: Influências na Memória de Curto Prazo e Memória Operacional para Tons e Melodias. Tese (Doutorado em Psicobiologia) - Universidade Federal de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Marcelo Gomes de Queiroz.
75.   Mario Leston Rey. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Yoshiko Wakabayashi.
76.   Marta Ruiz Costa-jussà. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Renata Wassermann.
77.   Mauricio Chui Rodrigues. Tratamento de Eventos Aplicado à Composição de Serviços We. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: João Eduardo Ferreira.
78.   Mauricio Finavaro Aniche. Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marco Aurélio Gerosa.
79.   Melline Fontes Noronha. Dinâmica da Fermentação Alcoólica: Aplicação de Redes Booleanas Probabilísticas Sensíveis a Contextona Dinâmica da Expressão Gênica na Linhagem Industrial PE-2 da Saccharomyces cerevisiae durante o Processo Fermentativo. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Ronaldo Fumio Hashimoto.
80.   Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
81.   Paulo Henrique Floriano. Grafos evolutivos na modelagem e análise de redes dinâmicas. 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. 2012.
Orientador: Alfredo Goldman vel Lejbman.
82.   Pedro Gardel Câmara. Design de um ambiente virtual para jogo eletrônico projetado em torno do conceito ?exploração?. (Graduação em Design) - Universidade de São Paulo, . 2012.
Orientador: Ricardo Nakamura.
83.   Poliana Magalhães Reis. Análise da distribuição do número de operações de resolvedores SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
84.   Renan de Melo Oliveira. Espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
85.   Renato Avila dos Santos. Uma biblioteca para comunicação ciente de localização geográfica entre dispositivos móveis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Daniel Macêdo Batista.
86.   Renato Cordeiro Ferreira. Anotação de genomas. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Alan Mitchell Durham.
87.   Ricardo de Cillo. Aplicação de análise morfológica para segmentação de páginas em imagens de documentos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Nina Sumiko Tomita Hirata.
88.   Ricardo Luiz Andrade Abrantes. Problemas de corte com sobras aproveitáveis e eliminação de simetrias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Ernesto Julián Goldberg Birgin.
89.   Rodrigo Zaccara. Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
90.   Rosario Alejandra Medina Rodriguez. Aspectos Teóricos e Práticos do Classificador Baseado em Segmentos de Retas em Problemas de Multiclassificaçã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. 2012.
Orientador: Ronaldo Fumio Hashimoto.
91.   Samuel Plaça de Paula. Algoritmos de aproximação para problemas de clustering. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Cristina Gomes Fernandes.
92.   Santiago Davila Benavides. Raciocínio de agentes musicais: composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Gomes de Queiroz.
93.   Straus Michalsky Martins. Componentes de software no desenvolvimento de aplicações colaborativas para Web: Evolução da plataforma Groupware Workbench. 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. 2012.
Orientador: Marco Aurélio Gerosa.
94.   Stéphannye Menato. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012.
Orientador: André Fujita.
95.   Suzana de Siqueira Santos. Estudo comparativo de medidas de dependência e aplicações em dados de expressão gênica. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: André Fujita.
96.   Tales Pinheiro de Andrade. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Ronaldo Fumio Hashimoto.
97.   Talita Perciano Costa Leite. Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientadores: Roberto Hirata Junior, Roberto Marcondes Cesar Junior.
98.   Thiago Serra Azevedo Silva. Programação por restrições e escalonamento baseado em restrições: um estudo de caso na programação de recursos para o desenvolvimento de poços de petróleo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Yoshiko Wakabayashi.
99.   Tonny Costa Cordeiro. Uma biblioteca para comunicação ciente de localização geográfica entre dispositivos móveis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012.
Orientador: Daniel Macêdo Batista.
100.   Ubiratan Augusto Lima. Análise de uma Rede Genética Probabilística que representa o controle do ciclo celular. Dissertação (Mestrado em Mestrado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Junior Barrera.
101.   Vanessa Gonçalves Paschoa Ferraz. . Universidade Federal de São Paulo, campus São José dos Campos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: Gabriel Haeser.
102.   Vitor Onuchic. Inovações em técnicas de alinhamentos múltiplos e predições de genes. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Alan Mitchell Durham.
103.   Viviane Almeida dos Santos. Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Alfredo Goldman vel Lejbman.
104.   Wang Xinli. Discrete-geometric functions associated to polyhedral cones and point sets. Tese (Doutorado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.
105.   Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
106.   Yudistira Mulyadi. Abel summation by parts, in higher dimensions. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.

2011

1.   Adèle Helena Ribeiro. Análise de Sinais de um Sensor Piroelétrico. (Graduação em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2011.
Orientador: Roberto Hirata Junior.
2.   Alex Pires de Camargo. Análise e disposição de recursos de rede em grades computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011.
Orientador: Alfredo Goldman vel Lejbman.
3.   Alexandre Morimitsu. Operadores Conexos Aplicados a Localização de Textos em Imagens. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Ronaldo Fumio Hashimoto.
4.   Alvaro Henry Mamani Aliaga. Estudo Comparativo de Técnicas de Escalonamento de Tarefas Dependentes para 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. 2011.
Orientador: Alfredo Goldman vel Lejbman.
5.   Ana Luiza Domingues Fernandez Basalo. CATA - Collaborative Academic Text Advisor: Um sistema de verificação de estilo para textos acadêmicos de Computação. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2011.
Orientador: Marco Aurélio Gerosa.
6.   André Salim Pires. Metodos de Segmentação Musical Baseados em Descritores Sonoros. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011.
Orientador: Marcelo Gomes de Queiroz.
7.   Andréa Britto Mattos. Animação de faces tridimensionais baseada em registro estrutural. 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. 2011.
Orientador: Roberto Marcondes Cesar Junior.
8.   Bhalchandra D. Thatte. Tree-graphs and incidence matrices: theory and applications. Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Supervisor: Yoshiko Wakabayashi.
9.   Bruno dos Santos. Processos de Decisão Markovianos com probabilidades imprecisas definidas por intervalos na modelagem do problema de controle de tráfego. (Graduação em Sistemas de Informação) - Universidade de São Paulo, . 2011.
Orientador: Karina Valdivia Delgado.
10.   Charles Iury Oliveira Martins. Segmentação estrutural de imagens a partir do aprendizado de modelos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Roberto Marcondes Cesar Junior.
11.   Claudivan Ribeiro. bigLib: sistema Web de compartilhamento de livros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: André Fujita.
12.   Cleber Morio Okida. Protocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveis. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Routo Terada.
13.   Denis Takeshita Ikeda. Seleção Não-Supervisionada de Métodos de Binarização para Documentos Históricos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: Ronaldo Fumio Hashimoto.
14.   Denise H Goya. Criptografia de chave pública sem certificado. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Routo Terada.
15.   Diego de Queiroz Macedo. Experimentos em simulações paralelas do dilema do prisioneiro com n jogadores. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Jaime Simão Sichman.
16.   Dionathan Nakamura. Segurança do bit menos significativo no RSA e em curvas elípticas. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Routo Terada.
17.   Edson Miyahara. Genealogia Lattes. (Graduação em Computação) - Universidade de São Paulo, . 2011.
Orientador: Roberto Marcondes Cesar Junior.
18.   Eduardo Teruo Katayama. A indústria da manufatura e sua relação com métodos ágeis de desenvolvimento de software: histórico, apanhado sistemático e situação atual. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Alfredo Goldman vel Lejbman.
19.   Edwin Miguel Triana Gómez. Reconhecimento de fala para navegação em aplicativos móveis para português brasileiro. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
20.   Eric Ossami Endo. Conjectura e Prova: Uma Introdução ao Espírito da Matemática. (Graduando em Bacharelado Em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiharu Kohayakawa.
21.   Esdras Bispo Jr. Mapeamento de ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Renata Wassermann.
22.   Evaldo Araújo de Oliveira Filho. . Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Supervisor: Roberto Marcondes Cesar Junior.
23.   Fabrício Martins Lopes. Redes complexas de expressão gênica: síntese, identificação, análise e aplicações. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2011.
Orientador: Roberto Marcondes Cesar Junior.
24.   FERNANDO TSUDA. Utilização de técnicas de GPGPU em sistema de Vídeo-Avatar. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2011.
Orientador: Ricardo Nakamura.
25.   Flávio Luis Coutinho. Métodos para rastreamento de olhar tolerantes a movimentos de cabeça baseados na razão cruzada. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Carlos Hitoshi Morimoto.
26.   Francisco Santana. Mineração de repositórios. (Graduando em Computação) - Universidade Federal do Pará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Marco Aurélio Gerosa.
27.   Francisco Werther Silva de Santana Júnior. XFlow: Uma ferramenta extensível para a compreensão da evolução de sistemas de software. (Graduação em Ciência da Computação) - Universidade Federal do Pará, . 2011.
Orientador: Marco Aurélio Gerosa.
28.   Giulia Satiko Maesaka. Otimização Combinatória e Complexidade. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2011.
Orientador: Yoshiharu Kohayakawa.
29.   Glauber de Bona. Satisfatibilidade Probabilística. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Marcelo Finger.
30.   Grupo de alunos (vide outras informações). Aplicação de localização e mapas acessível para deficientes visuais. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2011.
Orientador: Ricardo Nakamura.
31.   Grupo de alunos (vide outras informações). Jogo com realidade aumentada em dispositivos móveis. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2011.
Orientador: Ricardo Nakamura.
32.   Gustavo Ansaldi Oliva. Identificação e visualização de dependências em sistemas de software orientados a objetos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, HP/Comissão Européioa. 2011.
Orientador: Marco Aurélio Gerosa.
33.   Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
34.   Henrique Morimitsu. Uma abordagem estrutural para detecção de placas em ambientes internos por dispositivos móveis. 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. 2011.
Orientador: Roberto Marcondes Cesar Junior.
35.   Hiep Han. Hipergrafos quase-aleatórios e imersão de subhipergrafos geradores. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Supervisor: Yoshiharu Kohayakawa.
36.   Hugo Corbucci. Métodos ágeis e software livre: um estudo da relação entre estas duas comunidades. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011.
Orientador: Alfredo Goldman vel Lejbman.
37.   Igor Shigueo Kawasaki Nakabayashi. Geração de consulta SPARQL a partir de texto. (Graduação em Bacharelado em Matemática Aplicada Computacional) - Universidade de São Paulo, . 2011.
Orientador: Renata Wassermann.
38.   Jesús Pascual Mena Chalco. . Universidade de São Paulo, . 2011.
Supervisor: Roberto Marcondes Cesar Junior.
39.   Julia Boettcher. Problemas de imersão e empacotamento em teoria extremal dos grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Supervisor: Yoshiharu Kohayakawa.
40.   Karla Roberta Pereira do Nascimento. Recoloração Convexa de Caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiko Wakabayashi.
41.   Kelly Rosa Braghetto. Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: João Eduardo Ferreira.
42.   Leandro Ferrari Thomaz. Ensemble: Um arcabouço para construção de sistemas multi-agentes musicais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Marcelo Gomes de Queiroz.
43.   Leonardo Shimizu Yojo. Interação 3D com realidade aumentada e jogos digitais. (Graduando em Engenharia de Computação) - Escola Politécnica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Ricardo Nakamura.
44.   Lucas Colucci Cavalcante de Souza. Teoria Combinatória dos Números. (Graduando em Matemática) - Universidade de São Paulo, . 2011.
Orientador: Yoshiharu Kohayakawa.
45.   Lucas Ikeda. Trabalho de Formatura SupervisionadoIdentificador de plágio para o Adessowiki. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: Roberto Hirata Junior.
46.   Lucas Ikeda França. Tema Identificador de plágio para o Adessowiki.. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: Roberto Hirata Junior.
47.   Luis Roberto P. Paula. Segmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polar. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2011.
Orientador: Roberto Hirata Junior.
48.   Marcelo Matheus Gauy. Problemas extremais probabilísticos. (Graduando em Bacharelado Em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Yoshiharu Kohayakawa.
49.   Marcos Inky Tae. Um estudo sobre emparelhamento de ontologias no domínio de reputação. (Graduando em Engenharia Elétrica (enfase em Computação)) - Escola Politécnica da Universidade de São Paulo, . 2011.
Orientador: Anarosa Alves Franco Brandão.
50.   Mariana Vivian Bravo. Abordagens para o ensino de práticas de programação extrema. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Alfredo Goldman vel Lejbman.
51.   Matheus Micadei Marzo. Introdução às funções geradoras. (Graduando em Matemática Computacional) - Universidade Federal de São Paulo, campus São José dos Campos. 2011.
Orientador: Gabriel Haeser.
52.   Miguel Mendes Ruiz. Técnicas de Simulação Acústica Geométrica. (Graduando em Física) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Marcelo Gomes de Queiroz.
53.   Monica Guimarães Campiteli. . Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Supervisor: Roberto Marcondes Cesar Junior.
54.   Murilo Santos de Lima. Aproximação de métricas arbitrárias por métricas arbóreas e aplicações. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Cristina Gomes Fernandes.
55.   Nilo Cesar Teixeira. Estudo e modelagem de soluções de otimização discreta para grades horárias. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: Alfredo Goldman vel Lejbman.
56.   Patricia Alves Rodrigues. iTarefa: componente Moodle para incorporar Módulos de Aprendizagem Interativa em cursos Web. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2011.
Orientador: Leônidas de Oliveira Brandão.
57.   Patricia Alves Rodrigues. i-Tarefa: Componente Moodle para Incorporar Módulos de Aprendizagem Interativa em Cursos Web. (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2011.
Orientador: Anarosa Alves Franco Brandão.
58.   Patrícia Akemi Ikeda. Um estudo do uso eficiente de programas em placas gráficas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011.
Orientador: Alfredo Goldman vel Lejbman.
59.   Paulo Cheque Bernardo. Padrões de Testes Automatizados. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
60.   Paulo César Siécola. VoIPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IP. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
61.   Paulo Roberto de Araújo França Nunes. Serviços Web: Avaliação de confiabilidade através de padrões transacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011.
Orientador: Ana Cristina Vieira de Melo.
62.   Paulo Salem da Silva. Multi-Agent Systems Verification by means of Simulation Analyis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Ana Cristina Vieira de Melo.
63.   Peter David Allen. Problemas Estruturais, Probabilísticos e de Imersão em Teoria Extremal dos Grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Supervisor: Yoshiharu Kohayakawa.
64.   Phillipe Rodrigues Sampaio. Teoria, métodos e aplicações de otimização multiobjetivo. 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. 2011.
Orientador: Ernesto Julián Goldberg Birgin.
65.   Rafael da Ponte Barbosa. Algoritmos para o problema da cobertura por sensores. 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. 2011.
Orientador: Yoshiko Wakabayashi.
66.   Rafael José Peres Correia. Borboleta: um sistema de telessaúde para auxílio à atenção primária domiciliar. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
67.   Ricardo Montemurro Franco. Um panorama da aplicação de técnicas de inteligência artificial a jogos. (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Fundação Para o Desenvolvimento Tecnológico da Engenharia, . 2011.
Orientador: Jaime Simão Sichman.
68.   Roberto Freitas Parente. Quantidade de orientações de grafos livres de circuitos direcionados cíclicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiharu Kohayakawa.
69.   Rodrigo Bernardo Pimentel. Localização em dispositivos móveis utilizando sinais de redes Wi-Fi. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011.
Orientador: Roberto Hirata Junior.
70.   Rodrigo Zerbini. Um estudo de ambientes BSP distribuídos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: Alfredo Goldman vel Lejbman.
71.   Sara Jane Casare. MEDEE: A method framework for multiagent systems. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2011.
Orientador: Jaime Simão Sichman.
72.   Sara Jane Casare. Medee: um ateliê de métodos para sistemas multiagentes. (Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, . 2011.
Orientador: Anarosa Alves Franco Brandão.
73.   Susanna de Figueiredo Rezende. Tópicos em combinatória e teoria dos grafos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiko Wakabayashi.
74.   Tiago Nicolosi Bomventi. bigLib: sistema Web de compartilhamento de livros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011.
Orientador: André Fujita.
75.   Tiago Oliveira Beraldi. Máquinas de suporte vetorial e o método do Gradiente Espectral Projetado. (Graduando em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2011.
Orientador: Ernesto Julián Goldberg Birgin.
76.   Tássio Naia dos Santos. Tópicos em combinatória. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiharu Kohayakawa.
77.   Valdson da Silva Cleto. MD6 e a competição para escolha do SHA-3. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2011.
Orientador: Routo Terada.
78.   Vanessa Cristina Sabino. Um estudo sistemático de licenças de software livre. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
79.   Vitor Hugo Louzada Patricio. Canalização: Fenótipos Robustos como Consequência de Características da Rede de Regulaçào Gênica. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Ronaldo Fumio Hashimoto.
80.   Walter Pereira Rodrigues de Souza. Soluções Eficientes para o Cubo Mágico. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2011.
Orientador: Nina Sumiko Tomita Hirata.
81.   Yanik Ngoko. A model for web services choreographies. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Supervisor: Alfredo Goldman vel Lejbman.

2010

1.   Alexandre Noma. Casamento de grafos, MRF e propagação de crenças. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Marcondes Cesar Junior.
2.   Alexandre Ouno Atoji. Implementação de uma grade BOINC no CEC com aplicações para codificação de vídeos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Roberto Hirata Junior.
3.   André Hanh Pereira. Time de Agentes para Robocup Rescue Agent Simulation. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Jaime Simão Sichman.
4.   Ary Fagundes Bressane Neto. Uma arquitetura para agentes inteligentes com personalidade e emoção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010.
Orientador: Flavio Soares Correa da Silva.
5.   Carlos da Silva dos Santos. Construção de atributos binários baseada em análise de interações. Tese (Doutorado 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.
6.   Carlos Denner dos Santos Jr. Estudo Longitudinal Empírico da Atratividade de Projetos de Software Livre. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Supervisor: Fabio Kon.
7.   Carlos Hoppen. A análise de estruturas discretas de grandes proporções. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Supervisor: Yoshiharu Kohayakawa.
8.   Carlos Morais. Initial integration between Analizo and Kalibro tools and the Qualipso tool set. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010.
Orientador: Paulo Roberto Miranda Meirelles.
9.   Caroline Rizzi Raymundo. AulaNet - Integração do Ambiente de Ensino-Aprendizagem Aulanet para TV Digital. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo, . 2010.
Orientador: Marco Aurélio Gerosa.
10.   Daniel de Oliveira Dantas. Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica. Tese (Doutorado 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: Junior Barrera.
11.   Daniel Ribeiro. Emparelhamentos hiperelípticos em criptografia. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2010.
Orientador: Routo Terada.
12.   Elisa Pereira Kameda. Redução de dimensionalidade em modelos de bancos de dados multidimensionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010.
Orientador: João Eduardo Ferreira.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   Fábio Zendhi Nagao. Modelagem matemática em Inteligência Coletiva: Um estudo dos processos de recomendação e classificação automática em tags para sistemas de comércio eletrônico. (Graduação em Bacharelado em Matemática Aplicada) - Universidade de São Paulo, . 2010.
Orientador: Marco Aurélio Gerosa.
20.   Grupo de alunos (vide outras informações). Estudo de BDI e Blackboard para jogos digitais. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
21.   Grupo de alunos (vide outras informações). Interactive Augmented Reality 3D. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
22.   Grupo de alunos (vide outras informações). Deferred Rendering em uma Game Engine Modularizável. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
23.   Grupo de alunos (vide outras informações). Jogo interativo com captação de áudio. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
24.   Gustavo Di Giovanni Bernardo. Uma abordagem do (FBST) em testes de simetria em tabelas de contingência. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Julio Michael Stern.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   José David Curado. Geração de metadados. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2010.
Orientador: Renata Wassermann.
31.   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.
32.   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: Fabio Kon, Paulo Roberto Miranda Meirelles.
33.   Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010.
Supervisor: Marcelo Finger.
34.   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.
35.   Lucas Santos de Oliveira. Funcionalidades colaborativas no compartilhamento de conteúdo em redes sociais na Web 2.0: Uma engenharia de domínio baseada no modelo 3C de colaboração. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Marco Aurélio Gerosa.
36.   Luciana Yumi Abe. Jogos Eletrônicos para Idosos: Análise e discussão da relação do idoso com o lúdico. (Graduação em Design) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
37.   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.
38.   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.
39.   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.
40.   Luísa Midori Amorim Enomoto. Desenvolvimento de um website educativo voltado para a iniciação ao ensino da língua inglesa para crianças do ensino fundamental entre 9 a 12 anos. (Graduação em Design) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
41.   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.
42.   MARCELO MITA. Ferramenta de software para ensino de computação através do desenvolvimento de jogos. (Graduando em Engenharia de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Ricardo Nakamura.
43.   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.
44.   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.
45.   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.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   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.
52.   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.
53.   Pedro Matiello. A π-Calculus Internal Domain-Specific Language for Scala. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010.
Orientador: Ana Cristina Vieira de Melo.
54.   Pedro Monteiro Kayatt. Sistemas de Redes Objetivando Plataformas de Jogos Digitais. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2010.
Orientador: Ricardo Nakamura.
55.   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.
56.   Rafael Inhasz. Programação genética: operadores de crossover, blocos construtivos e emergência semântica. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, . 2010.
Orientador: Julio Michael Stern.
57.   Rafael Martins de Araújo. Uso de reputação na formação de parcerias entre agentes autônomos. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Santander-USP. 2010.
Orientador: Jaime Simão Sichman.
58.   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.
59.   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.
60.   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.
61.   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.
62.   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.
63.   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.
64.   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.
65.   Tamires Dias Campos. Livro Aberto para Ensino de Fundamentos de Computação para Designers. (Design) - Universidade de São Paulo, UNIVERSIDADE DE SÃO PAULO - PRÓ-REITORIA DE CULTURA E EXTENSÃO. 2010.
Orientador: Ricardo Nakamura.
66.   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.
67.   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.
68.   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.
69.   VINICIUS COSTA FERREIRA. PORTAL TECNOLOGIAS INTERATIVAS NA EDUCAÇÃO, SAÚDE E ENTRETENIMENTO. (Graduando em Engenharia de Computação) - Universidade de São Paulo, UNIVERSIDADE DE SÃO PAULO - PRÓ-REITORIA DE GRADUAÇÃO. 2010.
Orientador: Ricardo Nakamura.
70.   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.
71.   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.
72.   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.
73.   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.
74.   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.   Alberto Alexandre Assis Miranda. Grafos Pfaffianos e Problemas Relacionados. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Cláudio Leonardo Lucchesi.
4.   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.
5.   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.
6.   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.
7.   Allan D. R. Oliveira, Leonardo N. Bessa, Thiago R.Andrade. Dionisio: um sistema de recomendação baseado em confiança. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2009.
Orientador: Jaime Simão Sichman.
8.   Anauê Pereira da Costa e Fabio Sendoda Yamate. Semantic Lattes: uma ferramenta de consulta de informações acadêmicas da base Lattes baseada em ontologias. (Graduação em Engenharia de Computação) - Universidade de São Paulo, . 2009.
Orientadores: Jaime Simão Sichman, Renata Wassermann, Anarosa Alves Franco Brandão.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   Candida Nunes da Silva. Fluxos Inteiros e Colorações. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Cláudio Leonardo Lucchesi.
19.   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.
20.   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.
21.   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.
22.   Caroline Rizzi Raymundo. Desenvolvimento de uma aplicação interativa educacional para TV digital (coorientação). (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2009.
Orientador: Marco Aurélio Gerosa.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   Fernando Antonio Marques Filho. Estudos de Integração do Ambiente AulaNet com o Middleware Ginga. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo, . 2009.
Orientador: Marco Aurélio Gerosa.
31.   Fernando Antonio Marques Fillho. Estudos de Integração do Ambiente AulaNet com o Middleware Ginga (coorientação). (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2009.
Orientador: Marco Aurélio Gerosa.
32.   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.
33.   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.
34.   Grupo de alunos (vide outras informações). 3PI Experiment: Desenvolvimento e análise de usabilidade de uma interface imersiva em terceira pessoa com realidade aumentada. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2009.
Orientador: Ricardo Nakamura.
35.   Guilherme Mussi Toschi. Editor Gráfico para o Modelo Organizacional MOISE+. (Graduando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientadores: Jaime Simão Sichman, Anarosa Alves Franco Brandão.
36.   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.
37.   Guillaume Muller. On the design of virtual players for natural resources management platforms. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Supervisor: Jaime Simão Sichman.
38.   Gustavo Pacianotto Gouveia. Aplicação de programação orientada à organização de agentes no Agent Programming Contest: Biblioteca Básica de componentes. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Jaime Simão Sichman.
39.   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.
40.   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.
41.   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.
42.   Luciano Coutinho. Interoperabilidade organizacional em sistemas multiagentes abertos baseada em engenharia dirigida por modelos. Científico e Tecnológico - MA, . 2009.
Orientador: Jaime Simão Sichman.
43.   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.
44.   Luis Gustavo Nardin. Uma arquitetura de apoio à interoperabilidade de modelos de reputação de agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2009.
Orientador: Jaime Simão Sichman.
45.   Luis Gustavo Nardin. Uma arquitetura de apoio à interoperabilidade de modelos de reputação de agentes. (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, . 2009.
Orientador: Anarosa Alves Franco Brandão.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   Melissa Cheau Chen Liang. Desafios ao portar uma Aplicação Web para TV Digital: um estudo de caso com o ambiente Moodle. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marco Aurélio Gerosa.
52.   Paulo André Lima de Castro. Uma Arquitetura para Administração Automatizada de Ativos Baseada em Agentes Competitivos. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2009.
Orientador: Jaime Simão Sichman.
53.   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.
54.   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.
55.   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.
56.   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.
57.   Renan Cerqueira Afonso Alves. Uso da arquitetura COAST no simulador MASSES. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Jaime Simão Sichman.
58.   Renato Coelho. Algoritmos Fatorados de Planejamento sob incerteza. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2009.
Orientador: Leliane Nunes de Barros.
59.   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.
60.   Ricardo Hahn Pereira. Aplicação de programação orientada à organização de agentes no Agent Programming Contest: Integração com o simulador e testes. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Jaime Simão Sichman.
61.   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.
62.   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.
63.   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.
64.   Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marcelo Finger.
65.   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.
66.   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.
67.   Tomas Monteiro Chaib. Interoperabilidade Semântica de Modelos de Reputação entre Agentes: um estudo de caso usando a arquitetura SOARI. (Graduando em Engenharia de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Anarosa Alves Franco Brandão.
68.   Victor Lassance Oliveira e Silva. Aplicação de programação orientada à organização de agentes no Agent Programming Contest: Desenvolvimento dos agentes do time. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Jaime Simão Sichman.
69.   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.
70.   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.

2008

1.   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.
2.   Anarosa Alves Franco Brandão. . Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Supervisor: Jaime Simão Sichman.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   Daniele Vieira Fiorot. GetProject: Gerenciador Online de Projetos de Software. (Graduação em Ciência da Computação) - Universidade Vila Velha, . 2008.
Orientador: Marco Aurélio Gerosa.
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 Bosi Guaitolini. Ensino-aprendizagem através da TV Digital. (Graduando em Ciência da Computação) - Universidade Vila Velha, Fundação de Amparo à Pesquisa do Espírito Santo. 2008.
Orientador: Marco Aurélio Gerosa.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   Gustavo Hiroshi Xavier Shiroma. Planejamento de observações de uma constelação de satélites SAR utilizando Algoritmos Genéticos. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2008.
Orientador: Jaime Simão Sichman.
27.   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.
28.   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.
29.   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.
30.   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.
31.   Jaqueline Rodrigues. Sokoban. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Leliane Nunes de Barros.
32.   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.
33.   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.
34.   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.
35.   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.
36.   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.
37.   Luiz Henrique Rorato Decaro. Foundation: facilitando a implementacao de operacoes do tipo CRUD em aplicacoes JavaEE.. Dissertação (Mestrado em Pro- grama de Mestrado Profissional em Engen- ha) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2008.
Orientador: Alan Mitchell Durham.
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.   Marcio Alves Diniz. Um Teste Preciso para Raízes Unitárias e Co-Integração. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2008.
Orientador: Julio Michael Stern.
40.   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.
41.   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.
42.   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.
43.   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.
44.   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.
45.   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.
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é 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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   David Desario. Polyhedral theta functions and their applications to combinatorial geometry. Tese (Doutorado em Mathematics) - Temple University, . 2007.
Orientador: Sinai Robins.
18.   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.
19.   Diana Francisca Adamatti. Inserção de jogadores virtuais em jogos de papéis para uso em sistemas de apoio à decisão em grupo: um experimento no domínio da gestão de recursos naturais. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Jaime Simão Sichman.
20.   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.
21.   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.
22.   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.
23.   Ernesto Coutinho Colla. Aplicação de Técnicas de Fatoração de Matrizes Esparsas para Inferência em Redes Bayesianas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Julio Michael Stern.
24.   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.
25.   Fernando Castor Filho. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Supervisor: Fabio Kon.
26.   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.
27.   Fernando Valvano Cerezetti. Seleção de Modelos Econométricos não Aninhados: J-teste e FBST. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, . 2007.
Orientador: Julio Michael Stern.
28.   Francisco Martins Moreira. Teste de credibilidade para a determinação da região em que as caudas de distribuições são aproximadas por funções Pareto, com aplicações em análise de risco. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 2007.
Orientador: Julio Michael Stern.
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.   Inácio Guerberoff Lanari Bó. Influência da complexidade da representação de estratégias em modelos evolucionários para o dilema do prisioneiro com n jogadores. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Jaime Simão Sichman.
34.   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.
35.   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.
36.   Janine Gomes Moura. SAW - Sistema de Aprendizagem pela Web: Motivações e Desenvolvimento. (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2007.
Orientador: Anarosa Alves Franco Brandão.
37.   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.
38.   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.
39.   Marcelo de Souza Lauretto. Selecao de Modelos Atraves de um Teste de Hipotese Genuinamente Bayesiano. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Julio Michael Stern.
40.   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.
41.   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.
42.   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.
43.   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.
44.   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.
45.   Priscilla Avegliano. Simulação da formação de parcerias entre agentes baseadas no conceito de reputação. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Jaime Simão Sichman.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   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.
52.   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: Marcelo Finger, Nina Sumiko Tomita Hirata.
53.   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.
54.   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.
55.   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.
56.   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.
57.   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.
58.   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.
59.   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.
60.   É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.   Alberto Alexandre Assis Miranda. Orientações Pfaffianas e o Furtivo Grafo de Heawood. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Orientador: Cláudio Leonardo Lucchesi.
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.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   Eloiza Sonoda. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Supervisor: Fabio Kon.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   Guilherme Marques. Desenvolvimento do simulador SPATMAS. (Graduando em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Jaime Simão Sichman.
29.   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.
30.   Jessica Cuomo. Laplacians of some planar graphs and their eigenvalues. Dissertação (Mestrado em Mathematics) - Temple University, . 2006.
Orientador: Sinai Robins.
31.   Jozef Skokan. Aplicações de quase-aleatoriedade em combinatória. Instituto de Matemática e Estatística, National Science Foundation. 2006.
Supervisor: Yoshiharu Kohayakawa.
32.   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.
33.   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.
34.   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.
35.   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.
36.   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.
37.   Luis Gustavo Nardin. Uso de sistemas multiagentes em sistemas sensíveis ao contexto. (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Fundação Para o Desenvolvimento Tecnológico da Engenharia, . 2006.
Orientador: Jaime Simão Sichman.
38.   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.
39.   Neil Weikel. Linear programming and its applications to the real estate market. Dissertação (Mestrado em Mathematics) - Temple University, . 2006.
Orientador: Sinai Robins.
40.   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.
41.   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.
42.   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.
43.   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.
44.   Silvio Rodrigues de Faria Junior. Um ambiente computacional para um teste de significância bayesiano. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Julio Michael Stern.
45.   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.

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.   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.
6.   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.
7.   Danilo Zucolli Figueiredo. Desenvolvimento de Interfaces para o protótipo JOGOMAN. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Instituto Internacional de Ecologia. 2005.
Orientador: Jaime Simão Sichman.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   Issao Hirata, Juliana Barros, Marcelo Esperidião, Paulo R. M. Jogo RPG Multi-Usuário para Rede Celular. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2005.
Orientador: Jaime Simão Sichman.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   Nuno David. Verificação Empírica e Intencional de Programas em Simulação Social Baseada em Agentes. Tese (Doutorado em Informática) - Universidade de Lisboa, Fundação de Ciência e Tecnologia. 2005.
Supervisor: Jaime Simão Sichman.
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 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.
33.   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.
34.   Sara Jane Casare. Uma Ontologia Funcional de Reputação para Agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2005.
Orientador: Jaime Simão Sichman.
35.   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.
36.   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.
37.   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.
38.   Simone das Graças Domingues Prado. Um experimento no uso de ontologias para reforço da aprendizagem em educação à distância. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2005.
Orientador: Jaime Simão Sichman.
39.   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.
40.   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 Lidonês Borges. VideoXou: Um Sistema de Catalogação de Vídeos. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   Daniela de Moraes e Silva Granja. Modelo de Inferência Não Linear para Alocação de Carteira. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2004.
Orientador: Julio Michael Stern.
18.   Danielle Oliveira Estrella. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
19.   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.
20.   Diogo Gonçalves Villa Real. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
21.   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.
22.   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.
23.   Fernando da Conceição Lourenço. Dimensionamento e Alocação de Linhas em Portfólios de Crédito. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2004.
Orientador: Julio Michael Stern.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   Gustavo Alberto Giménez Lugo. Um modelo de sistemas multiagentes para partilha de conhecimento utilizando redes sociais comunitárias. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Jaime Simão Sichman.
30.   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.
31.   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.
32.   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.
33.   Issao Hirata. Implementação de protocolos de comunicação no ambiente KSaci. (Graduando em Engenharia Elétrica Modalidade Eletrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Jaime Simão Sichman.
34.   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.
35.   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.
36.   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.
37.   Júlio de Lima do Rego Monteiro. Simulação de parcerias entre agentes: uma extensão do sistema Part-Net. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2004.
Orientador: Jaime Simão Sichman.
38.   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.
39.   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.
40.   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.
41.   Leonardo T. Passos. Webconsultório. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
42.   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.
43.   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.
44.   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.
45.   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.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   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.
52.   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.
53.   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.
54.   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.
55.   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.
56.   Quele Rose Aragão de Jesus. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
57.   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.
58.   Renato Senda. Ambientes interativos tridimensionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004.
Orientador: Carlos Hitoshi Morimoto.
59.   Robson Araújo de Oliveira. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
60.   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.
61.   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.
62.   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.
63.   Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004.
Orientador: Renata Wassermann.
64.   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.
65.   Sergio Luiz Machado. VideoXou: Um Sistema de Catalogação de Vídeos. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
66.   Thaís B. Cannavale. Webconsultório. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004.
Orientador: Marco Aurélio Gerosa.
67.   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.
68.   Vitor Michele Ziruolo. Modelagem de Passivo de Fundos de Pensão. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2004.
Orientador: Julio Michael Stern.
69.   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.
70.   É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.   Alexander da Silva Paulo. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
6.   Alexander dos Santos Mello. E-learning rumo ao aperfeiçoamento do corpo docente, através de técnicas pedagógicas de instrução. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
7.   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.
Orientador: Cristina Gomes Fernandes.
8.   Andrew Yuan. Ontologias e a Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Renata Wassermann.
9.   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.
10.   André Luiz Perpétuo da Costa. CAP (Carlos Auto Peças): Sistema de Oficina Elétrica. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
11.   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.
12.   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.
13.   Bruno Klava. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
14.   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.
15.   Bárbara Zírpoli Duarte de Lima. CAP (Carlos Auto Peças): Sistema de Oficina Elétrica. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
16.   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.
17.   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.
18.   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.
19.   Christian Fornos Klein. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
20.   Cláudio Oliveira da Silva. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
27.   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.
28.   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.
29.   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.
30.   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.
31.   Franklin Yamaçake, Ivan Stoiev Ricardo Marin, Victor Lopes. Sistema de Monitoramento Pró-Ativo de Servidores. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2003.
Orientador: Jaime Simão Sichman.
32.   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.
33.   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.
34.   Issao Hirata. Rede Contratual Utilizando o Ambiente kSACI. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Jaime Simão Sichman.
35.   Jomi Fred Hübner. Um modelo de reorganização de sistemas multiagentes. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Jaime Simão Sichman.
36.   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.
37.   Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003.
Orientador: Renata Wassermann.
38.   Leonardo Marques Alves de 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.
39.   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.
40.   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.
41.   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.
42.   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.
43.   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.
44.   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.
45.   Maria das Graças Bruno Marietto. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Supervisor: Jaime Simão Sichman.
46.   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.
47.   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.
48.   Paulo André Lima de Castro. Uma infra-estrutura para agentes arrematantes em múltiplos leilões simultâneos. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2003.
Orientador: Jaime Simão Sichman.
49.   Rinaldo Ferreira Marinho. E-learning rumo ao aperfeiçoamento do corpo docente, através de técnicas pedagógicas de instrução. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
50.   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.
51.   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.
52.   Rusley Ribeiro dos Santos. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
53.   Terence Augusto Guimarães. Implementação do Método de Distribuição de Perdas para Risco Operacional. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2003.
Orientador: Julio Michael Stern.
54.   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.
55.   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.
56.   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.   Aislan Gomide Foina. Desenvolvimento de um ambiente baseado na WWW para o ensino de sistemas distribuídos. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Jaime Simão Sichman.
3.   Alexandre Magno. Professor Virtual. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2002.
Orientador: Marco Aurélio Gerosa.
4.   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.
5.   André Jacques Villas Boas Gares. Siscomer - Sistema de Controle Comercial. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2002.
Orientador: Marco Aurélio Gerosa.
6.   Antônio Carlos dos Santos. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   Cíntia Cristina Felizola,Danilo A. Ferreira,Emille Sugawara. Sistema de Marketing Direto na Internet. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2002.
Orientador: Jaime Simão Sichman.
13.   Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002.
Orientador: Renata Wassermann.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   Mahdi Hannoun. MOISE: Um modèle organisationnel pour les systèmes multi-agents. Tese (Doutorado em Informatique) - Ecole Nationale Superieure Des Mines de Saint Etienne, Region Rhône Alphes. 2002.
Supervisor: Jaime Simão Sichman.
30.   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.
31.   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.
32.   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.
33.   Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002.
Supervisor: Yoshiharu Kohayakawa.
34.   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.
35.   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.
36.   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.
37.   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.
38.   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.
39.   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.
40.   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.
41.   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.
42.   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.
43.   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.
44.   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.


(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 22/04/2025 21:29:31