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

Iniciação científica


Número total de itens: 318

2024

1.   Ana Yoon Faria de Lima. Cycling promotion using financial incentives: A pilot design to inform public policy in São Paulo, Brazil. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2024.
Orientador: Fabio Kon.
2.   Nikolas Oliver Sales Genesio. Arquitetura de Referência para Jogos Educacionais Digitais. (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. 2024.
Orientador: Pedro Henrique Dias Valle.
3.   Rafael de Oliveira Magalhães. Pesquisa sobre ferramentas disponíveis para testes de sistemas baseados em Machine Learning. (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. 2024.
Orientador: Ana Cristina Vieira de Melo.
4.   Theo Delgado Freitas. Um Ambiente de Gamificação para o Ensino de Teste de Mutação. (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, . 2024.
Orientador: Pedro Henrique Dias Valle.
5.   Ticiano de Oliveira Fracette. Uma Arquitetura de Referência de Apoio ao Desenvolvimento de Chatbots. (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2024.
Orientador: Pedro Henrique Dias Valle.

2023

1.   Antonio Fernando Silva e Cruz Filho. Modelos imagem-texto e sua compactação. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Apoio à Universidade de São Paulo. 2023.
Orientador: Nina Sumiko Tomita Hirata.
2.   Arthur Teixeira Magalhães. Classificação de espécies de aranha utilizando Transformers Visuais e Redes Convolucionais. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Nina Sumiko Tomita Hirata.
3.   David de Barros Tadokoro. Estudo, implementação e análise de estratégias para simplificar o modelo de contribuição do kernel Linux. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Paulo Roberto Miranda Meirelles.
4.   Eduarda Araujo Carvalho. Um sistema de recomendação para apoiar arquitetos de software na tomada de decisões arquiteturais. (Graduando em Ciências Exatas) - Universidade Federal de Juiz de Fora, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2023.
Orientador: Pedro Henrique Dias Valle.
5.   Eduardo Bobrow Falbel. Previsão de fluxos urbanos de bicicletas: métodos tradicionais vs. aprendizado de máquina explicável. Iniciação Científica - Instituto de Matemática e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Fabio Kon.
6.   Eduardo Sandalo Porto. Uma linguagem de domínio específico com tipos dependentes para processamento digital de imagens. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
7.   Heitor Barroso Cavalcante. Redes neurais convolucionais e transformers visuais aplicados à detecção de doenças em imagens de folhas de plantas. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Nina Sumiko Tomita Hirata.
8.   Julian Igor Alves de Sousa. IDENTIFICAC ̧AO DE FALHAS DECORRENTES DO USO DE TECNOLOGIAS DE INTELIGENCIA ARTIFICIAL NO ? DESENVOLVIMENTO DE VIDEOGAMES. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
9.   Kaique Nunes de Oliveira. Deep learning aplicado ao reconhecimento facial. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Nina Sumiko Tomita Hirata.
10.   Kawê Gonçalves Soares. Tópicos em Combinatória e Teoria dos Grafos. Iniciação Científica - Instituto de Astronomia, Geofísica e Ciências Atmosféricas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Yoshiko Wakabayashi.
11.   Marília Takaguti Dicezare. Uma Ferramenta de Simulações Interativas para Ensino de Computação para Crianças. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2023.
Orientador: Kelly Rosa Braghetto.
12.   Matias Oliveira Schwarz. Um algoritmo do tipo ADMM para programação semidefinida com aplicação em economia. (Graduando em Matemática Aplicada e Computacional Com Habilitação em Métodos Matemáticos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Gabriel Haeser.
13.   Miguel Pereira Ostrowski. Caracterização Topológica de Dinâmica de Redes Biológicas Modeladas por Redes Booleanas. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ronaldo Fumio Hashimoto.
14.   Pedro Hrosz Turini. Desenvolvimento de agentes inteligentes para Gestão da Cadeia de Produção. (Graduando em Engenharia de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Jaime Simão Sichman.
15.   Rafael de Oliveira Zimbrão. Sustentabilidade de Jogos Educacionais de Apoio a Educação em Computação. (Graduando em Ciências Exatas) - Universidade Federal de Juiz de Fora, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2023.
Orientador: Pedro Henrique Dias Valle.
16.   Victor Manuel Dias Saliba. Propriedades anti-Ramsey: não-existência de cópias multicoloridas. Iniciação Científica - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Guilherme Oliveira Mota.
17.   Victor Nascimento Ribeiro. Detecção de objetos em vídeo. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Apoio à Universidade de São Paulo. 2023.
Orientador: Nina Sumiko Tomita Hirata.
18.   Ágata Meireles Carvalho. Identificação de Desafios para Adoção de Recursos Educacionais Aberto no Ensino de Computação. (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. 2023.
Orientador: Pedro Henrique Dias Valle.

2022

1.   Ana Yoon Faria de Lima. Análise do Impacto da Pandemia no uso de bicicletas compartilhadas em São Paulo. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Fabio Kon.
2.   André Nogueira Ribeiro. Computação e Internet Quântica. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Fabio Kon.
3.   Gabriel Jacob Perin. Classificação de estrelas, galáxias e quasares baseada em imagens fotométricas multibandas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Nina Sumiko Tomita Hirata.
4.   Kelly Silva Jesus. Como começar a contribuir com o desenvolvimento do Kernel Linux?. (Graduando em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
5.   Lucas Santana Santos. As Metodologias Ágeis de desenvolvimento de software e o modelo de desenvolvimento de Software Livre: atualização do mapeamento dos valores e práticas compartilhadas. (Graduando em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
6.   Milena Correa da Silva. Análise visual de fluxos de mobilidade de pedestres com bundling. (Graduando em Ciência da Computação) - Universidade de São Paulo, Universidade de São Paulo. 2022.
Orientador: Fabio Kon.
7.   Pedro Rabello Sato. Coletando dados da experiência do desenvolvedor (e do mantenedor) ao contribuir com kernel Linux. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Paulo Roberto Miranda Meirelles.
8.   Thiago Pena. BikeScienceWeb. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Fabio Kon.

2021

1.   André Yuji Hisatsuga. Partições monocromáticas de grafos completos. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Guilherme Oliveira Mota.
2.   Daniela Gonzales Favero. Segmentação de imagens de ressonância pediátricas. (Graduando em Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Roberto Marcondes Cesar Junior.
3.   Fernanda Namie Takemoto Furukita. Solução simplificada do problema de coordenação da cadeia de suprimentos usando DCOP. (Graduando em Engenharia de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Jaime Simão Sichman.
4.   Gabriel Pinheiro Stirni Piedade. Phenotypic Neutral Space Analysis for Yeast Cell cycle Boolean Network. (Graduando em Ciências Biológicas - Ênfase em Biologia Evolutiva) - Universidade de São Paulo, . 2021.
Orientador: Ronaldo Fumio Hashimoto.
5.   Gustavo de Medeiros Carlos. Monitoramento e visualização geoespacial da saúde pública nas cidades brasileiras. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Fabio Kon.
6.   Jônatas de Souza Nascimento. Visualização em tarefas de classificação de imagens baseada em aprendizado profundo. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Nina Sumiko Tomita Hirata.
7.   Lucas Pires Stankus. Visualização de Dados de Saúde. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Fabio Kon.
8.   Magali Lemes do Sacramento. Análise dos modelos de desenvolvimento de projetos de Software Livre e das interações entre os integrantes de suas comunidades. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Paulo Roberto Miranda Meirelles.
9.   Matheus Lemos dos Reis. Projeto e implementação de um algoritmo para remoção de ambiguidade de nome de autores em bases bibliográficas baseado em restrições estruturais e contextuais. (Graduando em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro, . 2021.
Orientador: Fábio Happ Botler.
10.   Pedro Gigeck Freire. Índice de ciclabilidade baseado em dados. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Fabio Kon.
11.   Rubens Gomes Neto. O que observar enquanto um desenvolvedor contribui com o Kernel Linux?. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Paulo Roberto Miranda Meirelles.
12.   Thiago Lima Oliveira. Spectral Sparsification of Graphs. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2021.
Orientador: Marcel Kenji de Carli Silva.

2020

1.   Ayrton Amaral Alves Vitor. Extracting Urban Features from Street Level Images. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Roberto Hirata Junior.
2.   Germano Hüning Neuenfeld. Approximation Algorithms and the Spanning Tree Polytope. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2020.
Orientador: Marcel Kenji de Carli Silva.
3.   Gustavo de Medeiros Carlos. Monitoramento e Visualização Geoespacial da Saúde Pública nas Cidades Brasileiras. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Paulo Roberto Miranda Meirelles.
4.   Isabella Basso do Amaral. Tópicos clássicos e contemporâneos em Combinatória Extremal. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Guilherme Oliveira Mota.
5.   Lucas Pires Stankus. Mobilidade e Internações Hospitalares: uma análise integrada. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientadores: Fabio Kon, Paulo Roberto Miranda Meirelles.
6.   Pedro Henrique Barbosa de Almeida. Segmentação de imagens com redes neurais totalmente convolucionais. (Graduando em Ciência daComputação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Nina Sumiko Tomita Hirata.

2019

1.   Ariel Serranoni Soares da Silva. Relative Entropy Optimization and Applications in Statistical Learning. (Graduando em Bacharelado em Matemática Aplicada) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2019.
Orientador: Marcel Kenji de Carli Silva.
2.   Artur Henrique Allen Santos. Propriedades anti-Ramsey: encontrando cópias multicoloridas. (Graduando em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Guilherme Oliveira Mota.
3.   Fabio Luis Arruda Fernandes. Comparação de métodos de detecção de motifs em redes biológicas. (Graduando em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Guilherme Oliveira Mota.
4.   Gabriely Rangel Pereira. Projeto e implementação de uma arquitetura baseada em serviços e suas aplicações para visualização de dados de saúde georreferenciados. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Fabio Kon.
5.   Marcelo Schmitt. Desenvolvimento de drivers para concepção de uma infraestrutura para integração contínua em sistemas de IoT. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
6.   Rafael Zuolo Coppini Lima. Algoritmos e imersões métricas. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Yoshiharu Kohayakawa.

2018

1.   Ana Elisa Ribeiro Orsi. Determinação da Filogenia Tumoral e Análise de Expressão Gênica Diferenciada em Melanoma. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2018.
Orientador: Ronaldo Fumio Hashimoto.
2.   Anderson Andrei Silva. Transmissão de vídeo em ambientes 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. 2018.
Orientador: Alfredo Goldman vel Lejbman.
3.   André Anderson de Jesus Oliveira. Tópicos em combinatória contemporânea. (Graduando em Matemática) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Guilherme Oliveira Mota.
4.   Antonio Carlos Santos de Lima. Introdução à Convexidade. (Graduando em Ciências de Computação) - Universidade de São Paulo, Programa Unificado de Bolsas USP. 2018.
Orientador: Gabriel Haeser.
5.   Camila Naomi Kodaira. Projeto e Implementação de uma Arquitetura de Informação e Desing Centrado no Usuário para aplicações de visualização de dados de saúde georreferenciados.. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
6.   Christian Renno Chaves. Convexidade Escondida. (Graduando em Abi - Matemática Aplicada e Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Gabriel Haeser.
7.   Douglas Luan de Souza. Aprendizagem de Máquina baseado em Segmentos de Reta com estimação de parâmetros pelo método da máxima verossimilhança. (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, . 2018.
Orientador: Ronaldo Fumio Hashimoto.
8.   Eduardo Gonçalves Pinheiro. Desenvolvimento de aplicações para visualização espacial de dados de saúde da cidade de São Paulo. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Paulo Roberto Miranda Meirelles.
9.   Felipe de Oliveira Campos Moreira. Processamento de sinais com sensores em dispositivos móveis. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Gomes de Queiroz.
10.   Gabriel Fernandes. Decomposição de grafos em caminhos. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Guilherme Oliveira Mota.
11.   Gabrielle Sayuri Komatsu Minohara. Caracterização de Sistemas de Informação da área da Saúde disponibilizados sob uma licença de Software Livre. (Graduando em Tecnologia em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
12.   Gabriely Rangel Pereira. Projeto e Implementação de uma arquitetura baseada em serviço e suas aplicações para visualização de dados de saúde georreferenciados. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
13.   Lucca Castro Zuttin. Uma interface gráfica para o arcabouço probabilístico TOPS. (Graduando em Ciência da Computação) - Centro Universitário das Faculdades Metropolitanas Unidas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Alan Mitchell Durham.
14.   Marcelo Soares Campos. Um panorama sucinto da matemática com ênfase em combinatória. (Graduando em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
15.   Pedro Henrique Barbosa de Almeida. Aprendizado de transformações de imagens via classificação de microrregiões. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Nina Sumiko Tomita Hirata.
16.   Pedro Marcondes. Algoritmos de otimização em problemas de processamento de sinais digitais: Design de filtros. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Gomes de Queiroz.
17.   Richard Raphael. Método da regularidade. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, . 2018.
Orientador: Guilherme Oliveira Mota.
18.   Victor Seiji Hariki. IoTrees. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Alfredo Goldman vel Lejbman.
19.   Yurick Yussuke Honda. Projeto e Implementação de uma Arquitetura de Referência para aplicações de visualização de dados de saúde georreferenciados. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientadores: Fabio Kon, Paulo Roberto Miranda Meirelles.

2017

1.   Antônio Augusto Abello. Uso de Redes Neurais Mistas Para Classificação de Plâncton. (Graduando em Ciências de Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Roberto Hirata Junior.
2.   Augusto César Monteiro Silva. Aprendizado de operadores de imagens baseado em características locais. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Nina Sumiko Tomita Hirata.
3.   Bruno Pasqualotto Cavalar. Pontes em matemática e computação. Iniciação Científica - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Yoshiharu Kohayakawa.
4.   Giuliano Augusto Belinassi. Paralelização de código em GPU. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Alfredo Goldman vel Lejbman.
5.   Ian Carvalho. Algoritmos de Aprendizado de Máquina em GPU. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Alfredo Goldman vel Lejbman.
6.   Nathan Benedetto Proença. Sampling Spanning Trees: Theory and Algorithms. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2017.
Orientador: Marcel Kenji de Carli Silva.
7.   Nicolas Silverio Figueiredo. Técnicas de filtragem em gravações de cantos de pássaros. (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
8.   Rafael Wilton Barboza Coracini. Análise de Terreno para Inteligências Artificiais de Jogos de Estratégia em Tempo Real via Transformada Imagem-Floresta (IFT). (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Paulo André Vechiatto de Miranda.
9.   Thayná Gonçalves da Silveira. Teoria de Grafos e Técnicas Combinatórias. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Guilherme Oliveira Mota.

2016

1.   Ana Carolina Rodrigues. Análise de dados em linguagem natural extraídos do Twitter utilizando técnicas de aprendizado de máquina. (Graduando em Letras) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Roberto Hirata Junior.
2.   Eber Saj Porcacchia. Redes neurais multicamadas e convolucionais aplicadas à segmentação de vasos sanguíneos. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Nina Sumiko Tomita Hirata.
3.   Felipe de Oliveira Campos Moreira. Técnicas para síntese expressiva. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marcelo Gomes de Queiroz.
4.   Felipe Silva Felix. Audio thumbnailing. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marcelo Gomes de Queiroz.
5.   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. 2016.
Orientador: Jaime Simão Sichman.
6.   Marcela Terakado. Computação de Alto Desempenho. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Alfredo Goldman vel Lejbman.
7.   Rafael Reis da Silva. Combinação de operadores heurísticos de imagens. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Nina Sumiko Tomita Hirata.
8.   Rafael Wilton Barboza Coracini. Descritores de formas baseados no Esqueleto Multiescala via Transformada Imagem-Floresta (IFT). (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Paulo André Vechiatto de Miranda.
9.   Thais Lima de Sousa. Técnica de segmentação hierárquica de imagem baseada em grafos com pesos. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2016.
Orientador: Ronaldo Fumio Hashimoto.
10.   Victor Sanches Portella. Algoritmos quase lineares para fluxos em grafos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Marcel Kenji de Carli Silva.

2015

1.   Alessandro Caetano Beltrão. 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.
2.   André Bernardes Soares Guedes. 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.
3.   Arthur Jahn Sturzbecher. 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.
4.   Bruna Nayara Moreira 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. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
5.   Caio Truzzi Lente. Empreendedorismo: uma abordagem orientada por dados. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Fabio Kon.
6.   Carlos Henrique Ferreira 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.
7.   Carolina Barros Ramalho. 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.
8.   Charles Daniel 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.
9.   Daniel Jorge Renjiffo. Computação de Alto Desempenho. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Alfredo Goldman vel Lejbman.
10.   Dylan Jefferson Maurício Guimarães Guedes. 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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   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.
33.   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.
34.   Á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.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   Luciano Kenji Sugiura. Beerspot - vivendo uma startup. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Fabio Kon.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   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.
33.   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.
34.   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.

2013

1.   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.
2.   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.
3.   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.
4.   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.
5.   Leonardo Nagami Coregliano. Técnicas Modernas em Combinatória. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2013.
Orientador: Yoshiharu Kohayakawa.
6.   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.
7.   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.

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.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
12.   Renato Cordeiro Ferreira. Anotação de genomas. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Alan Mitchell Durham.

2011

1.   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.
2.   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.
3.   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.
4.   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.
5.   Giulia Satiko Maesaka. Otimização Combinatória e Complexidade. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2011.
Orientador: Yoshiharu Kohayakawa.
6.   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.
7.   Lucas Colucci Cavalcante de Souza. Teoria Combinatória dos Números. (Graduando em Matemática) - Universidade de São Paulo, . 2011.
Orientador: Yoshiharu Kohayakawa.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.

2010

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.

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.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   Guilherme Mussi Toschi. Editor Gráfico para o Modelo Organizacional MOISE+. (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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   Renato Coelho. Algoritmos Fatorados de Planejamento sob incerteza. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2009.
Orientador: Leliane Nunes de Barros.
22.   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.
23.   Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marcelo Finger.
24.   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.
25.   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.

2008

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   Pedro Matiello. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
10.   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.
11.   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.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.

2006

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.

2005

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.

2004

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004.
Orientador: Renata Wassermann.

2003

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003.
Orientador: Renata Wassermann.
8.   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.
9.   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.
10.   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.

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.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   Yang Yili. AcMus - Software para cálculo de parâmetros acústicos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Fabio Kon.

2001

1.   Alexandre Freire da Silva. XPUSP um sistema para atribuição didática. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Alfredo Goldman vel Lejbman.
2.   Anselmo H Kumazawa. Algoritmos genéticos para segmentação de imagens multiespectrais. (Graduando em Computação) - Universidade de São Paulo, . 2001.
Orientador: Roberto Marcondes Cesar Junior.
3.   D da S Pires. Segmentação de imagens baseada em casamento de grafos. (Graduando em Computação) - Universidade de São Paulo, . 2001.
Orientador: Roberto Marcondes Cesar Junior.
4.   Fernando Correa de Lima. Interface para programas de linguistica computacional. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
Orientador: Marcelo Finger.
5.   Flavio Protasio Ribeiro. Revisão de Crenças e Manutenção de Consistência. (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.
6.   Gláucio S Lé. Métodos de clustering em bioinformática. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
7.   Raphael Gustavo D'Almeida Vilamiu. Técnicas de Inteligência Artificial para Jogos - Sokoban. (Graduando em Bacharelado em Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Leliane Nunes de Barros.
8.   Rodrigo Admir Vaz. Desenvolvimento de uma Biblioteca de Comportamentos para Futebol de Robôs. (Graduando em Engenharia Elétrica Modalidade Eletrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Jaime Simão Sichman.
9.   Thiago Carvalho de Sousa. Revisão de Crenças e Banco de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.

2000

1.   André Casado Castanho. Desenvolvimento de um toolbox HTML para o Matlab. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Roberto Marcondes Cesar Junior.
2.   J. J. G. Leandro. Análise de formas de estruturas de ramificação. (Graduando em Computação) - Universidade de São Paulo, . 2000.
Orientador: Roberto Marcondes Cesar Junior.
3.   Marcelo Sanomiya. Adaptação do Sistema DEPINT ao ambiente SACI. (Graduando em Engenharia Elétrica Modalidade Eletrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: Jaime Simão Sichman.


(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 18/02/2025 13:31:56