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

Dissertação de mestrado


Número total de itens: 552

2024

1.   Antônio Kaique Barroso Fernandes. Decomposition and Separation Problems in 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. 2024.
Orientador: Guilherme Oliveira Mota.
2.   Ariel Serranoni. Nonlinear symmetric cone programming: a geometric perspective. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2024.
Orientador: Gabriel Haeser.
3.   Bruno Vianna Bitelli. Extração de informações numéricas em textos jurídicos usando Grandes Modelos de Língua (LLMs). Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Marcelo Finger.
4.   Críscilla Maia Costa Rezende. Mod-REAPC: Um Modelo Conceitual para o Desenvolvimento de Sistemas de Recomendação de Recursos Educacionais Abertos para o Pensamento Computacional. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2024.
Orientador: Pedro Henrique Dias Valle.
5.   César Augusto dos Santos Bispo. Problemas de densidade relacionados a uma conjectura de Erdős. 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. 2024.
Orientador: Guilherme Oliveira Mota.
6.   Davy Alves de Souza. Optimal repair and pseudo contraction. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Renata Wassermann.
7.   Diego Andrés Méndez. Um modelo leve de filtragem da língua portuguesa do Brasil treinado utilizando aprendizado ativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Marcelo Finger.
8.   Diego Mauricio Mansilla Mallqui. Separation of plankton images from non-plankton images based on deep learning. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2024.
Orientador: Nina Sumiko Tomita Hirata.
9.   Diego Santana Sarafim. Abordagem baseada em aprendizado de máquina para detecção de code smells em JavaScript. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2024.
Orientador: Karina Valdivia Delgado.
10.   Ednilza Evangelista da Silva Nardi. Caracterização e delimitação do aprendizado retrospectivo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Tribunal de Justiça de São Paulo. 2024.
Orientador: João Eduardo Ferreira.
11.   Fernando Poliano Tarouco Corrêa. Testes Não Paramétricos Para Árvores de Pólya Versões não paramétricas do FBST. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, . 2024.
Orientador: Julio Michael Stern.
12.   Gabriel Alves dos Santos. Tesutā: Um guia para apoiar a condução de testes metamórficos em chatbots. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2024.
Orientador: Pedro Henrique Dias Valle.
13.   Gabriel Morete de Azevedo. On rounding algorithms for the 2-edge-connected spanning subgraph problem. 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. 2024.
Orientador: Yoshiko Wakabayashi.
14.   Gabriel Pinheiro Strini Piedade. Neutral space analysis of the yeast cell cycle using threshold Boolean networks. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024.
Orientador: Ronaldo Fumio Hashimoto.
15.   Hector Montenegro Terceros. Word Sense Disambiguation by Reapplication of Dictionaries. 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. 2024.
Orientador: Ronaldo Fumio Hashimoto.
16.   José Augusto Oliveira da Costa Moreira. ScrumBGC: Um Jogo De Tabuleiro Para Apoiar O Ensino De Scrum. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2024.
Orientador: Pedro Henrique Dias Valle.
17.   Kecia Souza Santana Santos. Dealing with the diversity of interoperability types: a conceptual model. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . 2024.
Supervisor: Pedro Henrique Dias Valle.
18.   Luan C. da S. Casagrande. Combining UAV and Multi-Source Satellite Data for Sub-Pixel Classification of Forest Vegetation in Riparian Zones. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Roberto Hirata Junior.
19.   Lucas Sampaio da Rocha. Decomposições Localmente Irregulares. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . 2024.
Supervisor: Guilherme Oliveira Mota.
20.   Renan Cesar Jacomassi. An investigation on Deep Active Learning. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Nina Sumiko Tomita Hirata.
21.   Renato de Souza Garcia. CoderBot: um assistente virtual para apoiar a aprendizagem de programação por meio de worked examples. Dissertação (Mestrado em ENGENHARIA DE SOFTWARE) - Universidade Federal do Pampa, . 2024.
Supervisor: Pedro Henrique Dias Valle.
22.   Samara Beatriz Naka de Vasconcellos. Métodos físicos e computacionais para análises de alterações em pinturas do patrimônio histórico-cultural. Dissertação (Mestrado em Física) - Universidade de São Paulo, . 2024.
Supervisor: Nina Sumiko Tomita Hirata.

2023

