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

Tese de doutorado


Número total de itens: 281

2024

1.   David Ricardo Barreto Lima Silva. Análise de complexidade para um algoritmo de terceira ordem atingir a estacionariedade de segunda ordem. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024.
Orientador: Gabriel Haeser.
2.   Kennedy Anderson Guimarães de Araujo. O problema de sequenciamento job shop flexível com flexibilidade de sequência e efeito de aprendizagem baseado em posição. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024.
Orientador: Ernesto Julián Goldberg Birgin.
3.   Marcos Devaner do Nascimento. Programação visual baseada em formulários acessível para cegos. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024.
Orientador: Anarosa Alves Franco Brandão.
4.   Paulo Matias da Silva Junior. Padrões de coloração de arestas e propriedades anti-Ramsey. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2024.
Orientador: Guilherme Oliveira Mota.

2023

1.   Alexandre Garcia de Oliveira. ?Programming with Monoidal Profunctors and Semiarrows.. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
2.   Ana Lucia Lima Marreiros Maia. Uma abordagem baseada em Aprendizagem de Máquina e Grafos para Segmentação de Páginas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2023.
Orientador: Nina Sumiko Tomita Hirata.
3.   Artur André Almeida de Macedo Oliveira. Overcoming Challenging Urban Images - Deep Learning and Data Integration Methods for Detecting Trees Entangled with Power Lines. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Roberto Hirata Junior.
4.   Caio de Moraes Braz. Graph-Based Image Segmentation With Shape Priors and Local Band Constraints. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Paulo André Vechiatto de Miranda.
5.   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. 2023.
Orientador: Carlos Hitoshi Morimoto.
6.   Cristiane Borges Patroclo. Preditores prognósticos em pacientes adulto com lesão traumática de plexo braquial. Tese (Doutorado em Ciências Biológicas (Fisiologia)) - Universidade Federal do Rio de Janeiro, . 2023.
Supervisor: Kelly Rosa Braghetto.
7.   Diogo de Jesus Pina. Technical Debt Prioritization Methods, Techniques, and a Large Exploratory Study. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Alfredo Goldman vel Lejbman.
8.   Hans Harley Ccacyahuillca Bejar. Segmentação Não Supervisionada de Imagens via Transformada Imagem-Floresta Orientada sujeita a Restrições de Alto Nível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Paulo André Vechiatto de Miranda.
9.   Herez Moise Kattan. Mob Programming para escrever código com alta complexidade e trabalho remoto. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
10.   Igor de Camargo e Souza Câmara. Quantificação em lógicas de descrição de tipicalidade. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Renata Wassermann.
11.   João Marcos de Mattos Barguil. Análise de viés em um sistema de crowdsourcing de acessibilidade utilizando jogos sérios. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2023.
Orientadores: Fabio Kon, Flavio Soares Correa da Silva.
12.   Julissa Giuliana Villanueva Llerena. Qualitative Global Sensitivity Analysis for Probabilistic Circuits. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Denis Deratani Mauá.
13.   Lilian Nogueira de Faria. Redes neurais de segmentação semântica de plantas daninhas usando mosaico de imagens de alta resolução espacial de um veículo aéreo não tripulado. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Roberto Hirata Junior.
14.   Luis Gustavo Araujo Rodriguez. Mechanisms to Improve Fuzz Testing for Message Brokers. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Daniel Macêdo Batista.
15.   Nayereh Hamidishad. Two-Phase Methods to Segment Man-made Objects Around Reservoirs. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Roberto Marcondes Cesar Junior.
16.   Thatiane de Oliveira Rosa. CharM ? A Model for Characterizing the Architecture of Service-based Systems. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
17.   Thiago Parente da Silveira. Constant rank-type constraint qualifications and second-order optimality conditions. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Gabriel Haeser.

2022

1.   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, . 2022.
Orientador: Carlos Hitoshi Morimoto.
2.   Bianca Trinkenreich. Understanding and supporting women's participation in open source software. Tese (Doutorado em Informatics) - Northern Arizona University, . 2022.
Supervisor: Marco Aurélio Gerosa.
3.   Dhanielly Rodrigues Lima. MOTIRÕ - A Model of Difficulties with Awareness Information to Support Users of On-line Discussion Forums. Tese (Doutorado em Ciência da Computação) - Universidade Federal do Amazonas, . 2022.
Supervisor: Marco Aurélio Gerosa.
4.   João Paulo Aragão Pereira. A HYBRID MODEL FOR LONG-TERM PREDICTION OF GLYCEMIC OSCILLATION IN INDIVIDUALS WITH TYPE 1 DIABETES AND SUGGESTING PERSONALIZED RECOMMENDATIONS. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2022.
Orientador: Anarosa Alves Franco Brandão.
5.   Leonardo Alexandre Ferreira Leite. A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2022.
Orientadores: Fabio Kon, Paulo Roberto Miranda Meirelles.
6.   Leonardo Makoto Mito. Tópicos em otimização cônica não linear e aplicações. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Gabriel Haeser.
7.   Márcio Fernando Stabile Junior. Anytime BDI: uma arquitetura de agentes limitada no tempo. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Jaime Simão Sichman.
8.   Rodrigo Carvalho Borges. Sistemas de Recomendação de Música Baseados em Áudio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Marcelo Gomes de Queiroz.
9.   Thilo Koch. Processamento flexível de sinais de áudio em tempo real. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Marcelo Gomes de Queiroz.
10.   Vinicius Renan de Carvalho. Using multi-agent systems and social choice theory to design hyper-heuristics for solving multi-objective optimization problems. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Jaime Simão Sichman.

