Departamento de Ciência da Computação - IME - USP

Total de orientações em andamento



Número total de itens: 193

2016

1.   Carlos Eduardo Leão Elmadjian. Cognição aumentada em computação vestível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2016.
Orientador: Carlos Hitoshi Morimoto.
2.   Diego de A. M. Camarinha. Novos protocolos para a camada de transporte. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Daniel Macêdo Batista.
3.   Fernanda de Camargo Magano. Descoberta de Conhecimento em Redes Sociais e Bases de Dados Públicas. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Kelly Rosa Braghetto.
4.   Francisco Caio Maia Rodrigues. a definir. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2016.
Orientador: Roberto Hirata Junior.
5.   Joseph Hans Murrugarra Llerena. A ser definido. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2016.
Orientador: Nina Sumiko Tomita Hirata.
6.   Lucas Dario. Segurança em IoT. 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. Início: 2016.
Orientador: Daniel Macêdo Batista.
7.   Luciana de Melo e Abud. Modelos computacionais prognósticos de recuperação de lesões neurológicas. 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. Início: 2016.
Orientador: Kelly Rosa Braghetto.
8.   Marcela Terakado e Marcos Kazuya Yamazaki. Gerenciamento e análise de métricas alternativas de impacto de revistas científicas da USP. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Kelly Rosa Braghetto.
9.   Nury Yuleny Arosquipa. a definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2016.
Orientador: Roberto Hirata Junior.
10.   Renato Cordeiro Ferreira. Caracterização probabilística de estururas secundárias em ncRNAs. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Alan Mitchell Durham.
11.   Rodrigo B. T. Moreira. Sistemas integrados de Software para Caracterização Probabilística de Sequências. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Alan Mitchell Durham.
12.   Rodrigo Siqueira de Melo. Novos mecanismos para gerência de memória em SOs. 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. Início: 2016.
Orientador: Daniel Macêdo Batista.
13.   Rogério Cardoso. Título a definir. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Marco Aurélio Gerosa.
14.   Yan Soares Couto. Algoritmos de processamento de sequências. Iniciação científica (Graduando em Ciência da Computação) - Universidade de São Paulo, . Início: 2016.
Orientador: Cristina Gomes Fernandes.

2015