1.   Adauton Heringer. End-to-end learning for autonomous vehicles - a narrow approach. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
2.   Alan Barzilay. Utilizando técnicas de processamento de linguagem natural para refatoração automática de código. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2023.
Orientador: Marcelo Finger.
3.   Andre Massahiro Shimaoka. Agilidade em projetos de ciências de dados: Um estudo sobre a adoção do método ágil XP com modelo de processo CRISP-DM. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
4.   Caio Truzzi Lente. The Role of Feedback Loops in Recommender System Bias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Hirata Junior.
5.   Diego Cardozo Sandrim. A influência das métricas de código no número de desenvolvedores em projetos de código-fonte aberto. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
6.   Douglas A. de Oliveira. BASWE: Balanced Accuracy-based Sliding Window Ensemble para classificação em fluxos de dados desbalanceados e com concept drift. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2023.
Orientador: Karina Valdivia Delgado.
7.   Eduardo Lopes P. Neto. Sensibilidade ao Risco com Funções Exponenciais em Aprendizado por Reforço: Uma Análise Empírica.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Karina Valdivia Delgado.
8.   Fernando Lemes da Silva. Kubeowl - Um arcabouço para detecção de anomalias em requisições HTTP Monitorando microsserviços em um ambiente de produção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
9.   Gabriel Nunes Crispino. Compromissos arbitrários entre custo e probabilidade à meta e algoritmo de busca heurística em planejamento probabilístico sob o critério GUBS. 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. 2023.
Orientador: Karina Valdivia Delgado.
10.   Gabriel Torres Gomes Pato. Análises computacionais para identificação de RNAs longos não codificadores com relevância clínica e biológica no adenocarcinoma de pâncreas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: João Eduardo Ferreira.
11.   Gianluca T. Ciccarelli. Um estudo de geração de quadros intermediários usando redes generativas para auxiliar artistas de animações tradicionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Hirata Junior.
12.   Giovana Martinelli. Análise da distribuição geográfica de doenças causadoras de óbitos na cidade de São Paulo utilizando aprendizado de máquina. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2023.
Orientador: Fabio Kon.
13.   Giovana Morais. Características rítmicas em sinais de áudio musicais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Marcelo Gomes de Queiroz.
14.   Jackson José de Sousa. Classificação de decisões do Supremo Tribunal Federal: um estudo da robustez da rede de decisões e identificação de leading cases. 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. 2023.
Orientador: Marcelo Finger.
15.   José Luiz Pimenta. Rede Especialista em Segmentação Automática da Fossa Craniana Posterior na População Pediátrica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Marcondes Cesar Junior.
16.   Lucas de Carvalho Dias. Text recognition for urban informatics. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Marcondes Cesar Junior.
17.   Lucas Motta Freire. Condições de qualificação para otimização semidefinida. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Gabriel Haeser.
18.   Luiz Fernando Braz. Personalify: A framework for implementing MBTI agents. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2023.
Orientador: Jaime Simão Sichman.
19.   Lyang Higa Cano. Decoding Ubiquitination in the Fight Against Malaria: A Network-Based Exploration of E1-E2-E3 Triples in Plasmodium falciparum. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Ronaldo Fumio Hashimoto.
20.   Marcelo Santos do Nascimento. Caracterização arquitetural de um sistema do mercado financeiro. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
21.   Matheus Pereira de Almeida. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Karina Valdivia Delgado.
22.   Murilo Borges Ribeiro. Uma plataforma para integração de dados para cidades inteligentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Kelly Rosa Braghetto.
23.   Rafael Kazuhiro Miyazaki. Arithmetic progressions in sumsets of random sets. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, . 2023.
Orientador: Yoshiharu Kohayakawa.
24.   Rafael Molinari Cheang. A Centralized Norm Synthesis And Norm Enforcement Framework For Governing Mixed-Motive Multiagent Reinforcement Learning Environments. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2023.
Orientador: Jaime Simão Sichman.
25.   Roberto Almeida Shimizu. Creditworthiness using social capital. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
26.   Rodrigo Aparecido Enju. Uma conjectura de Erdős e Hajnal. 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. 2023.
Orientador: Yoshiharu Kohayakawa.
27.   Rodrigo Ehrlich Stevaux. A Formalization of a Startup Finance Transaction Model using Alloy. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
28.   Victor Gomes de Oliveira Martins Nicola. kNN multirrótulo autoajustável robusto ao desbalanceamento para classificação em fluxo de dados. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2023.
Orientador: Karina Valdivia Delgado.

2022