2021

1.   Alex Torquato Souza Carneiro. Interação por perseguição dos olhos: algoritmos e aplicações.. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Carlos Hitoshi Morimoto.
2.   Alexandre Morimitsu. Algoritmos e Estruturas de Dados para Hiperárvores de Componentes de Imagens em Níveis 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. 2021.
Orientador: Ronaldo Fumio Hashimoto.
3.   Fillipe Manoel Xavier Resina. Revisão Múltipla de Ontologias. Tese (Doutorado 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.
4.   Grover Enrique Castro Guzman. Métodos estatístico-computacionais baseados na densidade espectral de grafos e suas aplicações. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: André Fujita.
5.   Luciano Walenty Xavier Cejnog. A framework for hand gesture analysis and tracking: the case for hands with unusual shapes and movements. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Roberto Marcondes Cesar Junior.
6.   Mairieli Santos Wessel. Perception of Software Bots on Pull Requests on Social Coding Environments. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Marco Aurélio Gerosa.
7.   Mateus Espadoto. Learning Multidimensional Projections with Neural Networks. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Nina Sumiko Tomita Hirata.
8.   Pedro Henrique Rocha Bruel. Toward Transparent and Parsimonious Methods for Automatic Performance Tuning. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Alfredo Goldman vel Lejbman.
9.   Phyllipe Lima. Assessing Code Annotations Usage in Software Projects. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Supervisor: Paulo Roberto Miranda Meirelles.
10.   Roberto Piassi Passos Bodo. Music Similarity Models applied to Cover Song Identification and Classification. Tese (Doutorado 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 Gomes de Queiroz.
11.   Sandro Márcio da Silva Preto. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. Tese (Doutorado 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.
12.   Taiane Coelho Ramos. Técnicas de clusterização e estratificação de indivíduos para estudo de redes funcionais cerebrais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: André Fujita.
13.   Thiago Pereira Bueno. Planejamento em Grafos de Computação Estocástica: Resolvendo Problemas Estocásticos Não-Lineares com Retropropagação de Erro. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientadores: Denis Deratani Mauá, Leliane Nunes de Barros.
14.   Wilson Kazuo Mizutani. The Unlimited Rulebook: architecting the economy mechanics of games. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Fabio Kon.

2020

1.   Ana Paula Chaves. Should my chatbot be register-specific? Designing appropriate utterances for tourism interactions. Tese (Doutorado em Informatics) - Northern Arizona University, . 2020.
Orientador: Marco Aurélio Gerosa.
2.   Carlos Eduardo Martins Relvas. Agrupamento baseado em modelos de mistura de gaussianas com covariáveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2020.
Orientador: André Fujita.
3.   Felipe de Souza Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Supervisor: Roberto Hirata Junior.
4.   Felipe Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado 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.
5.   Francisco Caio Maia Rodrigues. Visual Analytics for Machine Learning: Computing and Leveraging Decision Boudary Maps. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Roberto Hirata Junior.
6.   Henrique Stagni. Property testing and parameter estimation. Tese (Doutorado 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.
7.   Jandson Santos Ribeiro. Belief Change Without Compactness. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Renata Wassermann.
8.   Joelma Cristina Costa e Silva. Análise baseada em contexto do movimento de pedestres em terminais de transporte. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
9.   Maciel Calebe Vidal. Identificação de causalidade de Granger em dados longitudinais com aplicações em neuroimagem.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: André Fujita.
10.   Marcelo Moura Amorim. Itens de teste colaborativo em 6 camadas:perspectivas para avaliação formativa assitida por computadores em ambientes virtuais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Ana Cristina Vieira de Melo.
11.   Pablo Cesar Ccori. A framework for device interaction in a network of things. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
12.   Ricardo Ferreira Guimarães. Modularity in Belief Change of Description Logic Bases. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Renata Wassermann.
13.   Suzana de Siqueira Santos. Estimadores de parâmetro consistentes para modelos de grafo aleatório e estudo sobre a relação entre a rede modo padrão do cérebro e o volume do corpo caloso.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: André Fujita.
14.   Yorah Bosse. Patterns of Difficulties Related to Programming Learning. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Marco Aurélio Gerosa.

2019

1.   Daiana Oliveira dos Santos. Condições de otimalidade para otimização cônica. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Gabriel Haeser.
2.   Eduardo Felipe Zambom Santana. InterSCSimulator: a scalable, open source, smart city simulator. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2019.
Orientador: Fabio Kon.
3.   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. 2019.
Orientador: Roberto Marcondes Cesar Junior.
4.   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. 2019.
Orientador: Roberto Marcondes Cesar Junior.
5.   Fabiano Ferreira Luz. Deep Neural Semantic Parsing: Translating from Natural Language into SPARQL. Tese (Doutorado 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 Finger.
6.   Fabio Marcos dos Santos. Supporting the Task-Driven Skill Identification in Open Source Project Issue Tracking Systems. Tese (Doutorado em Informatics) - Northern Arizona University, . 2019.
Orientador: Marco Aurélio Gerosa.
7.   Jandisson Soares de Jesus. Um modelo baseado em dados históricos para a estimação dos juros da dívida técnica. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Ana Cristina Vieira de Melo.
8.   Jefferson Silva. Engagement in Open Source Software Projects via Summer of Code Programs. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2019.
Orientador: Marco Aurélio Gerosa.
9.   Leissi Margarita Castañeda Leon. An Efficient Hierarchical Layered Graph Approach for Multi-Region Segmentation. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Paulo André Vechiatto de Miranda.
10.   Liliane Santana Oliveira Kashiwabara. Uma abordagem integrada para a construção e utilização de HMMs de perfil para análises genômicas e metagenômicas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Supervisor: Alan Mitchell Durham.
11.   MINA CINTHO OZAHATA. Mineração de dados de anemia falciforme e priapismo. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: João Eduardo Ferreira.
12.   Rafael Will Macêdo de Araujo. A Bag of Features Approach for Human Attribute Analysis on Face Images. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2019.
Orientador: Roberto Hirata Junior.
13.   Renzo Gonzalo Gómez Díaz. Covering a graph bu nontrivial paths. 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. 2019.
Orientador: Yoshiko Wakabayashi.
14.   Rodrigo Izidoro Tinini. Alocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5G. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Daniel Macêdo Batista.

2018

1.   Adèle Helena Ribeiro. Identification of causality in genetics and neuroscience. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
2.   Ana Paula Oliveira Bertholdo. User engagement by means of game elements in online open collaboration communities. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marco Aurélio Gerosa.
3.   Andrew Toshiaki Nakayama Kurauchi. EyeSwipe: Entrada de Texto Usando Gestos do Olhar. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Carlos Hitoshi Morimoto.
4.   Eduardo Menezes de Morais. Independência parcial no problema da satisfazibilidade probabilística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Marcelo Finger.
5.   Frank Navarro Rojas. Condições de otimalidade, qualificação e métodos tipo Lagrangiano aumentado para problemas de equilíbrio de Nash generalizados. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Gabriel Haeser.
6.   Gabriela Eleutério Soares. Testes estatísticos semi-paramétricos para discriminação e grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
7.   Graziela Simone Tonin. Technical Debt Management in the Context of Agile Methods in Software Development. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Alfredo Goldman vel Lejbman.
8.   Higor Amario de Souza. Assessment of Spectrum-based Fault Localization for Practical Use. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2018.
Orientador: Fabio Kon.
9.   Hugo Vinícius Vaz Braga. Algoritmos exatos para problemas de 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. 2018.
Orientador: Yoshiko Wakabayashi.
10.   Ignasi Andres. Planejamento Contingente e Planejamento Probabilístico com Ajuda Externa. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Leliane Nunes de Barros.
11.   Joel Edu Sanchez Castro. Seleção de Modelos para o Aprendizado de Hipóteses Booleanas. 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. 2018.
Orientadores: Junior Barrera, Ronaldo Fumio Hashimoto.
12.   Jose Euripedes Ferreira de Jesus Filho. Método beam search aplicado a problemas de programação da produçã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. 2018.
Orientador: Ernesto Julián Goldberg Birgin.
13.   Juan Gabriel Gutiérrez Alva. Transversais em grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Cristina Gomes Fernandes.
14.   Leandro Luque. Collab4All: a method to foster inclusion in Computer-Supported Collaborative Work. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Toshiba Foundation. 2018.
Orientador: Anarosa Alves Franco Brandão.
15.   Lucy Choque Mansilla. Segmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de Conexidade. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Paulo André Vechiatto de Miranda.
16.   Luis Eduardo Zambrano Fernandéz. Densidade local em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
17.   Marcos Tulio Amarís Gonzáles. Performance Prediction of Applications Executed on GPUs using a Simple Analytical Model and Machine Learning Techniques. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Alfredo Goldman vel Lejbman.
18.   Maricy Caregnato. Regressão logística multinomial: um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Flavio Soares Correa da Silva.
19.   Mauro de Medeiros Oliveria. Transcriptoma, sítios de ligação para fatores de transcrição e região promotora de cana-de-açúcar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: Alan Mitchell Durham.
20.   Paulo Hubert. Um sistema para segmentacao e caracterizacao nao supervisionada de eventos em sinais acusticos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Julio Michael Stern.
21.   Vinicius Jardim Carvalho. a ser definido. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.

2017

1.   Adalberto Bosco Pereira. Uso de jogos digitais no desenvolvimento de competências curriculares da matemá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. 2017.
Orientador: Flavio Soares Correa da Silva.
2.   Anderson Carlos Moreira Tavares. Interactive 3D Segmentation Repair with Image-Foresting Transform, Supervoxels and Seed Robustness. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Paulo André Vechiatto de Miranda.
3.   Andreiwid Sheffer Correa. Uma arquitetura de referência colaborativa para estruturação de dados abertos governamentais. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2017.
Supervisor: Flavio Soares Correa da Silva.
4.   Antonio Deusany de Carvalho Jr. Mobile Technologies for Music Interaction. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Marcelo Gomes de Queiroz.
5.   Daniel Cukier. Software startup ecosystems evolution: a maturity model. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Fabio Kon.
6.   Felipe Pontes Guimarães. IMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicas. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2017.
Orientador: Daniel Macêdo Batista.
7.   Fernando Cipriano Andrade Oliveira. Genetic Architecture of genes coding for RNA-binding proteins. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: André Fujita.
8.   Guilherme Fernades Otranto. A formal model for strategic planning in cooperative and competitive environments case study: design and implementation of a basketball simulator. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2017.
Orientador: Junior Barrera.
9.   Gustavo Ansaldi Oliva. On the Link between Structural Dependencies and Software Changes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marco Aurélio Gerosa.
10.   Gustavo Pinto Vilela. Causalidade de Granger entre grafos no domínio da frequência. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: André Fujita.
11.   Igor dos Santos Montagner. W -operator learning using linear models for both gray-level and binary inputs. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientadores: Roberto Hirata Junior, Nina Sumiko Tomita Hirata.
12.   John Lenon Gardenghi. Complexidade em programação não linear. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
13.   Luiz Carlos Vieira. Assessment of fun from the analysis of facial images. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Flavio Soares Correa da Silva.
14.   Oberlan Christo Romão. O problema de corte não guilhotinado multiperí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. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
15.   Paulo Bittencourt Moura. Dynamic resource allocation for elastic systems based on scalability modeling. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2017.
Orientador: Fabio Kon.
16.   Phablo Fernando Soares Moura. Graph colorings and digraph subdivisions. 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. 2017.
Orientador: Yoshiko Wakabayashi.
17.   Rafael Santos Coelho. The k-hop connected dominating set problem: approximation algorithms and hardness results. 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. 2017.
Orientador: Yoshiko Wakabayashi.
18.   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. 2017.
Orientador: Roberto Marcondes Cesar Junior.
19.   Vladimir Emiliano Moreira Rocha. Uma arquitetura escalável para recuperação e atualização de informações com relação de ordem total. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2017.
Orientador: Anarosa Alves Franco Brandão.

2016

1.   Abner Cardoso Rofrigues Neto. Caracterização e análise da atividade eletrofisiológica em pacientes com epilepsia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Supervisor: André Fujita.
2.   André Luis Schwerz. Sistemas de informação cientes de processos, robustos e confiáveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: João Eduardo Ferreira.
3.   André Luiz Kawamoto. Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos. Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
4.   Antonio Josefran de Oliveira Bastos. Circuitos Hamiltonianos em hipergrafos e densidades de subpermutações. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Guilherme Oliveira Mota.
5.   Antonio José Homsi Goulart. Efeitos de áudio baseados em decomposição AM/FM. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Gomes de Queiroz.
6.   Eduardo Cotrin Teixeira. Informações de suporte ao escalonamento de workflows 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. 2016.
Orientador: Kelly Rosa Braghetto.
7.   Frank Dennis Julca Aguilar. Recognition of Online Handwritten Mathematical Expressions using Contextual Information. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Nina Sumiko Tomita Hirata.
8.   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. 2016.
Orientador: Carlos Hitoshi Morimoto.
9.   Fábio Happ Botler. Decomposição de grafos em caminhos. 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. 2016.
Orientador: Yoshiko Wakabayashi.
10.   Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Finger.
11.   Igor Scaliante Wiese. Predição de mudanças conjuntas de artefatos de software com base em informações contextuais. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marco Aurélio Gerosa.
12.   Ivanilton Polato. Economia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File System. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Fabio Kon.
13.   José Alberto Ramos Flor. Tópicos em condições de otimalidade para otimização não linear. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Supervisor: Gabriel Haeser.
14.   João Marcelo Borovina Josko. João Marcelo Borovina Josko. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: João Eduardo Ferreira.
15.   Luiz Arthur Feitosa dos Santos. Uma abordagem autonômica para mitigar ciberataques em redes de computadores. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Daniel Macêdo Batista.
16.   Marcos Silvano de Almeida. Design de jogos baseado em componentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
17.   Mauricio Finavaro Aniche. Architectural Roles in Code Metric Assessment and Code Smell Detection. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marco Aurélio Gerosa.
18.   Patricia Alves Pereira. iMPaCTS: Um modelo de colaboração por pares para aprendizagem. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Leônidas de Oliveira Brandão.
19.   Paulo de Tarso Guerra Oliveira. Revisão de crenças temporais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Renata Wassermann.
20.   Rafael Liberato Roberto. Aumentando a migração de instâncias não complacentes em sistemas de informação cientes de processos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: João Eduardo Ferreira.
21.   Ricardo Moura Sekeff Budaruiche. Uso de ontologias para classificação de pacientes portadores da Síndrome de Li-Fraumeni: Estudo de caso no A.C. Camargo Cancer Center. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Renata Wassermann.
22.   Rodrigo Campiolo. Análise e extração de alertas antecipados sobre ameaças e incidentes de segurança em sistemas computacionais usando fontes de dados não estruturados. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Daniel Macêdo Batista.
23.   Rogério Aparecido Gonçalves. A runtime for code offloading on modern heterogeneous platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Alfredo Goldman vel Lejbman.
24.   Santiago Valdes Ravelo. Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximaçã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. 2016.
Orientador: Carlos Eduardo Ferreira.
25.   Wellington D. Previero. Estratégias de resolução para o problema do job-shop flexível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Carlos Eduardo Ferreira.

2015

1.   André Pierro de Camargo. Estabilidade numérica de fórmulas de interpolação baricêntrica. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Walter Figueiredo Mascarenhas.
2.   Antonio Diaz Tula. Contribuições para interação pelo olhar com teclados virtuais. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Carlos Hitoshi Morimoto.
3.   Estefhan D. Wandekokem. Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Marcondes Cesar Junior.
4.   Henrique Morimitsu. A graph-based approach for online multi-object tracking in structured videos with an application to action recognition. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Roberto Marcondes Cesar Junior.
5.   Igor Fabio Steinmacher. Supporting newcomers to overcome the barriers to contribute to open source software projects. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Marco Aurélio Gerosa.
6.   Jorge Luis Guevara Dias. Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Hirata Junior.
7.   Jorge Luis Torrejon. Aproximação Numérica à Convolução de Mellin via Mistura de Exponenciais. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Julio Michael Stern.
8.   Leandro de Araujo Lima. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Ronaldo Fumio Hashimoto.
9.   Liliane Santana Oliveira. Caracterização de Sequências Virais em Metagenomas. Tese (Doutorado em Interunidades em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Alan Mitchell Durham.
10.   Luis Gustavo Nardin. An adaptive sanctioning enforcement model for normative multiagent systems. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Escola Politécnica, . 2015.
Orientador: Jaime Simão Sichman.
11.   Marcio Takashi Oshiro. Clustering de trajetórias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Cristina Gomes Fernandes.
12.   Marcos E. B. Broinizi. Ordenação evolutiva de anúncios em publicidade computacional.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: João Eduardo Ferreira.
13.   Marta Magda Dornelles. Construção e seleção de janelas na combinação de W-operadores. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Nina Sumiko Tomita Hirata.
14.   Milton Y. Nishiyama Jr. Desenvolvimento da Plataforma CaneRegNet para Anotação Funcional e Análise do Transcriptoma da Cana-de-Açucar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: João Eduardo Ferreira.
15.   Rafael Durbano Lobato. Empacotamento de elipsoides. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Ernesto Julián Goldberg Birgin.
16.   Rafael Perazzo Barbosa Mota. Mecanismos para a Melhoria do Desempenho de Sistemas RFID Passivos. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Daniel Macêdo Batista.
17.   Reginaldo do Prado. iPlan - Uma Linha de Produto de Software baseada em Padrões Pedagógicos para Gerar Planos de Aulas em Ambientes Aprendizagem via Web. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Leônidas de Oliveira Brandão.
18.   Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Ana Cristina Vieira de Melo.
19.   Sérgio Nery Simões. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Ronaldo Fumio Hashimoto.
20.   Tiago Montanher. Estimação de Modelos de Markov Ocultos Usando Aritmética Intervalar. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Walter Figueiredo Mascarenhas.
21.   Wonder Alexandre Luz Alves. Últimos Levelings: Conceitos, propriedades, algoritmos e aplicações em Processamento e Análise de Imagens. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Ronaldo Fumio Hashimoto.

2014

1.   Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
2.   Allan Diego Silva Lima. SORM: Social Opinion Relevance Model. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Escola Politécnica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Jaime Simão Sichman.
3.   Bruno Klava. Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Nina Sumiko Tomita Hirata.
4.   Diogo Ferreira da Costa Patrão. DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA. Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, . 2014.
Supervisor: Renata Wassermann.
5.   Emílio de Camargo Francesquini. Dealing with actor runtime environments on hierarchical shared memory multi-core platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.
6.   Igor Bonadio. Predição de Genes Utilizando Modelos de Covariância. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alan Mitchell Durham.
7.   Jorge J. Gomes Leandro. Análise de formas usando wavelets em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Marcondes Cesar Junior.
8.   Maria Viviane de Menezes. Mudanças em Problemas de Planejamento sem Solução. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Leliane Nunes de Barros.
9.   Pedro Losco Takecian. Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2014.
Orientador: João Eduardo Ferreira.
10.   Rafael Crivellari Saliba Schouery. Problemas de alocação e precificação de itens. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Cristina Gomes Fernandes.
11.   Raphael Mendes Cóbe. Integração entre múltiplas ontologias: reúso e gerência de conflitos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Renata Wassermann.
12.   Renzo Gonzalo Gomez Diaz. Cobertura de grafos por caminhos não triviais. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiko Wakabayashi.
13.   Vinicius Rafael Neris dos Santos. Detecção e Classificação Automática de Interferências no Subsolo com GPR Utilizando Redes Neurais Artificiais (RNAs): Estudo no SCGR do IAG/USP. Tese (Doutorado em Geologia Geral e Aplicacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Nina Sumiko Tomita Hirata.
14.   Vinícius Gama Pinheiro. The management of multiple submissions in parallel systems: the fair scheduling approach. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.

2013

1.   Alvaro Junio Pereira Franco. Algoritmos para junções em grafos dirigidos acíclicos e uma aplicação em Antropologia. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Carlos Eduardo Ferreira.
2.   Anderson Fraiha Machado. Conversão de Voz Inter-Linguística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Marcelo Gomes de Queiroz.
3.   Arnaldo Câmara Lara. Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Roberto Hirata Junior.
4.   Claudia de Oliveira Melo. Productivity of Agile Teams: An Empirical Evaluation of Factors and Monitoring Processes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Fabio Kon.
5.   Daniel Mendes Azerêdo. Pesquisas sob amostragem informativa utilizando o FBST. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Julio Michael Stern.
6.   Daniel Mendes Azerêdo. Pesquisas sob amostragem informativa utilizando o FBST. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Julio Michael Stern.
7.   Daniele Yumi Sunaga de Oliveira. Biologia Computacional aplicada para a análise de dados em larga escala. Tese (Doutorado em Ciências Biológicas (Genética)) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Ronaldo Fumio Hashimoto.
8.   Fernando José de Moura Marcellino. Planejamento Integrado da Cadeia de Suprimentos da Indústria do Petróleo Baseado em Agentes Holônicos. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2013.
Orientador: Jaime Simão Sichman.
9.   Flávio Luiz Schiavoni. Medusa: Um Ambiente Musical Distribuído. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Gomes de Queiroz.
10.   Guilherme Oliveira Mota. Dois resultados em combinatória contemporânea. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Yoshiharu Kohayakawa.
11.   Paulo Roberto Miranda de Meirelles. Monitoramento de métricas de código-fonte em projetos de software livre. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Fabio Kon.

2012

1.   Alexandre da Silva Freire. Empacotamento de bicliques em grafos bipartidos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Carlos Eduardo Ferreira.
2.   Alexandre Rossi Paschoal. BIOINFORMÁTICA APLICADA EM RNomics: ESTRATÉGIAS COMPUTACIONAIS PARA CARACTERIZAÇÃO DE RNAS NÃO-CODIFICADORES. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Alan Mitchell Durham.
3.   Alexandre Torres Porres. Modelos Psicoacústicos de Dissonância para Eletrônica ao Vivo. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Marcelo Gomes de Queiroz.
4.   Ana Beatriz Vicentim Graciano. Casamento de grafos em estruturas 3D. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Roberto Marcondes Cesar Junior.
5.   André Yoshiaki Kashiwabara. MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Alan Mitchell Durham.
6.   Carlos Henrique Aguena Higa. Inferência de Redes de Regulação Gênica Utilizando o Paradigma de Crescimento de Sementes. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Ronaldo Fumio Hashimoto.
7.   Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Flavio Soares Correa da Silva.
8.   Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2012.
Orientador: Flavio Soares Correa da Silva.
9.   David da Silva Pires. Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Roberto Marcondes Cesar Junior.
10.   Fernanda Nascimento Almeida. Descrição da proveniência de dados para extração de conhecimento em sistemas de informação de hemoterapia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: João Eduardo Ferreira.
11.   Leonardo Lamas Leandro Ribeiro. Modelagem estratégico-tática em esportes coletivos de invasão: aplicação ao basquetebol. Tese (Doutorado em Educação Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Junior Barrera.
12.   Marcelo da Silva Reis. Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Junior Barrera.
13.   Marcelo Hashimoto. Detecção de objetos por reconhecimento de grafos-chave. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Roberto Marcondes Cesar Junior.
14.   Mariana Elisa Benassi-Werke. Familiaridade, Supressão Articulatória e Comprimento do Estímulo: Influências na Memória de Curto Prazo e Memória Operacional para Tons e Melodias. Tese (Doutorado em Psicobiologia) - Universidade Federal de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Marcelo Gomes de Queiroz.
15.   Mario Leston Rey. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Yoshiko Wakabayashi.
16.   Maysa Malfiza Garcia Macedo. Detecção e caracterização de redes vasculares usando a transformada de Hough 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. 2012.
Orientador: Marcel Parolin Jackowski.
17.   Ricardo Luiz Andrade Abrantes. Problemas de corte com sobras aproveitáveis e eliminação de simetrias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Ernesto Julián Goldberg Birgin.
18.   Talita Perciano Costa Leite. Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientadores: Roberto Hirata Junior, Roberto Marcondes Cesar Junior.
19.   Viviane Almeida dos Santos. Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Alfredo Goldman vel Lejbman.
20.   Wang Xinli. Discrete-geometric functions associated to polyhedral cones and point sets. Tese (Doutorado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.

2011

1.   Denise H Goya. Criptografia de chave pública sem certificado. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Routo Terada.
2.   Fabrício Martins Lopes. Redes complexas de expressão gênica: síntese, identificação, análise e aplicações. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2011.
Orientador: Roberto Marcondes Cesar Junior.
3.   Flávio Luis Coutinho. Métodos para rastreamento de olhar tolerantes a movimentos de cabeça baseados na razão cruzada. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Carlos Hitoshi Morimoto.
4.   Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
5.   Karla Roberta Pereira do Nascimento. Recoloração Convexa de Caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiko Wakabayashi.
6.   Kelly Rosa Braghetto. Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: João Eduardo Ferreira.
7.   Leandro Ferrari Thomaz. Ensemble: Um arcabouço para construção de sistemas multi-agentes musicais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Marcelo Gomes de Queiroz.
8.   Paulo Salem da Silva. Multi-Agent Systems Verification by means of Simulation Analyis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Ana Cristina Vieira de Melo.
9.   Sara Jane Casare. MEDEE: A method framework for multiagent systems. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2011.
Orientador: Jaime Simão Sichman.

2010

1.   Alexandre Noma. Casamento de grafos, MRF e propagação de crenças. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Marcondes Cesar Junior.
2.   Carlos da Silva dos Santos. Construção de atributos binários baseada em análise de interações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Hirata Junior.
3.   Daniel de Oliveira Dantas. Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Junior Barrera.
4.   Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Marcelo Finger.
5.   Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Supervisor: João Eduardo Ferreira.
6.   Jesus pascual Mena Chalco. Reconstrução de faces 3D através de espaços de componentes principais. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Roberto Marcondes Cesar Junior.
7.   Karina Valdivia Delgado. Processos Markovianos de Decisão com Probabilidades Imprecisas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Leliane Nunes de Barros.
8.   Márcio Moretto Ribeiro. Revisão de Crenças em Lógicas de Descrição e Outras Lógicas não Clássicas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Renata Wassermann.
9.   Pavlos Bahia Konstadinidis. A conjectura KLR e 1-afirmações para propriedades anti-Ramsey. Tese (Doutorado em Matemática) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Yoshiharu Kohayakawa.
10.   Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Ana Cristina Vieira de Melo.
11.   Yanik Ngoko. L?Approche du portfolio d?algorithmes pour la construction des algorithmes robustes et adaptatifs. Tese (Doutorado em Informatique et Systèmes) - Institut National Polythecnique De Grenoble, . 2010.
Supervisor: Alfredo Goldman vel Lejbman.

2009

1.   Alberto Alexandre Assis Miranda. Grafos Pfaffianos e Problemas Relacionados. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Cláudio Leonardo Lucchesi.
2.   Alexandre Ricardo Nardi. Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2009.
Orientador: João Eduardo Ferreira.
3.   Candida Nunes da Silva. Fluxos Inteiros e Colorações. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009.
Orientador: Cláudio Leonardo Lucchesi.
4.   Joao Henrique Burckas Ribeiro. Aprendizado Computacional Baseado em Distância a Segmentos de Reta. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Ronaldo Fumio Hashimoto.
5.   Luciano Coutinho. Interoperabilidade organizacional em sistemas multiagentes abertos baseada em engenharia dirigida por modelos. Científico e Tecnológico - MA, . 2009.
Orientador: Jaime Simão Sichman.
6.   Martin Moguillansky. Argumentation Dynamics. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. 2009.
Supervisor: Renata Wassermann.
7.   Maurício Egidio Cantão. Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Supervisor: João Eduardo Ferreira.
8.   Paulo André Lima de Castro. Uma Arquitetura para Administração Automatizada de Ativos Baseada em Agentes Competitivos. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2009.
Orientador: Jaime Simão Sichman.
9.   Thiago Teixeira Santos. Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Carlos Hitoshi Morimoto.

2008

1.   Celina Maki Takemura. Análise de posição relativa de objetos usando formas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Roberto Marcondes Cesar Junior.
2.   David Corrêa Martins Junior. Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Orientadores: Roberto Marcondes Cesar Junior, Junior Barrera.
3.   Jose de Ribamar Braga Pinheiro Junior. Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Fabio Kon.
4.   Luciano Vieira de Araújo. Sistema colaborativo para armazenamento e análise de dados de HIV. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008.
Orientador: João Eduardo Ferreira.
5.   Marcelo Ris. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno. Tese (Doutorado em Doutorado em Bioinformática) - Departamento de Ciência da Computação Bioinfo Usp, . 2008.
Orientador: Junior Barrera.
6.   Marcio Alves Diniz. Um Teste Preciso para Raízes Unitárias e Co-Integração. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2008.
Orientador: Julio Michael Stern.
7.   Marina Andretta. Tópicos em otimização com restrições lineares. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Ernesto Julián Goldberg Birgin.
8.   Márcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008.
Orientador: João Eduardo Ferreira.
9.   Rudini Menezes Sampaio. Limites de seqüências de permutações de inteiros. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Yoshiharu Kohayakawa.

2007

1.   Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Marcelo Finger.
2.   Andreia Cristina G. Machion. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2007.
Orientador: Leliane Nunes de Barros.
3.   André Fujita. Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Carlos Eduardo Ferreira.
4.   David Desario. Polyhedral theta functions and their applications to combinatorial geometry. Tese (Doutorado em Mathematics) - Temple University, . 2007.
Orientador: Sinai Robins.
5.   Diana Francisca Adamatti. Inserção de jogadores virtuais em jogos de papéis para uso em sistemas de apoio à decisão em grupo: um experimento no domínio da gestão de recursos naturais. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Jaime Simão Sichman.
6.   Gerardo Valdisio Rodrigues Vianna. Técnicas para construção de árvores filogenéticas. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . 2007.
Supervisor: Carlos Eduardo Ferreira.
7.   Marcelo de Souza Lauretto. Selecao de Modelos Atraves de um Teste de Hipotese Genuinamente Bayesiano. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Julio Michael Stern.
8.   Nestor Walter Trepode. Modelagem do controle gênico do ciclo celular por redes genéticas probabilísticas. Tese (Doutorado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Junior Barrera.
9.   Raphael Yokoingawa de Camargo. Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Fabio Kon.
10.   Silvio do Lago Pereira. Planejamento sob incertezas para metas de alcançabilidade estendidas. Tese (Doutorado em Doutor em Ciências) - Instituto de Matemática e Estatística, . 2007.
Orientador: Leliane Nunes de Barros.

2006

1.   Arlindo Flávio da Conceição. Voz e vídeo sobre redes sem fio IEEE 802.11. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Fabio Kon.
2.   Francisco Sobreira Netto. Medição de desempenho do gerenciamento de processos de negócio -BPM no PNAFE: uma proposta de modelo. Tese (Doutorado em Administração) - Universidade de São Paulo, . 2006.
Supervisor: João Eduardo Ferreira.
3.   Gordana Manic. Empacotamento de subgrafos em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Yoshiko Wakabayashi.
4.   Kelly Rosa Braghetto. Identificação Não-Supervisionada de Padrões de Fluxos em Workflow Científicos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Supervisor: Roberto Marcondes Cesar Junior.

2005

1.   Nuno David. Verificação Empírica e Intencional de Programas em Simulação Social Baseada em Agentes. Tese (Doutorado em Informática) - Universidade de Lisboa, Fundação de Ciência e Tecnologia. 2005.
Supervisor: Jaime Simão Sichman.
2.   Renato José da Silva Carmo. Dois Problemas de Busca. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Yoshiharu Kohayakawa.
3.   Said Sadique Adi. Identificação de genes por comparação de seqüências. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Orientador: Carlos Eduardo Ferreira.
4.   Sergio Drumond Ventura. Tecnicas de otimizacao para estimacao de parametros de filmes finos. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Supervisor: Ernesto Julián Goldberg Birgin.
5.   Silvia Cristina Dias Pinto. Análise de formas 3D usando wavelets 1D, 2D e 3D. Tese (Doutorado em IFSC-USP - São Carlos) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Roberto Marcondes Cesar Junior.
6.   Simone das Graças Domingues Prado. Um experimento no uso de ontologias para reforço da aprendizagem em educação à distância. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2005.
Orientador: Jaime Simão Sichman.

2004

1.   Glauber Ferreira Cintra. Algoritmos para Problemas de Corte de Guilhotina Bidimensional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Yoshiko Wakabayashi.
2.   Gustavo Alberto Giménez Lugo. Um modelo de sistemas multiagentes para partilha de conhecimento utilizando redes sociais comunitárias. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Jaime Simão Sichman.
3.   Liliane Rose Benning Salgado. Algoritmos de Aproximação para Partições Conexas em Grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Yoshiko Wakabayashi.
4.   Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.

2003

1.   Ariane Machado-Lima. Predição Computacional de Genes de RNA. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Alan Mitchell Durham.
2.   Estela Maris Rodrigues. Algoritmos para Comparação de Árvores Filogenéticas e o Problema dos Pontos de Recombinação. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Yoshiko Wakabayashi.
3.   Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
4.   Francisco José da Silva e Silva. Adaptação Dinâmica de Sistemas Distribuídos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Supervisor: Fabio Kon.
5.   Jomi Fred Hübner. Um modelo de reorganização de sistemas multiagentes. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Jaime Simão Sichman.

2002

1.   Jair Donadelli Júnior. Resultados de Ramsey e de Densidade para Grafos Pseudo-aleatórios Esparsos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Yoshiharu Kohayakawa.
2.   Mahdi Hannoun. MOISE: Um modèle organisationnel pour les systèmes multi-agents. Tese (Doutorado em Informatique) - Ecole Nationale Superieure Des Mines de Saint Etienne, Region Rhône Alphes. 2002.
Supervisor: Jaime Simão Sichman.
3.   Marcel Brun. Projetos de operadores morfológicos multi-escala por otimização estatística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Junior Barrera.

2001

1.   Luciano da Costa Silva. Alocação Ótima de Ativos e Derivativos em Fundos de Pensão via Programação Estocástica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Julio Michael Stern.
2.   Roberto Hirata Jr. Projeto de operadores morfológicos para imagens e sinais: abordagem de reticulados finitos. Tese - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Junior Barrera.

2000

1.   Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000.
Supervisor: Flavio Soares Correa da Silva.
2.   Matthias Beck. Arithmetic properties of rational polytopes. Tese (Doutorado em Mathematics) - Temple University, . 2000.
Orientador: Sinai Robins.
3.   Nina S. T. Hirata. Projeto automático de operadores explorando conhecimento a priori. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Junior Barrera.
4.   Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
5.   Ronaldo Fumio Hashimoto. Mudança de estrutura de representação de operadores em morfologia matemática. Tese - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000.
Orientador: Junior Barrera.


(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 08/08/2024 13:33:00