1.   Ademar Lacerda. álgebre linear numérica em gpus. Dissertação (Mestrado profissional em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Walter Figueiredo Mascarenhas.
2.   Alessandro Palmeira. Técnicas de transcrição musical monofônica. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Marcelo Gomes de Queiroz.
3.   Alex Torquato Souza Carneiro. Estimação de contexto do usuário a partir de informações do olhar. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Início: 2015.
Orientador: Carlos Hitoshi Morimoto.
4.   Alexandre Morimitsu. Algoritmos eficientes para construção de Hypertrees de componentes conexas de imagens de nível de cinza. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Ronaldo Fumio Hashimoto.
5.   Ana Lucia Lima Marreiros Maia. A ser definido. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Nina Sumiko Tomita Hirata.
6.   Anderson Tavares. Técnicas de Reparação Interativa de Segmentação de Imagens Baseada em Grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Paulo André Vechiatto de Miranda.
7.   António Augusto Tavares Martins Miranda. Simulador de temperaturas baseado em "Statecharts". Trabalho de Conclusão de Curso (Graduação em Ciências de Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Ana Cristina Vieira de Melo.
8.   Aritanan Borges Garcia Gruber. Reformulações de Problemas de Otimização Binária: Algoritmos e Complexidade. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo.. Início: 2015.
Supervisor: Carlos Eduardo Ferreira.
9.   Bruno T. da S. Lopes. Méotodos probabilísticos para análise de sequências de genômica e transcriptômica. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Alan Mitchell Durham.
10.   Carlos Eduardo Paladini. Execução de workflows científicos em ambientes de computação paralela híbrida. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Kelly Rosa Braghetto.
11.   Carlos H. A. S da Motta. Anotação de RNAs em Sequencias Expressas. Dissertação (Mestrado em Interunidades em Bioinformática) - Universidade de São Paulo, . Início: 2015.
Orientador: Alan Mitchell Durham.
12.   Eric Keiji Tokuda. Deep learning fracamente supervisionado para detecção de faces e atributos de pessoas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2015.
Orientador: Roberto Marcondes Cesar Junior.
13.   Estefhan D. Wandekokem.. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.. Início: 2015.
Supervisor: Roberto Marcondes Cesar Junior.
14.   Evelyn Perez Cervantes. Análise morfológica de estruturas neurais 3D usando bigdata. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Roberto Marcondes Cesar Junior.
15.   Gabriel Augusto Bianchi Azevedo Ferreira. Olhando para a cidade: Big Data e visão computacional para análise de ambientes urbanos. Iniciação científica (Graduando em Engenharia Mecânica - Ênfase em Mecatrônica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2015.
Orientador: Roberto Marcondes Cesar Junior.
16.   Henrique Stagni. Tópicos em combinatória. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Yoshiharu Kohayakawa.
17.   Jaqueline Yu Ting Wang. A ser definido. Dissertação (Mestrado profissional em Bioinformática) - Universidade de São Paulo, GENOMIC. (Coorientador).. Início: 2015.
Supervisor: André Fujita.
18.   Jefferson Silva. Título a definir. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Marco Aurélio Gerosa.
19.   Jessica Katherine de Sousa Fernandez. A definir. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Ernesto Julián Goldberg Birgin.
20.   Jie Han. Circuitos hamiltonianos e problemas de ladrilhamento em hipergrafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo.. Início: 2015.
Supervisor: Yoshiharu Kohayakawa.
21.   Juan Gabriel Gutiérrez Alva. Transversais em grafos (título provisório). Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2015.
Orientador: Cristina Gomes Fernandes.
22.   Liliane Santana Oliveira. Caracterização de Sequências Virais em Metagenomas. Tese (Doutorado em Interunidades em Bioinformática) - Universidade de São Paulo. (Coorientador)., . Início: 2015.
Supervisor: Alan Mitchell Durham.
23.   Lucas Dário. Trilhas sonoras adaptativas. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Marcelo Gomes de Queiroz.
24.   Maciel Calebe Vidal. a ser definido. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: André Fujita.
25.   Marcelo Moura Amorim. Checking properties of WebServices at runtime. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Ana Cristina Vieira de Melo.
26.   Marcos Tejada. Uma abordagem para segmentação de imagens em tempo linear usando medidas de corte em grafo. 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. Início: 2015.
Orientador: Paulo André Vechiatto de Miranda.
27.   Márcio José da Silva. Processamento e síntese de voz. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Marcelo Gomes de Queiroz.
28.   Mário César San Felice. Algoritmos Online Competitivos e de Aproximação para Problemas de Projeto de Redes e de Localização de Instalaçõe. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.. Início: 2015.
Supervisor: Cristina Gomes Fernandes.
29.   Pablo Cesar Ccori. Plataformas para máquinas sociais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Flavio Soares Correa da Silva.
30.   Pedro Ivo Siqueira Nepomuceno. a ser definido. Iniciação científica (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: André Fujita.
31.   Rafael Mota Gregorut. Mining Test Cases to generate properties. Trabalho de Conclusão de Curso (Graduação em Ciências de Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Ana Cristina Vieira de Melo.
32.   Renan Rodrigo Barbosa. Garantia de QoS em Cidades Inteligentes. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Daniel Macêdo Batista.
33.   Rodrigo Izidoro Tinini. Mecanismos para alocação de recursos em nuvens sobre redes ópticas. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . Início: 2015.
Orientador: Daniel Macêdo Batista.
34.   Rodrigo Teixo. Inferência de Redes Booleanas usando CSP. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . Início: 2015.
Orientador: Ronaldo Fumio Hashimoto.
35.   Shayenne Moura. Timbre e percepção de consonância. Iniciação científica (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Marcelo Gomes de Queiroz.
36.   Suzana de Siqueira Santos. a ser definido. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: André Fujita.
37.   Taiane Coelho Ramos. a ser definido. 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. Início: 2015.
Orientador: André Fujita.
38.   Thiago pereira Bueno. Planejamento como inferência em modelos gráficos. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Leliane Nunes de Barros.
39.   Vitor Bezzan. Comparação de métodos de apreçamento de derivativos agrícolas. Dissertação (Mestrado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP). Início: 2015.
Orientador: Walter Figueiredo Mascarenhas.
40.   Wonder Alexandre Luz Alves. . Universidade de São Paulo., . Início: 2015.
Supervisor: Ronaldo Fumio Hashimoto.

2014

1.   Adalberto Bosco Pereira. Jogos de computador em educação. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Flavio Soares Correa da Silva.
2.   Adèle Helena Ribeiro. a ser definido. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: André Fujita.
3.   Aline de Fátima Soares Borges. Espelho virtual para experimentação de maquiagem facial. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Carlos Hitoshi Morimoto.
4.   Amanda Sayuri Guimarães. Trabalho em andamento. 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. Início: 2014.
Orientador: Junior Barrera.
5.   Ana Lívia R. Queiroz. Trabalho em andamento. Dissertação (Mestrado em Bioinformática) - Instituto de Matemática e Estatística da USP, . Início: 2014.
Orientador: Junior Barrera.
6.   Anderson Meirelles Freitas. Análise de Formas usando a Transformada Imagem-Floresta em Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Paulo André Vechiatto de Miranda.
7.   Artur André A. M. Oliveira. Análise de imagens de vias públicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Roberto Hirata Junior.
8.   Bruno Padilha. Buscas em bancos de dados orientado a grafos. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, National Institutes of Health. Início: 2014.
Orientador: João Eduardo Ferreira.
9.   Camila Fernandez Achutti. Análise Qualitativa de Aprendizado de Programação (Título Provisório). Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Ana Cristina Vieira de Melo.
10.   Davi Toshio Inada. a ser definido. Dissertação (Mestrado profissional em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Coorientador).. Início: 2014.
Supervisor: André Fujita.
11.   Dennis José da Silva. Um estudo de operadores conexos usando árvores de forma. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Ronaldo Fumio Hashimoto.
12.   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. Início: 2014.
Orientador: Nina Sumiko Tomita Hirata.
13.   Eduardo Barreto Alexandre. Técnicas de Segmentação Não-Supervisionada de Imagens usando Grafos via Transformada Imagem-Floresta com Funções de Conexidade Não Suaves. 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. Início: 2014.
Orientador: Paulo André Vechiatto de Miranda.
14.   Fabiano Ferreira Luz. Análise Sintática Automática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Marcelo Finger.
15.   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. Início: 2014.
Orientador: Leliane Nunes de Barros.
16.   Fabrício Caluza Machado. Limitantes de Programação Semidefinida para o Número de Contato. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2014.
Orientador: Fernando Mário de Oliveira Filho.
17.   Fernando Omar Aluani. Desempenho, acurácia e precisão em rastradores de olhar 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. Início: 2014.
Orientador: Carlos Hitoshi Morimoto.
18.   Grover Enrique Castro Guzman. a ser definido. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: André Fujita.
19.   Guilherme Feulo do Espírito Santo. Processamento de sinais de EEG. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Marcelo Gomes de Queiroz.
20.   Guilherme Otranto. Simulação de jogos de invasão. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . Início: 2014.
Orientador: Junior Barrera.
21.   Ignasi Andres. Planejamento contingente online e replanejamentjo. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Leliane Nunes de Barros.
22.   Igor Bonadio. Predição de Genes Utilizando Modelos de Covariância. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Alan Mitchell Durham.
23.   Jandisson Soares de Jesus. Débito Técnico em VV (Título Provisório). Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Ana Cristina Vieira de Melo.
24.   Joao Paulo Burin de Camargo. Propriedades do classificador baseado em segmentos de reta. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Ronaldo Fumio Hashimoto.
25.   John Lenon Gardenghi. Complexidade em programação não linear. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2014.
Orientador: Ernesto Julián Goldberg Birgin.
26.   Julio Cesar Delgado Vasquez. A definir. 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. Início: 2014.
Orientador: Ernesto Julián Goldberg Birgin.
27.   Larissa Cristina Moraes. Famílias de esquemas de bancos de dados para experimentos de neurociência. 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. Início: 2014.
Orientador: Kelly Rosa Braghetto.
28.   Lilianne Mariko Izuti Nakazono. Separação de estrelas e quasares em imagens multiespectrais. Iniciação científica (Graduando em Astronomia) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2014.
Orientador: Nina Sumiko Tomita Hirata.
29.   Luciano Kelvin da Silva. Mineração de Especificação Formal (Título Provisório). Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Ana Cristina Vieira de Melo.
30.   Lucy Choque Mansilla. Reconhecimento e Delineamento Sinérgicos de Objetos em Imagens usando grafos dirigidos e modelos nebulosos de conhecimento de conteúdo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2014.
Orientador: Paulo André Vechiatto de Miranda.
31.   Ludmila Ferreira Vicente da Silva. Verificação e Validação de Software Embarcado. Iniciação científica (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2014.
Orientador: Ana Cristina Vieira de Melo.
32.   Luiz Gustavo Moura Santos. A definir. 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. Início: 2014.
Orientador: Ernesto Julián Goldberg Birgin.
33.   Lulu Wu. Trabalho em andamento. 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. Início: 2014.
Orientador: Junior Barrera.
34.   Marcelo Ris. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.. Início: 2014.
Supervisor: João Eduardo Ferreira.
35.   Maricy Caregnato. Detecção de patologias psicanalíticas com base em comportamento em redes sociais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Flavio Soares Correa da Silva.
36.   Marino Hilario Catarino. Produção acadêmica em banco de dados orientado a grafos. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: João Eduardo Ferreira.
37.   MINA CINTHO OZAHATA. Análise de dados para segurança transfusional de sangue. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2014.
Orientador: João Eduardo Ferreira.
38.   Rafael Germano Rossi. Indexação em bancos de dados multidimensionais. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: João Eduardo Ferreira.
39.   Rafael Will Macêdo de Araujo. Análise demográfica baseada em visão computacional e aprendizado de máquina. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Início: 2014.
Orientador: Roberto Hirata Junior.
40.   Renzo Gonzalo Gomez Diaz. Caminhos mais longos em grafos (provisório). Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2014.
Orientador: Yoshiko Wakabayashi.
41.   Suelen Goularte Carvalho. Título a definir. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Marco Aurélio Gerosa.
42.   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. Início: 2014.
Orientador: Leliane Nunes de Barros.
43.   Viviane Bonadio dos Santos. Aprendizado de máquina e planejamento. 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. Início: 2014.
Orientador: Leliane Nunes de Barros.
44.   Wagner Fernando Barongello Santos. Novas Técnicas de Processamento e Análise de Imagens usando Grafos e suas Implementações em uma Ferramenta Online para Processamento 2D e 3D de Imagens Médicas e Naturais. Iniciação científica (Graduando em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2014.
Orientador: Paulo André Vechiatto de Miranda.
45.   William Gnann. Um estudo sobre a utilização de software livre em laboratórios de informática. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Daniel Macêdo Batista.
46.   Yorah Bosse. Padrões de problemas de aprendizagem de programação. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2014.
Orientador: Marco Aurélio Gerosa.

2013

1.   Ana Paula Oliveira dos Santos. Gamification em comunidades online. Tese (Doutorado em Ciência da Informação) - Universidade de São Paulo, . Início: 2013.
Orientador: Marco Aurélio Gerosa.
2.   Andreiwid Sheffer Correa. Sistemas para governo eletrônico. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo. (Coorientador)., . Início: 2013.
Supervisor: Flavio Soares Correa da Silva.
3.   André Casimiro. Análise de dados em sistemas de recuperação de informação. Dissertação (Mestrado em Ciências da Comunicação) - Universidade de São Paulo, . Início: 2013.
Orientador: João Eduardo Ferreira.
4.   Breno Flesch Franco. Transformada Imagem-Floresta Diferencial com funções de conexidade não suaves em Grafos Dirigidos. 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. Início: 2013.
Orientador: Paulo André Vechiatto de Miranda.
5.   Caio de Moraes Braz. Segmentação de Imagens por corte em grafo com restrições de banda 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. Início: 2013.
Orientador: Paulo André Vechiatto de Miranda.
6.   Caio Valente. Renderização de ambientes públicos realistas com modelagem dinâmica de iluminaçã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. Início: 2013.
Orientador: Marcel Parolin Jackowski.
7.   Camila Miyuki de Sousa. O problema de cobertura com circulos: uma abordagem de programação não linear. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2013.
Orientador: Ernesto Julián Goldberg Birgin.
8.   Eduardo Feijó. Criptografia visual. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2013.
Orientador: Routo Terada.
9.   Eduardo Menezes de Morais. Probabilidades em Programação Lógica ASP. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Marcelo Finger.
10.   Elaine Naomi Watanabe. Gerenciamento de dados em workflows científicos. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Kelly Rosa Braghetto.
11.   Erika Guetti Suca. Ontologias para interoperabilidade entre museus de artes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Flavio Soares Correa da Silva.
12.   Fernando Andrade. A ser definido. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: André Fujita.
13.   Guilherme Oliveira Mota. Combinatória extremal e probabilística. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo.. Início: 2013.
Supervisor: Yoshiharu Kohayakawa.
14.   Hans Harley Ccacyahuillca Bejar. Métodos Híbridos em Grafos Dirigidos 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. Início: 2013.
Orientador: Paulo André Vechiatto de Miranda.
15.   Hugo Vinícius Vaz Braga. Spanners em grafos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2013.
Orientador: Yoshiko Wakabayashi.
16.   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. Início: 2013.
Orientador: Roberto Hirata Junior.
17.   Jose Euripedes Ferreira de Jesus Filho. Flexible job shop scheduling problem. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Ernesto Julián Goldberg Birgin.
18.   Juan Manuel Vidal. a ser definido. Dissertação (Mestrado profissional em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2013.
Orientador: André Fujita.
19.   Leonardo Lamas Leandro Ribeiro. . Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo.. Início: 2013.
Supervisor: Junior Barrera.
20.   Leonardo Nagami Coregliano. Problemas extremais combinatórios. 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. Início: 2013.
Orientador: Yoshiharu Kohayakawa.
21.   Letícia Gindri. Verificação e Validação de Sistemas Críticos Evolutivos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Ana Cristina Vieira de Melo.
22.   Lucas Mendes Marques Gonçalves. Jogos de Steiner. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade de São Paulo, . Início: 2013.
Orientador: Jose Augusto Ramos Soares.
23.   Marcos Amarís Gonzáles. Bulk Synchronous Parallel Model on Graphic Processing Units. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2013.
Orientador: Alfredo Goldman vel Lejbman.
24.   Mariela Atausinchi Fernandez. A ser definido. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2013.
Orientador: Nina Sumiko Tomita Hirata.
25.   Marisol Solis. Ontologia de arquitetura e o Arquigrafia. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2013.
Orientador: Renata Wassermann.
26.   Miguel Angel Galarreta Valverde. Parametrização e caracterização de estruturas vasculas tridimensionais em imagens angiográficas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Marcel Parolin Jackowski.
27.   Oberlan Christo Romão. Empacotamento multi-período com sobras aproveitáveis. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2013.
Orientador: Ernesto Julián Goldberg Birgin.
28.   Paulo Moises Raduan Alexandrino. A ser definido. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2013.
Orientador: André Fujita.
29.   Phablo Fernando Soares Moura. Problemas de otimização sobre partição em grafos. Tese (Doutorado em Ciencia da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2013.
Orientador: Yoshiko Wakabayashi.
30.   Rafael Manzo. Análise de Imagens de Ressonância Magnética por Espectro de Difusã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. Início: 2013.
Orientador: Marcel Parolin Jackowski.
31.   Rafael Sampaio. Segmentação de imagens de ressonância magnética de tempo real (rtMRI). Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2013.
Orientador: Marcel Parolin Jackowski.
32.   Ricardo Juliano Mesquita Silva Oda. Provisionamento Dinâmico de Recursos para Execução de Workflows Científicos em Nuvens. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2013.
Orientador: Kelly Rosa Braghetto.
33.   Samuel Plaça de Paula. Algoritmos de aproximação para problemas de 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. Início: 2013.
Orientador: Cristina Gomes Fernandes.
34.   Thiago Nunes. Aceleração de registro não linear de imagens médicas por hardware gráfico. 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. Início: 2013.
Orientador: Marcel Parolin Jackowski.
35.   Thilo Koch. Síntese de Campo Sonoro Distribuída. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Marcelo Gomes de Queiroz.
36.   Waldir Edison Farfan Caro. Predição de desempenho de workflows científicos de grande escala via modelagem analítica. 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. Início: 2013.
Orientador: Kelly Rosa Braghetto.

2012

1.   Andrew Toshiaki Nakayama Kurauchi. Interação pelo olhar em computação vestível. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2012.
Orientador: Carlos Hitoshi Morimoto.
2.   André Luiz Kawamoto. Ambientes de interação natural para assistência a idosos. Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, . Início: 2012.
Orientador: Flavio Soares Correa da Silva.
3.   Antonio Deusany de Carvalho Jr. Processamento Sonoro em Plataformas Móveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2012.
Orientador: Marcelo Gomes de Queiroz.
4.   Antonio Josefran de Oliveira Bastos. Tópicos em combinatória. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2012.
Orientador: Yoshiharu Kohayakawa.
5.   Antonio José Homsi Goulart. Técnicas Não-Lineares de Síntese Sonora. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2012.
Orientador: Marcelo Gomes de Queiroz.
6.   António Marcos Costa. A definiir. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, . Início: 2012.
Orientador: Walter Figueiredo Mascarenhas.
7.   Eduardo Cotrin Teixeira. Modelagem e Escalonamento de Workfl ows Cientí ficos para a Execução em Plataformas de Computação em Nuvem. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2012.
Orientador: Kelly Rosa Braghetto.
8.   Gabriela Eleutério Soares. a ser definido. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2012.
Orientador: André Fujita.
9.   Gilmar Rocha de Oliveira Dias. Um ambiente para controle de material audiovisual em eventos culturais. 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. Início: 2012.
Orientador: Marcelo Gomes de Queiroz.
10.   Graziela Simone Tonin. Estudo sobre dívida técnica em métodos ágeis. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2012.
Orientador: Alfredo Goldman vel Lejbman.
11.   Guilherme Rey. Um arcabouço de software para aquisição de imagens 3D. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Roberto Hirata Junior.
12.   Gustavo Pinto Vilela. A ser definido. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2012.
Orientador: André Fujita.
13.   Igor dos Santos Montagner. Projeto automático de operadores de imagens: extensão e contextualização para reticulados não necessariamente booleanos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Coorientador).. Início: 2012.
Supervisor: Nina Sumiko Tomita Hirata.
14.   Igor Topcin. Um sistema de gerenciamento de workflows para análise de imagens médicas em nuvem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Marcel Parolin Jackowski.
15.   Jihan Zoghbi. Um método computacional para a análise de alterações microvasculares e teciduais de órgãos na sepse usando a técnica de imagens Sidestream Dark Field (SDF). Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2012.
Orientador: Marcel Parolin Jackowski.
16.   Joel Edu Sanchez Castro. Classificador Baseado em Segmentos de Retas em Problemas de Multiclassificação. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2012.
Orientador: Ronaldo Fumio Hashimoto.
17.   João Marcelo Borovina Josko. Avaliação da qualidade de dados por meio de técnicas de visualização de dados. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2012.
Orientador: João Eduardo Ferreira.
18.   Laécio Freitas Chaves. Caracterização de RNAs não codificantes utilizando modelos de covariância. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Alan Mitchell Durham.
19.   Luis Eduardo Zambrano Fernandéz. Tópicos em combinatória. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2012.
Orientador: Yoshiharu Kohayakawa.
20.   Luiz Carlos Vieira. Interação natural em jogos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Flavio Soares Correa da Silva.
21.   Marcos Silvano de Almeida. Engenharia de software para jogos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Flavio Soares Correa da Silva.
22.   Mauricio Finavaro Aniche. Tópico ligado à testabilidade e mineração de repositórios de software. Título ainda a definir. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Marco Aurélio Gerosa.
23.   Márcia Roberta dos Santos Pires da Silva. Sistema Web para ensino/aprendizagem de combinatória. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . Início: 2012.
Orientador: Leônidas de Oliveira Brandão.
24.   Rafael Santos Coelho. Subgrafos conexos ótimos com restrição de distância (provisório). Tese (Doutorado 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. Início: 2012.
Orientador: Yoshiko Wakabayashi.
25.   Roberto Piassi Bodo. Acompanhamento Automático Polifônico e em Tempo Real. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . Início: 2012.
Orientador: Marcelo Gomes de Queiroz.
26.   Samuel Martins B. Neto. Análise de dados de comportamento social. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2012.
Orientador: Roberto Marcondes Cesar Junior.

2011

1.   Abner Cardoso Rofrigues Neto. A ser definido. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).. Início: 2011.
Supervisor: André Fujita.
2.   André Camargo. The stability of barycentric interpolation. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2011.
Orientador: Walter Figueiredo Mascarenhas.
3.   André Luis Schwerz. Adaptação em Transações longas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2011.
Orientador: João Eduardo Ferreira.
4.   Esdras Lins Bispo Jr. Mapeamento de ontologias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2011.
Orientador: Renata Wassermann.
5.   Felipe Pontes Guimarães. Uma arquitetura para composição descentralizada e tolerante a falhas para serviços in-the-wild. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, União Européia. Início: 2011.
Orientador: Daniel Macêdo Batista.
6.   Frank Helbert Borsato. Rastreador ocular de baixo custo e alto desempenho. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2011.
Orientador: Carlos Hitoshi Morimoto.
7.   Fábia Lika Nishida. Usabilidade de WebSites. 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. Início: 2011.
Orientador: Ana Cristina Vieira de Melo.
8.   Fábio Happ Botler. Decomposição de um grafos em caminhos: aspectos estruturais e algorítmicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2011.
Orientador: Yoshiko Wakabayashi.
9.   Gustavo Ansaldi Oliva. Dependências lógicas em sistemas orientados a objetos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, HP. Início: 2011.
Orientador: Marco Aurélio Gerosa.
10.   Igor dos Santos Montagner. Projeto automático de operadores de imagens: extensão e contextualização para reticulados não necessariamente booleanos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2011.
Orientador: Roberto Hirata Junior.
11.   Luiz Arthur Feitosa dos Santos. Mecanismos autonômicos para proteção de redes locais com base em redes de􏰀finidas por software. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . Início: 2011.
Orientador: Daniel Macêdo Batista.
12.   Lúcio Valentin. A COMPUTER-AIDED DIAGNOSTIC IMAGING REPORT SYSTEM USING JOINT TEXT-IMAGE MINING. Tese (Doutorado em doutorado em tecnologia e Sociedade) - Universidade Tecnológica Federal do Paraná, . Início: 2011.
Orientador: Marcel Parolin Jackowski.
13.   Patricia Alves Rodrigues. Personalização de roteiros dinâmicos para aprendizagem via Web. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2011.
Orientador: Leônidas de Oliveira Brandão.
14.   Paulo de Tarso Guerra Oliveira. Revisão de Crenças para Especificação de Software. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2011.
Orientador: Renata Wassermann.
15.   Rafael Liberato Roberto. Controle de Concorrência em Transações Longas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2011.
Orientador: João Eduardo Ferreira.
16.   Reginaldo do Prado. Desenvolvimento de ferramentas educionais e modelos de aprendizagem. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Início: 2011.
Orientador: Leônidas de Oliveira Brandão.
17.   Ricardo Guimarães Hermann. Planejamento Probabilístico com variáveis discretas e contínuas. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . Início: 2011.
Orientador: Leliane Nunes de Barros.
18.   Ricardo Moura Sekeff Budaruiche. Integração de dados clínicos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Início: 2011.
Orientador: Renata Wassermann.
19.   Rodrigo Campiolo. Detecção antecipada de ameaças à segurança usando fontes de dados heterogêneas e abertas. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . Início: 2011.
Orientador: Daniel Macêdo Batista.
20.   Rogério Aparecido Gonçalves. O uso de GPUs em HPC. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2011.
Orientador: Alfredo Goldman vel Lejbman.
21.   Wellington D. Previero. O problema do job shop flexível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2011.
Orientador: Carlos Eduardo Ferreira.

2010

1.   Frank Dennis Julca Aguilar. Uso de informação contextual em reconhecimento online de expressões matemáticas manuscritas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2010.
Orientador: Nina Sumiko Tomita Hirata.
2.   Pablo Francisco Laura Huaman. A definir. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2010.
Orientador: Marco Dimas Gubitoso.

2008

1.   Edgard Pevidor de Miranda. Desenvolvimento de bancos de dados para a Internet. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . Início: 2008.
Orientador: Valdemar Waingort Setzer.
2.   Gustavo Henrique Braga. Um gerador gráfico de analisadores sintáticos. Trabalho de Conclusão de Curso (Graduação em Bacahrelado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . Início: 2008.
Orientador: Valdemar Waingort Setzer.
3.   Wellington Souza. Criptografia em smart cards. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . Início: 2008.
Orientador: Routo Terada.

2007

1.   Marcio Takashi Iura Oshiro. k-árvores mínimas. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2007.
Orientador: José Coelho de Pina Junior.

2006

1.   Elcio Koiti Nakamura. Otimização aplicada à busca de genes principais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2006.
Orientador: Carlos Humes Jr.

2005

1.   Marcos Tatsuo Yamamoto. Algoritmo Sistorico com Tolerancia a Falha em uma Grade de Computacao. Dissertação (Mestrado profissional em Ciência da Computação [Sp-Capital]) - Universidade de São Paulo, . Início: 2005.
Orientador: Kunio Okuda.
2.   Rachel de Paula. Protocolo para comunicaca entre agentes movies. Dissertação (Mestrado profissional em Ciência da Computação [Sp-Capital]) - Universidade de São Paulo, . Início: 2005.
Orientador: Kunio Okuda.

2004

1.   Evelyn Cristina Pinto. Bibliotecas Digitais: Performance, Tendências e Impactos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . Início: 2004.
Orientador: Imre Simon.


Data de processamento: 31/03/2016 13:54:45