1.   Bruno Ramos Lima Netto. TWO PROBLEMS IN COMBINATORICS: ROLLER COASTER PERMUTATIONS & THE ERDŐS-SÓS CONJECTURE. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Fábio Happ Botler.
2.   Diogo Eduardo Lima Alves. Funções Limiares para Propriedades anti-Ramsey. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Guilherme Oliveira Mota.
3.   Felix Yowtang Liu. Uma análise espectral do grafo com clique plantada. 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. 2022.
Orientador: Yoshiharu Kohayakawa.
4.   Florence Alyssa Sakuma Shibata. Remote sensing for urban informatics. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Roberto Marcondes Cesar Junior.
5.   Gabriel Mariano de Castro Silva. Enhancing impersonation fraud detection on smart buildings physical access control systems: an anomaly-based approach using social groups trajectories data. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2022.
Orientador: Jaime Simão Sichman.
6.   Gabriely Rangel Pereira. Análise e Visualização do Processo de Regionalização do Sistema Único de Saúde no Brasil: Uma Perspectiva em Sistemas Complexos. Dissertação (Mestrado 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.
7.   Jared León Malpartida. A generalization of the block decomposition for $k$-connected 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. 2022.
Orientador: Yoshiharu Kohayakawa.
8.   João Francisco Lino Daniel. "Detecção automática de Padrões em Arquiteturas baseadas em Microsserviços". Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Alfredo Goldman vel Lejbman.
9.   Juliana Orro Marquez. Heurísticas de Usabilidade para Mapas Interativos na Web. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Supervisor: Paulo Roberto Miranda Meirelles.
10.   Juliane Kristine de Lima. Cobertura de grafos aleatórios por componentes monocromáticas. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Guilherme Oliveira Mota.
11.   Karlson Tellicio Bezerra. Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra. 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. 2022.
Supervisor: Kelly Rosa Braghetto.
12.   Karlson Tellicio Bezerra de Lima. Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Fabio Kon.
13.   Larissa de Oliveira Penteado. Model learning for structural MRI segmentation. 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. 2022.
Orientador: Roberto Marcondes Cesar Junior.
14.   Lucas Silva Arenstein. An introduction to quantum: computing, communication complexity protocols, nonlocality and graph parameters. 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. 2022.
Orientador: Yoshiharu Kohayakawa.
15.   Marcelo Schmitt. Automated tests on Linux kernel device drivers: How are device drivers being tested?. 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. 2022.
Orientador: Paulo Roberto Miranda Meirelles.
16.   Matheus Tavares Bernardino. Parallelizing Git Checkout: a Case Study of I/O Parallelism on Desktop Applications. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Alfredo Goldman vel Lejbman.
17.   Rafael Almeida da Costa Schneider. ESTRUTURAS ESPECIAIS EM DIGRAFOS COM GRAU DE SAÍDA MÍNIMO PRESCRITO: FLORESTAS DE CICLOS E FEEDBACK ARC SETS. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Fábio Happ Botler.
18.   Rafael Zuolo Coppini Lima. Dimension reduction in projective clustering. 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. 2022.
Orientador: Yoshiharu Kohayakawa.
19.   Robson Pereira Aleixo. Predição de surtos de dengue e diagnóstico de Sífilis Congênita utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Supervisor: Fabio Kon.
20.   Thaynara Cristina Maia dos Santos. Ensino de Robótica Educacional utilizando metodologias lúdicas e ativas para o desenvolvimento do pensamento computacional. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
21.   Uriel Salazar Martinez. Funçõees limiares para propriedades anti-Ramsey. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Guilherme Oliveira Mota.
22.   Ângelo Lovatto. Model-based policy gradients: an empirical study on linear quadratic environments. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Leliane Nunes de Barros.

2021

1.   Alexandre Cesar Pessoa. Integração de bases de dados com uso 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. 2021.
Orientador: Renata Wassermann.
2.   Ana Carolina Rodrigues Cavalcante Martinazzo. A self-supervised learning approach for astronomical images. 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. 2021.
Orientador: Nina Sumiko Tomita Hirata.
3.   Bruno Leme. Classificação automática de documentos de características econômicas de defesa jurídica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Marcelo Finger.
4.   Caio Lopes Demario. Métodos híbridos via energias quadráticas em grafos direcionados para segmentação de imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Paulo André Vechiatto de Miranda.
5.   Eduardo Dias Filho. Compiladores para as Linguagens da Abordagem WED-flow. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: João Eduardo Ferreira.
6.   Fabio Neves Rocha. Geração de transições curtas de animações humanas 3D. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2021.
Orientador: Karina Valdivia Delgado.
7.   Felipe Ribas Serras. Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos. 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. 2021.
Orientador: Marcelo Finger.
8.   Fernando Freire Scattone. Processamento de eventos complexos nativo de nuvem para cidades inteligentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Kelly Rosa Braghetto.
9.   Gervásio Protásio dos Santos Neto. The Theory and Computation of Solid Angles. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2021.
Orientador: Sinai Robins.
10.   Girolamo Santoro. Complexidade de problemas de verificação de consistência transacional. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . 2021.
Orientador: Fábio Happ Botler.
11.   Giuliano Augusto Faulin Belinassi. Paralelizando um Compilador: Um estudo com o GCC. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Alfredo Goldman vel Lejbman.
12.   Henrique Dias Pastor. Algoritmos para o problema de Caminho mais Curto Estocástico Sensível a Risco usando função de transformação linear por partes. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2021.
Orientador: Karina Valdivia Delgado.
13.   Jainor Nestor Cardenas Choque. Optimal Communication Spanning Tree. 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. 2021.
Orientador: Yoshiko Wakabayashi.
14.   Juan Daniel Copacondo Mamani. Dependência Linear Local e Condições de Otimalidade em Otimização não Convexa. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Gabriel Haeser.
15.   Melissa Shihfan Ribeiro Wen. What Happens When The Bazaar Grows: A comprehensive study on the contemporary Linux kernel development model. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientadores: Fabio Kon, Paulo Roberto Miranda Meirelles.
16.   Nathan Benedetto Proença. Combinatorial and Geometric Dualities in Graph Homomorphism Optimization Problems. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Marcel Kenji de Carli Silva.
17.   Pamela Rosy Revuelta Quintanilla. Comparing vector document representation methods for authorship identification. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Flavio Soares Correa da Silva.
18.   Paula Kintschev Santana de Moraes. Ensino de Inteligência Artificial com uso de Robôs Móveis. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Leliane Nunes de Barros.
19.   Sergio Yuji Hayashi. Leitura de planilhas de xadrez manuscritas usando redes neurais com mecanismos de atenção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Nina Sumiko Tomita Hirata.
20.   Tallys Gustavo Martins. Visualização de Fluxos de Mobilidade Urbana com Bundling. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Fabio Kon.
21.   Vinícius Bitencourt Matos. Revisão de Crenças em Lógicas de Descrição. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Renata Wassermann.
22.   Wanderson Douglas Lomenha Pereira. Decomposições irregulares de grafos. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Fábio Happ Botler.

2020

1.   Augusto César Monteiro Silva. Comparative Analysis of Image-to-Image Transformation Learning Approaches. 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. 2020.
Orientador: Nina Sumiko Tomita Hirata.
2.   Bruno Pasqualotto Cavalar. Sunflower theorems in monotone circuit complexity. 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. 2020.
Orientador: Yoshiharu Kohayakawa.
3.   Fernanda de Camargo Magano. Dataflows de tempo real como abstração para ferramentas de processamento de Big Data. 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. 2020.
Orientador: Kelly Rosa Braghetto.
4.   Guilherme Jun Yoshimura. Processamento de fala para triagem de distúrbios fonológicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Marcelo Gomes de Queiroz.
5.   Karina Suemi Awoki. Árvores entrelaçadoras de polinômios e grafos de Ramanujan. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcel Kenji de Carli Silva.
6.   Leonardo Blanger. An Analysis of Sample Synthesis for Deep Learning based Object Detection. 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. 2020.
Orientador: Nina Sumiko Tomita Hirata.
7.   Luiz Felipe F. Dias. A model for the classification of documentation for newcomers to open source software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Marco Aurélio Gerosa.
8.   Luiz Henrique Silva Hoffmann. Decomposition of (2k+1)-regular graphs containing special spanning 2k-regular Cayley graphs into paths of length 2k+1. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Fábio Happ Botler.
9.   Marcelo de Rezende Martins. A Convolutional Neural Network approach to code retrieval. Dissertação (Mestrado em Computação) - INSTITUTO DE PESQUISAS TECNOLÓGICAS E CIENTÍFICAS, . 2020.
Orientador: Marco Aurélio Gerosa.
10.   Milton Condori. Maximum Goal Probability in Probabilistic Planning. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Leliane Nunes de Barros.
11.   Nicolas Silverio Figueiredo. Efficient adaptive multiresolution representation of music signals. 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. 2020.
Orientador: Marcelo Gomes de Queiroz.
12.   Renato Cordeiro Ferreira. Uma Implementação Integrada de Modelos Probabilísticos Gráficos. 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. 2020.
Orientador: Alan Mitchell Durham.
13.   Shayenne da Luz Moura. Deteção de Voz Cantada em SInais de Áudio Polifônicos. 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. 2020.
Orientador: Marcelo Gomes de Queiroz.
14.   Thiago Ildeu Albuquerque Lira. Modelos Neurais para Regressão em Séries Temporais. 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. 2020.
Orientador: Marcelo Finger.

2019

1.   Angélica María Narváez Vivas. Otimização Aplicada ao Planejamento de Dosagem Radioterápica para o Tratamento do Câncer. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Supervisor: Gabriel Haeser.
2.   Bruno T. da S. Lopes. Predição de genes ab initio combinada com informações de alinhamento. 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. 2019.
Orientador: Alan Mitchell Durham.
3.   Débora Lina Ciriaco. Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo. 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. 2019.
Orientador: Renata Wassermann.
4.   Dênis Benevolo Pais. Abordagens eficientes e aproximadas com políticas estacionárias para CVaR MDP. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2019.
Orientador: Karina Valdivia Delgado.
5.   Everton Rodrigues Reis. PROFTS: A Multi-Agent Automated Trading System. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2019.
Orientador: Jaime Simão Sichman.
6.   Felipe Ferreira Laskoski. Personalização da Experiência em Museus: Aplicação Real de um Sistema de Recomendação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2019.
Orientador: Alfredo Goldman vel Lejbman.
7.   Fábio Goródscy. Estratégias de alinhamento para consulta cantarolada. 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. 2019.
Orientador: Marcelo Gomes de Queiroz.
8.   Iago Breno Araújo. Urban object detection under rainy images. 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. 2019.
Orientador: Roberto Marcondes Cesar Junior.
9.   Igor Conrado Alves de Lima. GAVEL: A Sanction-Based Regulation Mechanism for Normative Multiagent Systems. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Jaime Simão Sichman.
10.   Lucas Henrique Morais. Adding Native Support for Task Scheduling to a Linux-capable RISC-V Multicore System.. 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. 2019.
Orientador: Alfredo Goldman vel Lejbman.
11.   Lucas Kanashiro Duarte. Experimentação baseada em simulação em sistemas para cidades inteligentes. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Fabio Kon.
12.   Luis Gustavo Ludescher. Efeitos de estratégias de distribuição de recursos e perfis de perseverança na dinâmica de coalizões baseadas em agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Jaime Simão Sichman.
13.   Mariane Valerio Gonzales. A Importância da Análise Detalhada dos Erros na Classificação de Imagens de Planktons. 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. 2019.
Orientador: Roberto Hirata Junior.
14.   Rodrigo Müller de Carvalho. Monitoramento do ambiente de execução de processos WED-Flow. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2019.
Orientador: João Eduardo Ferreira.
15.   Rodrigo Siqueira Jordão. Uma visão sobre a próxima geração de abstrações de processos em sistemas operacionais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Fabio Kon.
16.   Victor Sanches Portella. Online Convex Optimization: Algorithms, Learning, and Duality. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Marcel Kenji de Carli Silva.
17.   Vinícius Jorge Vendramini. Transpilers with maintainable outputs as a dependency-free approach to cross-platform app development: a case study with Swift. 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. 2019.
Orientador: Alfredo Goldman vel Lejbman.
18.   Willy Arthur Silva Reis. Algoritmos Assíncronos de Iteração de Política para Processos de Decisão Markovianos com Probabilidades Intervalares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Karina Valdivia Delgado.

2018

1.   André Domingues da Silva Jalbut. Avaliação do impacto da confiança em cadeias de suprimento através de simulação baseada em agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2018.
Orientador: Jaime Simão Sichman.
2.   Antonio Abello. Two Studies on Convolutional Neural Network?s Sensibility to Resolution. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Roberto Hirata Junior.
3.   Arthur de Moura Del Esposte. A scalable microservice-based open source platform for smart cities. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Fabio Kon.
4.   Artur André Almeida de Macedo Oliveira. Cidades inteligentes, visão computacional, vegetação urbana, Google Street View. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Roberto Hirata Junior.
5.   Artur Vidal Maia. Autonomia de planejamento no modelo organizacional MOISE. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2018.
Orientador: Jaime Simão Sichman.
6.   Athos Coimbra Ribeiro. Ranking Source Code Static Analysis Warnings for Continuous Monitoring of Free/Libre/Open Source Software Repositories. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientadores: Fabio Kon, Paulo Roberto Miranda Meirelles.
7.   Bruno Padilha. WED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, National Institutes of Health. 2018.
Orientador: João Eduardo Ferreira.
8.   Caio Henrique Bos Loureiro. Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Ana Cristina Vieira de Melo.
9.   Charles Mendes de Macedo. Aplicação de algoritmos de agrupamento para descoberta de padrões de defeito em software JavaScript. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2018.
Orientador: Karina Valdivia Delgado.
10.   Daniel Augusto de Melo Moreira. Algoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao Risco. 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. 2018.
Orientador: Karina Valdivia Delgado.
11.   Elthon Manhas de Freitas. Planejamento probabilístico sensível a risco com ILAO* e função utilidade exponencial. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Karina Valdivia Delgado.
12.   Giulia Satiko Maesaka. Grafos e hipergrafos com cintura e número cromático grandes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Yoshiharu Kohayakawa.
13.   Hardy José Santos de Miranda. Análise de métodos para reconstrução de artefatos voltados à paleontologia virtual em museus. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Ricardo Nakamura.
14.   Igor Oliveira Borges. Estratégias para otimização do algoritmo de Iteração de Valor Sensível a Risco. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Karina Valdivia Delgado.
15.   Jessica Leite Pituba. Jogos educativos adaptativos utilizando estilos de aprendizagem Felder-Silverman. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2018.
Orientador: Ricardo Nakamura.
16.   Leonardo Makoto Mito. O problema de cobertura via geometria algébrica convexa. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Gabriel Haeser.
17.   Luciana de Melo e Abud. Modelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultos. 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. 2018.
Orientador: Kelly Rosa Braghetto.
18.   Luiz Paulo Medina de Lima. Identificação de Sistemas Dinâmicos em dados de estoque imobiliário. Dissertação (Mestrado em Ciência da Computaçao) - Instituto de Matemática e Estatística da USP, . 2018.
Orientador: Junior Barrera.
19.   Marcelo Tadeu de Sá Oliveira Sales. Extremal and probabilistic problems for order types. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
20.   Mateus Riva. A structural method for pediatric MRI segmentation. 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. 2018.
Orientador: Roberto Marcondes Cesar Junior.
21.   Michael Mateus de Lima. Aplicação de técnicas ágeis em projetos ERP de larga escala: Um Estudo de Caso. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
22.   Nury Yuleny Arosquipa. Um Estudo Comparativo de Métodos de Segmentação de Documentos Antigos. 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. 2018.
Orientador: Roberto Hirata Junior.
23.   Paulo Roberto Branco Lins. Desenvolvimento de uma abordagem quantitativa para o estudo de recorrências de módulos topológicos em redes biológicas. Dissertação (Mestrado em Bioinformática) - Universidade Federal do Rio Grande do Norte, . 2018.
Orientador: Junior Barrera.
24.   Pedro Yuri Araujo Lima Alves. Problema de estoque e roteirização com demanda estocástica e janelas de tempo: uma abordagem utilizando relaxação lagrangeana. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2018.
Orientador: Karina Valdivia Delgado.
25.   Rafael Aquino de Carvalho. Uma análise comparativa de ambientes para Big Data: Apache Spark e HPAT. 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. 2018.
Orientador: Alfredo Goldman vel Lejbman.
26.   Rayssa Küllian Martins. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Finger.
27.   Rodrigo Augusto Dias Faria. Segmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de cores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Roberto Hirata Junior.
28.   Suelen Goularte Carvalho. Code anomalies in the presentation layer of Android Applications. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marco Aurélio Gerosa.
29.   Tiago Royer. Ehrhart theory for real dilates of polytopes. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Sinai Robins.
30.   Victor M. Gonçalves Jatobá. Uma abordagem personalizada no processo de seleção de itens em Testes Adaptativos Computadorizados. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Karina Valdivia Delgado.
31.   Viviane Bonadio dos Santos. Planejamento baseado em Verificação Simbólica de Modelos. Dissertação (Mestrado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Leliane Nunes de Barros.

2017

1.   Anderson Meirelles Freitas. TSS e TSB: Novos descritores de forma baseados em Tensor Scale. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Paulo André Vechiatto de Miranda.
2.   André Vinícius Lopes. Redes Neurais Convolucionais Aplicadas ao Projeto de Operadores de Imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Roberto Hirata Junior.
3.   Barbara Tieko Agena. Acesso a dados baseado em ontologias com NoSQL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Renata Wassermann.
4.   Bruno Vercelino da Hora. Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Finger.
5.   Camila Fernandez Achutti. Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Ana Cristina Vieira de Melo.
6.   Dennis José da Silva. Contagem incremental de padrões locais em árvores de componentes para cálculo de atributos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Ronaldo Fumio Hashimoto.
7.   Diana E. N. Pomalaya. A directional multipole light transport model for rendering multilayer translucent materialsmaterials. 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. 2017.
Supervisor: Nina Sumiko Tomita Hirata.
8.   Eduardo Barreto Alexandre. IFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-Floresta. 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. 2017.
Orientador: Paulo André Vechiatto de Miranda.
9.   Elaine Naomi Watanabe. Um método para paralelização automática de workflows intensivos em dados. 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. 2017.
Orientador: Kelly Rosa Braghetto.
10.   Ester Risério Matos Bertoldi. Modelagem e implementação de banco de dados para identificação de marcadores moleculares no câncer de pâncreas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Supervisor: João Eduardo Ferreira.
11.   Ester Risério Matos Bertoldi. Modelagem e implementação de banco de dados clínicos e moleculares de pacientes com câncer e seu uso para identificação de marcadores em câncer de pâncreas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Supervisor: João Eduardo Ferreira.
12.   Felipe Lombardi Pierin. IntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Jaime Simão Sichman.
13.   Guilherme Feulo do Espírito Santo. Controle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações Musicais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
14.   Jefferson Serafim Ascaneo. Um estudo de algoritmos de reconstrução, focalização e segmentação de imagens de holografia digital para o aprimoramento da classificação de organismos planctônicos. 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. 2017.
Orientador: Roberto Hirata Junior.
15.   Joenio Marques da Costa. Sustentabilidade Técnica de Software Acadêmico no Domínio de Ferramentas de Análise Estática de Código-Fonte. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . 2017.
Supervisor: Paulo Roberto Miranda Meirelles.
16.   Jorge Augusto Melegati Golçalves. Requirements Engineering in Software Startups: a Qualitative Investigation. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
17.   Marcos Ademir Tejada Condori. Extensão da Transformada Imagem-Floresta Diferencial para funções de conexidade com aumentos baseados na raiz e sua aplicação para geração de superpixels. 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. 2017.
Orientador: Paulo André Vechiatto de Miranda.
18.   Mariela Atausinchi Fernandez. Classificação de imagens de plâncton usando múltiplas segmentações. 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. 2017.
Orientador: Nina Sumiko Tomita Hirata.
19.   Marino Hilario Catarino. Integrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: João Eduardo Ferreira.
20.   Rafael Brito de Oliveira. Utilização de ontologias para busca em base de dados de acórdãos do STF. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Renata Wassermann.
21.   Rafael Germano Rossi. Análise de Componentes Principais em Data Warehouses. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: João Eduardo Ferreira.
22.   Rodrigo Alves Lima. Modeling of Time WED-flow. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: João Eduardo Ferreira.
23.   Rodrigo Magalhães. A catalogue of best practices focused on legibility for Java coding in Open Source Software. Dissertação (Mestrado em Engenharia de Software) - Universidade de São Paulo, . 2017.
Orientador: Marco Aurélio Gerosa.
24.   Thales Areco Bandiera Paiva. Melhorando o ataque de reação contra o QC-MDPC McEliece. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2017.
Orientador: Routo Terada.
25.   Thiago Dias Simão. Planejamento Probabilístico com Dead-ends. 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. 2017.
Orientador: Leliane Nunes de Barros.
26.   Waldir Edison Farfan Caro. Análise preditiva de desempenho de workflows usando Teoria do Campo Médio. 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. 2017.
Orientador: Kelly Rosa Braghetto.
27.   Wilson Kazuo Mizutani. VORPAL: a middleware for real-time soundtracks in digital games. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Fabio Kon.
28.   Xun Zou. On Pattern Separation. Informatik) - Swiss Federal Institute of Technology Zurich, . 2017.
Orientador: Marcelo Matheus Gauy.

2016

1.   Amanda Sayuri Guimaraes. Um algoritmo para simplificar sistemas de equações diferenciais que descrevem a cinética de reações químicas. Dissertação (Mestrado em Ciência da Computaçao) - Instituto de Matemática e Estatística da USP, . 2016.
Orientador: Junior Barrera.
2.   André Casimiro. Principais variáveis na ordenação de anúncios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: João Eduardo Ferreira.
3.   André Febeliano da Costa. Interação em jogos com interfaces multimodais. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2016.
Orientador: Ricardo Nakamura.
4.   Caio de Moraes Braz. Segmentação de Imagens pela Transformada Imagem-Floresta com Faixa de Restrição Geodésica. 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. 2016.
Orientador: Paulo André Vechiatto de Miranda.
5.   Diogo de Jesus Pina. Gerenciando dívida técnica: estado atual e novas propostas em métodos de medida. 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. 2016.
Orientador: Alfredo Goldman vel Lejbman.
6.   Eduardo Almeida Feijó. Proteção dos direitos autorais de imagem estática utilizando criptografia visual e marca d'água. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2016.
Orientador: Routo Terada.
7.   Larissa Cristina Moraes. Representação de variabilidade estrutural de dados por meio de famílias de esquemas de banco de dados. 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. 2016.
Orientador: Kelly Rosa Braghetto.
8.   Laécio Freitas Chaves. Alinhamento múltiplo de genomas e sequências de proteínas com repetições e rearranjos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Alan Mitchell Durham.
9.   Luciano Kelvin da Silva. Utilização de mineração de especificação na identificação de fluxos inválidos em softwares. 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. 2016.
Orientador: Ana Cristina Vieira de Melo.
10.   Marisol Solis. Utilização de Ontologias para Busca em um Sistema Colaborativo de Imagens Arquitetônicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Renata Wassermann.
11.   Pedro Monteiro Kayatt. Arcabouço para Jogos Digitais em Interfaces Distribuídas. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2016.
Orientador: Ricardo Nakamura.
12.   Ricardo Juliano Mesquita Silva Oda. Provisionamento Dinâmico de Recursos para Execução de Workflows Científicos em Nuvens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Kelly Rosa Braghetto.
13.   Thiago Kenji Okada. Avaliação do impacto da comunicação intra e entre-nós em nuvems computacionais para aplicações de alto desempenho. 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. 2016.
Orientador: Alfredo Goldman vel Lejbman.
14.   Yuri David Santos. Pseudo-Contractions in Belief Revision. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Renata Wassermann.

2015

1.   Alexandre Morimitsu. Computação Incremental e Eficiente de Sequências de Árvores de Componentes. 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: Ronaldo Fumio Hashimoto.
2.   Davi Souto Grangeiro. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Nina Sumiko Tomita Hirata.
3.   Evelyn Perez Cervantes. Análise de redes de colaboração científica: Uma abordagem baseada em grafos relacionais com atributos. 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: Roberto Marcondes Cesar Junior.
4.   Filipe Ricardo Polizel. OntoBacen: Uma Ontologia para a Gestão de Riscos do Sistema Financeiro Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Jaime Simão Sichman.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.

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

2013

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   Pan Ying. The rational eigenfunctions of the Hecke Operators. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2013.
Orientador: Sinai Robins.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   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.
33.   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.
34.   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.
35.   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.
36.   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.
37.   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.

2012

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   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.
33.   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.
34.   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.
35.   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.
36.   Yudistira Mulyadi. Abel summation by parts, in higher dimensions. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.

2011

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.

2010

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

2009

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

2007

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.

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.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   Jessica Cuomo. Laplacians of some planar graphs and their eigenvalues. Dissertação (Mestrado em Mathematics) - Temple University, . 2006.
Orientador: Sinai Robins.
14.   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.
15.   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.
16.   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.
17.   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.
18.   Neil Weikel. Linear programming and its applications to the real estate market. Dissertação (Mestrado em Mathematics) - Temple University, . 2006.
Orientador: Sinai Robins.
19.   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.
20.   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.

2005

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   Vladimir Moreira Rocha. Protocolos P2P para Interligação de Aglomerados em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Fabio Kon.

2004

1.   Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.

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.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002.
Supervisor: Yoshiharu Kohayakawa.
15.   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.
16.   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.
17.   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.

2001

1.   Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001.
Orientador: Ana Cristina Vieira de Melo.
2.   CARLOS HENRIQUE MAIA BRAGA. Meta Modelo para Controle Corporativo de Estratégia de Replicação de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: João Eduardo Ferreira.
3.   Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Marcelo Finger.
4.   Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
5.   LEONARDO AUGUSTO TANIGUTI MANTOVANI. Uma alternativa para Simplificação de Sincronismo de Dados Temporais entre Ambientes Operacionais e Analíticos. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2001.
Orientador: João Eduardo Ferreira.
6.   Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
7.   Rogerio S. Feris. Rastreamento Eficiente de Faces em um Subespaço Wavelet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
8.   Sirley Ambrosia Vitorio. Obsolescência de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
9.   Teofilo E. Campos. Técnicas de Seleção de Características com Aplicações em Reconhecimento de Faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.

2000

1.   Franklin Cesar Flores. Segmentação de vídeo digital por morfologia matemática. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Junior Barrera.
2.   Marcio Grossi de Almeida. Números de Ramsey Induzidos e Semi-induzidos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: Yoshiharu Kohayakawa.
3.   Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
4.   Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
5.   Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.
6.   Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.


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