INCT da Internet do Futuro

2025

1.	Aline da Silva Escórcio Ribeiro. Ensino e Aprendizagem de Representações: possibilidades de uma abordagem híbrida. Tese (Doutorado em Pós-graduação em Arquitetura e Urbanismo) - Faculdade de Arquitetura e Urbanismo da Universidade de São Paulo, . 2025. Orientador: Artur Simoes Rozestraten.
2.	Eduardo de Souza Gama. An Architecture for Adaptive Video Streaming: QoE Forecasting, Content Steering, and Scalable Resource Management through Edge-Cloud Computing. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Desenvolvimento da Unicamp. 2025. Orientador: Luiz Fernando Bittencourt.
3.	Erika Guetti Suca. Gerenciamento de privacidade baseado em ontologias e privacidade diferencial aplicado a sistemas de rastreamento de saúde. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2025. Supervisor: Renata Wassermann.
4.	Fatemeh Mosaiyebzadeh. Privacy-Preserving Federated Learning-Based Intrusion Detection System for Internet of Healthcare Things Devices. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2025. Orientador: Daniel Macêdo Batista.
5.	Helberth Borelli. Eficiência no posicionamento de serviços e alocação de nós em computação em névoa e na borda com uso de heurísticas. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás, . 2025. Supervisor: Fabio Moreira Costa.
6.	Marcos Ademir Tejada Condori. Transformada Imagem-Floresta Orientada Diferencial e Suas Aplicações na Segmentação de Objetos Sujeita a Restrições de Alto Nível por Cortes Ótimos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2025. Orientador: Paulo André Vechiatto de Miranda.
7.	Paulo Cesar Ferreira Melo. MDMWare: Model-Driven Domain-Specific Middleware for Smart Cities. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás, . 2025. Orientador: Fabio Moreira Costa.

2024

1.	Aline Rodrigheri Ioste. Aprendizagem combinada para treinamento descentralizado de redes neurais com preservação da privacidade dos dados. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Marcelo Finger.
2.	Brivaldo Alves da Silva Junior. Automatic Inference of BGP Community Semantics. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, Rede Nacional de Ensino e Pesquisa. 2024. Orientador: Ronaldo Alves Ferreira.
3.	Bruno Padilha. Classificação colaborativa de imagens para conjuntos de dados Expansíveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Tribunal de Justiça de São Paulo. 2024. Orientador: João Eduardo Ferreira.
4.	Dener Edson Ottolini Guedes da Silva. Uma arquitetura multi-camadas de gerenciamento de sistemas de Internet das Coisas fim a fim com nuvem, névoa e bruma. Tese (Doutorado em Engenharia da Informação) - Universidade Federal do ABC, . 2024. Orientador: Carlos Alberto Kamienski.
5.	Diogo Machado Gonçalves. Dynamic Network Slicing for User Mobility Support in 5G Networks. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024. Orientadores: Luiz Fernando Bittencourt, Edmundo Roberto Mauro Madeira.
6.	Edvar Afonso Luciano Filho. Coleta Oportunista com Seleção de Fontes de Dados em Redes IoT. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . 2024. Orientador: Miguel Elias Mitre Campista.
7.	FABRICIO BARBOSA DE CARVALHO. Scaling Stateful Network Services on Multicore Architectures. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Rede Nacional de Ensino e Pesquisa. 2024. Orientador: Ronaldo Alves Ferreira.
8.	Gabriel Mazzola Poli de Figueiredo. Cenários Urbanos Futuros: desafios para a colaboração transdisciplinar no projeto de sistemas urbanos complexos. Tese (Doutorado em Pós-graduação em Arquitetura e Urbanismo) - Faculdade de Arquitetura e Urbanismo da Universidade de São Paulo, . 2024. Orientador: Artur Simoes Rozestraten.
9.	Leonardo Bortolotto. El pensamiento proyectual - Propuesta de un enfoque cognitivo para la enseñanza de la arquitectura. Tese (Doutorado em Doctorado FADU) - Universidad Nacional del Litoral, . 2024. Supervisor: Artur Simoes Rozestraten.
10.	Reynaldo Caceres Villena. Attacks and Vulnerabilities on NewHope KEM and small-Ring-LWE problem. Tese (Doutorado em 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. 2024. Orientador: Routo Terada.
11.	Ricardo Nantes Liang. Fast Evaluation of Solutions to Pseudo-Boolean Optimization Problems. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024. Orientador: Claudio Nogueira de Meneses.
12.	Victor Alexandre Ploeger Mansueli. Motifs em grafos para medição de interdisciplinaridade na composição de bancas de defesa. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, . 2024. Orientador: Jesús Pascual Mena Chalco.
13.	Wellington Barbosa Rodrigues. Método computacional para sugestão de pareceristas com maior afinidade em pesquisa e menor conflito de interesse. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, . 2024. Orientador: Jesús Pascual Mena Chalco.

2023

1.	Alan Claudius Maciel. Métodos de Otimização para a Resolução do Problema de Formação de Times em Projetos. Tese (Doutorado em Ciência da Computação (33144010008P1)) - Universidade Federal do ABC, . 2023. Orientador: Claudio Nogueira de Meneses.
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.	Andréia Cristina dos Santos Gusmão. Identificação de Cliques em Redes de Colaboração Científica: um algoritmo baseado em grafos cordais. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, . 2023. Orientador: Jesús Pascual Mena Chalco.
4.	Antonio Iyda Paganeli. A novel self-adaptive approach for optimising the use of IoT devices in patient monitoring using EWS. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023. Orientador: Markus Endler.
5.	Arthur Piza Mosterio Tofani. Técnicas de Fingerprinting em áudio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023. Orientador: Marcelo Gomes de Queiroz.
6.	Artur André Almeida de Macedo Oliveira. The challenge of classifying street-level images of tree entanglements: Advances in the understanding of the impact of instance difficulty for image 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. 2023. Orientador: Roberto Hirata Junior.
7.	Bruno Chinelato Honorio. Improving Compiler-Generated Transactional Code Performance and Programmability via Language-Level Constructs. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023. Orientador: Guido Costa Souza de Araújo.
8.	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.
9.	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.
10.	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.
11.	Franklin Magalhães Ribeiro Junior. Data Flow Trustworthiness for Mist and Fog based IoT Systems. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, . 2023. Orientador: Carlos Alberto Kamienski.
12.	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.
13.	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.
14.	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.
15.	Ivan Rodrigues de Moura. Identificação de Padrões Multimodais de Comportamento Utilizando Fenotipagem Digital. Tese (Doutorado em DOUTORADO EM CIÊNCIA DA COMPUTAÇÃO ASSOCIAÇÃO UFMA-UFPI) - Universidade Federal do Maranhão, . 2023. Orientadores: Francisco José da Silva e Silva, Luciano Reis Coutinho.
16.	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.
17.	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.
18.	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.
19.	Miguel Felipe Silva Vasconcelos. Strategies for operating and sizing low-carbon cloud data centers. Tese (Doutorado em Informatique) - Université de Grenoble, . 2023. Supervisor: Daniel de Angelis Cordeiro.
20.	Patrícia Véras Marrone. MADNIFA - metodologia de auxílio para a decisão de nacionalização parcial da cadeia de produção de medicamentos e seus insumos (IFAs): uma proposta mitigar a escassez de medicamentos.. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2023. Orientador: Eduardo Mario Dias.
21.	Rodrigo Gomes Marques Silvestre. Método de promoção do acesso a medicamentos órfãos e para doenças negligenciadas por meio dos Laboratórios Farmacêuticos Oficiais do Brasil: uma abordagem orientada pela tecnologia. Tese (Doutorado em Radiologia) - Faculdade de Medicina da Universidade de São Paulo, . 2023. Orientador: Eduardo Mario Dias.
22.	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.
23.	Vicente Reis de Souza Farias. O som (in)conformado: manutenção e ruptura na produção musical de games brasileiros. Tese (Doutorado em Música) - Universidade de São Paulo, . 2023. Orientador: Fernando Henrique de Oliveira Iazzetta.

2022

1.	André Damião Bandeira. Observações sobre a experiência histórica da computação & música noBrasil (1962- 2000). Tese (Doutorado em Música) - Universidade de São Paulo, . 2022. Orientador: Fernando Henrique de Oliveira Iazzetta.
2.	Arthur Selle Jacobs. Enabling Self-Driving Networks with Machine Learning. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Supervisor: Ronaldo Alves Ferreira.
3.	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.
4.	Catalina Muñoz Morales. Improving Mode Transitioning in Phased Transactional Memory Implementations. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022. Orientador: Guido Costa Souza de Araújo.
5.	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.
6.	Eduardo Alves de Jesus Anacleto. Algoritmos para resolver problemas de otimização pseudo-Booleana. Tese (Doutorado em Ciência da Computação (33144010008P1)) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022. Orientador: Claudio Nogueira de Meneses.
7.	Juliano Marçal Lopes. Stochastic optimization and machine learning applied in the demand forecast, allocation and distribution of vaccines between Brazilian states. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2022. Orientador: Eduardo Mario Dias.
8.	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.
9.	Marina Mapurunga de Miranda Ferreira. Reativação da Escuta: práticas sonoras experimentais como estratégias para o ensino de som em cursos de Cinema e Audiovisual. Tese (Doutorado em Música) - Universidade de São Paulo, . 2022. Orientador: Fernando Henrique de Oliveira Iazzetta.
10.	Mayuri Annerose Morais. A Framework for Incident Detection in Large-Scale Public Bus Systems. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Orientador: Raphael Yokoingawa de Camargo.
11.	Miguel Gabriel Ribeiro Miguel. We propose hypothesis tests based on nonparametric Bayesian density estimation. In order to perform the tests, we use the empirical cross-entropy to evaluate how much a density diverges from the null . The evidence against the null is the posterior probability that the unknown density diverges from the null more than a given threshold. Our simulations suggests that this cross-entropy is approximat. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2022. Orientador: Julio Michael Stern.
12.	Pedro Henrique Amorim Rezende. Towards efficient bandwidth usage in Cellular Networks: RAN Slicing for LTE and Forwarding Multi-Stream Traffic over Multiple Paths. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Orientador: Edmundo Roberto Mauro Madeira.
13.	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.
14.	Rodrigo Luiz Minot Gutierrez. O risco para a igreja São Francisco de Assis na cidade de São João del Rei: estudo sobre as representações da arquitetura em Minas Gerais no final do século XVIII. Tese (Doutorado em Pós-graduação em Arquitetura e Urbanismo) - Faculdade de Arquitetura e Urbanismo da Universidade de São Paulo, . 2022. Orientador: Artur Simoes Rozestraten.
15.	Thales Areco Bandiera Paiva. Attacking and defending post-quantum cryptography candidates. Tese (Doutorado em 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. 2022. Orientador: Routo Terada.
16.	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.

2021

1.	Alexandre Heideker. Identificação de Gargalos em SFC para Gerenciamento de Elasticidade de Serviços. Tese (Doutorado em Engenharia da Informação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Orientador: Carlos Alberto Kamienski.
2.	Alexandre Malheiros Meslin. Computing here, there, and everywhere: investigating layered processing in a smart city middleware. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . 2021. Supervisor: Markus Endler.
3.	Aline Campos Reis de Souza. Modelagem conjunta de dados longitudinais contínuos no intervalo unitário e tempos de sobrevivência. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, . 2021. Orientador: Antonio Carlos Pedroso de Lima.
4.	Antônio de Abreu Batista Júnior. Predição na Ciência da Ciência: Explicativas de Modelos para Predições de Impacto Futuro de Cientistas Júnior. Científico e Tecnológico - MA, . 2021. Orientador: Jesús Pascual Mena Chalco.
5.	Diego Luiz da Silva. A Method for Finding Factors Affecting the Service Reliability on Fixed Bus Routes. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021. Orientador: Raphael Yokoingawa de Camargo.
6.	Eduardo Devidson Costa Bezerra. Tratamento de Incertezas no Processamento de Eventos Complexos para Internet das Coisas através da Teoria das Evidências de Dempster-Shafer. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Maranhão, . 2021. Orientador: Francisco José da Silva e Silva.
7.	Felipe Oliveira Carvalho. ObsAct: A Reactive Programming Abstraction for the Internet of Mobile Things. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . 2021. Orientador: Markus Endler.
8.	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.
9.	Gabriela Oliveira Biondi. Modelos de Dados Rastreáveis em Arquiteturas de Aplicações Inteligentes. Tese (Doutorado em Engenharia da Informação) - Universidade Federal do ABC, Universidade Federal do Abc. 2021. Orientador: Carlos Alberto Kamienski.
10.	Josicler Orbem Alberton. O Lugar da poética na docência de projeto nos cursos de Arquitetura e Urbanismo: Imaginário Social e Educação. Tese (Doutorado em Educação) - Universidade Federal de Santa Maria, . 2021. Supervisor: Artur Simoes Rozestraten.
11.	Luciano Jerez Chaves. Slicing-oriented management and orchestration of 4G/5G mobile core and backhaul transport networks. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2021. Orientador: Edmundo Roberto Mauro Madeira.
12.	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.
13.	Marcos Rafael Nogueira Cavalcante. Uso do modelo Slash Dobrado em dados de longa duração. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021. Orientador: Antonio Carlos Pedroso de Lima.
14.	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.
15.	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.
16.	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.
17.	Ramon Santos Nepomuceno. Enabling OpenMP Task Parallelism on Multi-FPGAs. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021. Orientador: Guido Costa Souza de Araújo.
18.	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.
19.	Rodrigo Marotti Togneri. Water Need Estimation for Smart Irrigation: From Traditional Approaches to Machine Learning. Tese (Doutorado em Engenharia da Informação) - Universidade Federal do ABC, . 2021. Orientador: Carlos Alberto Kamienski.
20.	Ronaldo Valter Nunes. Evaluation of hierarchy transitions and directed functional connectivity in large-scale cortical network models. Tese (Doutorado em Neurociência e Cognição) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Orientador: Raphael Yokoingawa de Camargo.
21.	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.
22.	Vitor Pinheiro. DSCEP: An Infrastrucure for Decentralised Semantic Complex Event Processing. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . 2021. Orientador: Markus Endler.
23.	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.	Eduardo Facchini. Método para avaliação do impacto das tecnologias digitais na mobilidade urbana. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2020. Orientador: Eduardo Mario Dias.
3.	Fabrizio Ferreira Borelli. BIoTA: Uma linguagem de desenvolvimento de software para IoT. Tese (Doutorado em Engenharia da Informação) - Universidade Federal do ABC, Universidade Federal do Abc. 2020. Orientador: Carlos Alberto Kamienski.
4.	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.
5.	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.
6.	Fernanda Beatriz J. R. Dallaqua. Projeto ForestEyes ? Ciência Cidadã e Aprendizado de Máquina na Detecção de Áreas Desmatadas em Florestas Tropicais. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Orientador: Álvaro Luiz Fazenda.
7.	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.
8.	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.
9.	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.
10.	João Paulo Labegalini de Carvalho. Improving Hardware/Software Transactional Memory Codesign: A Phase-based and Over-Instrumentation Elimination Approach. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020. Orientador: Guido Costa Souza de Araújo.
11.	Manuel Pereira Coelho Filho. Análise da relação custo-efetividade da adoção de ferramentas de Inteligência Artificial no auxílio à tomada de decisão clínica aplicadas à fase de diagnóstico da infecção por COVID-19 no Brasil. de Medicina da USP, . 2020. Orientador: Eduardo Mario Dias.
12.	Marco Antonio Bego. Um modelo para desenvolvimento de um ecossistema de inovação aberta.. de Medicina da USP, . 2020. Orientador: Eduardo Mario Dias.
13.	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.
14.	Rafael Jeferson Pezzuto Damaceno. Métodos computacionais para identificação e análise de grafos de genealogia acadêmica. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Orientador: Jesús Pascual Mena Chalco.
15.	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.
16.	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.	Ademar Takeo Akabane. Collaborative and Infrastructure-less Vehicular Traffic Rerouting for Intelligent Transportation Systems. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019. Supervisor: Edmundo Roberto Mauro Madeira.
2.	Antonio José Silvério. Otimização de Métricas de Rede de Operadora de Telecomunicações com Roteamento por Segmentos e Engenharia de Tráfego. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . 2019. Orientador: Miguel Elias Mitre Campista.
3.	Ariane de Souza Stolfi. Música em Rede: experimentos em interação musical. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Fernando Henrique de Oliveira Iazzetta.
4.	Bruno José Olivieri de Souza. Flight Coordination Approaches of UAV Squads for WSN Data Collection. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Markus Endler.
5.	Caio Hoffman. Computer Security by Hardware-Intrinsic Authentication. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Guido Costa Souza de Araújo.
6.	Danilo Carastan dos Santos. APRENDIZAGEM SOBRE HEURÍSTICAS SIMPLES PARA ESCALONAMENTO ONLINE DE TAREFAS PARALELAS. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Raphael Yokoingawa de Camargo.
7.	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.
8.	Elisângela da Silva Rodrigues. Técnicas de análises de resı́duos e forma funcional de covariáveis em modelos de tempo de falha acelerado com efeito aleatório. Tese (Doutorado em Estatística) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Julio da Motta Singer.
9.	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.
10.	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.
11.	Flora Ferreira Holderbaum. Pensar as Vozes - Vocalizar o Logos: das possibilidades de emergência de outras vocalidades. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Fernando Henrique de Oliveira Iazzetta.
12.	Hugo Alberto Brango Garcia. Modelo de regressão para um processo multi-estado com recorrência. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Antonio Carlos Pedroso de Lima.
13.	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.
14.	Julia Ferreira Bernardo. Panorama Nacional sobre Prevenção de Drogas em Contextos Educacionais. Tese (Doutorado em Educação e Saúde na Infância e Adolescência) - Universidade Federal de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Supervisor: Jesús Pascual Mena Chalco.
15.	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.
16.	Leopoldo Alexandre Freitas Mauricio. Network Functions Virtualization-Based Security Proposals for Cloud Computing Environments. Tese (Doutorado em Coordenação de Programas de Pós-graduação em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . 2019. Orientador: Otto Carlos Muniz Bandeira Duarte.
17.	Luciano Rossi. Métodos computacionais baseados em genealogia acadêmica: Contribuições para a análise do fluxo de tópicos do conhecimento científico. Tese (Doutorado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Jesús Pascual Mena Chalco.
18.	Marcos Paulo Moro. Uma Arquitetura para Gerenciamento de Energia em Centros de Dados Virtualizados. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS. 2019. Orientadores: Renato Porfirio Ishii, Ronaldo Alves Ferreira.
19.	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.
20.	Márcio Assis Miranda. MultiCloud Tournament: uma abordagem de federação de nuvens voltada à prevenção de Free-Riders através do incentivo ao compartilhamento de recursos. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2019. Orientador: Luiz Fernando Bittencourt.
21.	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.
22.	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.
23.	William Nilson de Amorim. Ciência de dados, poluição do ar e saúde. Tese (Doutorado em Doutorado em Estatistica) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Antonio Carlos Pedroso de Lima.

2018

1.	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.
2.	Daniel Guimarães do Lago. Algoritmos de Escalonamento de Máquinas Virtuais Cientes de Topologia e Energia em Data Centers. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Edmundo Roberto Mauro Madeira.
3.	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.
4.	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.
5.	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.
6.	Jocelânio Wesley de Oliveira. Gráficos de controle CUSUM para monitoramento de dados de sobrevivência. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Orientador: Antonio Carlos Pedroso de Lima.
7.	Joel Edu Sanches Castro. Model Selection for Learning Boolean Hypothesis. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2018. Supervisor: Junior Barrera.
8.	José Guilherme Allen Lima. Práticas de luteria na música experimental brasileira. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Fernando Henrique de Oliveira Iazzetta.
9.	Jucele França de Alencar Vasconcellos. Algoritmos Paralelos para Alinhamento de Sequências e Árvores Geradoras. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, . 2018. Orientador: Edson Norberto Cáceres.
10.	Juliano Carlos Cecílio Batista Oliveira. 27 textos de Lucio Costa, Oscar Niemeyer, Vilanova Artigas e Lina Bo Bardi: contribuições transversais ao ensino e à prática do projeto de arquitetura - antologia teórica. Tese (Doutorado em Pós-graduação em Arquitetura e Urbanismo) - Faculdade de Arquitetura e Urbanismo da Universidade de São Paulo, . 2018. Orientador: Artur Simoes Rozestraten.
11.	Júnio César de Lima. Seleção de Serviços Sensível a QoS e à Capacidade para Implantação Eficiente de Múltiplas Coreografias de Serviços. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás. 2018. Orientador: Fabio Moreira Costa.
12.	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.
13.	Marcelo Luiz Alves Fernandez. Aplicações de documentação fiscal eletrônica em sistemas logísticos: casos práticos. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2018. Orientador: Eduardo Mario Dias.
14.	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.
15.	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.
16.	Martin Andreoni Lopes. A Monitoring and Threat Detection System Using Stream Processing as a Virtual Function for Big Data. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Orientador: Otto Carlos Muniz Bandeira Duarte.
17.	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.
18.	Renan Schiavolin Recio. Análise das oscilações neurais a partir do EEG perante a influência de estímulos sonoros na percepção visual. Tese (Doutorado em Neurociência e Cognição) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Raphael Yokoingawa de Camargo.
19.	Sérgio Luiz Hoeflich. Indicadores de desempenho aplicados à gestão de risco em cadeias logísticas seguras no comércio exterior. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2018. Orientador: Eduardo Mario Dias.

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.	Ariel Soares Teles. Um Mecanismo Baseado em Lógica Nebulosa para a Identificação de Situações do Usuário Aplicado à Privacidade em Redes Sociais Móveis. Científico e Tecnológico - MA, . 2017. Orientador: Francisco José da Silva e Silva.
6.	Berto de Tácio Pereira Gomes. Uma Abordagem de Middleware com Suporte à Qualidade de Contexto voltada para Aplicações de Internet das Coisas. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Maranhão, . 2017. Orientador: Francisco José da Silva e Silva.
7.	Carlos Arthur Avezum Pereira. Silêncio como afeto ou a escuta corporal na recente música experimental. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Orientador: Fernando Henrique de Oliveira Iazzetta.
8.	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.
9.	Dianne Scherly Varela de Medeiros. The power of quasi-shortest paths and the impact of node mobility on dynamic networks. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientador: Miguel Elias Mitre Campista.
10.	Diogo Menezes Ferrazani Mattos. Segurança em Redes Definidas por Software: Autenticação, Controle de Acesso e Consistência com Plano de Controle Eficientemente Distribuído. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientador: Otto Carlos Muniz Bandeira Duarte.
11.	Divino César Soares Lucas. The Batched DOACROSS Algorithm. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, . 2017. Orientador: Guido Costa Souza de Araújo.
12.	Eliardo Guimrães Costa. Tamanho amostral para estimar a concentração de organismos em água de lastro: uma abordagem bayesiana. Tese (Doutorado em Doutorado em Estatistica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientador: Julio da Motta Singer.
13.	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.
14.	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.
15.	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.
16.	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: Nina Sumiko Tomita Hirata, Roberto Hirata Junior.
17.	Igor Oliveira Vasconcelos. Detecção móvel e online de anomalia em múltiplos fluxos de dados: Uma abordagem baseada em processamento de eventos complexos para detecção de comportamento de condução. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientador: Markus Endler.
18.	Juan Jesus Salamanca Guillen. Thread-Level Speculation on Hardware Transactional Memory Architectures. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, . 2017. Orientador: Guido Costa Souza de Araújo.
19.	Leandro Alexandre Freitas. Programação de Espaços Inteligentes Utilizando Modelos em Tempo de Execução. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás. 2017. Orientador: Fabio Moreira Costa.
20.	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.
21.	Marcos Paulino Roriz Junior. DG2CEP: An On-line Algorithm for Real-time Detection of Spatial Clusters from Large Data Streams through Complex Event Processing. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. 2017. Orientador: Markus Endler.
22.	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. 2017. Orientador: Marcel Parolin Jackowski.
23.	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.
24.	Rafael Oliveira Vasconcelos. Uma Abordagem Eficiente para Reconfiguração Coordenada em Sistemas Distribuídos de Processamento de Data Streams. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientador: Markus Endler.
25.	Raphael de Aquino Gomes. Implantação Eficiente de Múltiplas Coreografias de Serviços em Nuvens Híbridas. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientadores: Ricardo Couto Antunes da Rocha, Fabio Moreira Costa.
26.	Thiago Augusto Lopes Genez. Provendo Robustez a Escalonadores de Workflows Sensíveis às Incertezas da Largura de Banda Disponível. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Orientadores: Luiz Fernando Bittencourt, Edmundo Roberto Mauro Madeira.
27.	Thiago Borges de Oliveira. Efficient Processing of Multiway Spatial Join Queries in Distributed Systems. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás, . 2017. Orientador: Fabio Moreira Costa.

2016

1.	Anderson Francisco Talon. Um Mecanismo Fuzzy Auto-Adaptativo para Oferecer QoS em Serviços Web. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2016. Orientador: Edmundo Roberto Mauro Madeira.
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 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.
5.	Bianca Dantas. Metaheurísticas para o Problema da Mochila Multidimensional. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, . 2016. Orientador: Edson Norberto Cáceres.
6.	Cristiano Costa Argemon Vieira. Um Modelo de Escalonamento de Requisições de Máquinas Virtuais em Provedores de IaaS Considerando Diferentes Requisitos dos Usuários. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2016. Orientadores: Luiz Fernando Bittencourt, Edmundo Roberto Mauro Madeira.
7.	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.
8.	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.
9.	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.
10.	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.
11.	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.
12.	Jihan Zoghbi. Classificação de degeneração tecidual em pacientes com sepse usando imagens por 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. 2016. Orientador: Marcel Parolin Jackowski.
13.	José Evaldo Gonçalo. Modelo de Gestão por Processo de Negócios para Automação de Centros Integrados de Mobilidade Urbana. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2016. Orientador: Eduardo Mario Dias.
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.	João Vitor Torres. An Autonomous and Efficient Controller-based Routing Scheme for Networking Named-data Mobility. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . 2016. Orientador: Otto Carlos Muniz Bandeira Duarte.
16.	Júnio Cesar de Lima. QoS-Aware Selection and Adaptation of Shared Services for Multiple Service Choreographies. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016. Supervisor: Ricardo Couto Antunes da Rocha.
17.	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.
18.	Lúcio Valentin. Representação de informações não-estruturadas de laudos de exames radiológicos utilizando modelagem interativa de mapas conceituais. Tese (Doutorado em doutorado em tecnologia e Sociedade) - Universidade Tecnológica Federal do Paraná, . 2016. Orientador: Marcel Parolin Jackowski.
19.	Marcelo Claudio Sousa Araújo. CMFog: Migração proativa de conteúdo em Computação em Névoa multi-nível. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Desenvolvimento da Unicamp. 2016. Orientador: Luiz Fernando Bittencourt.
20.	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.
21.	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.
22.	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.
23.	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.
24.	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.
25.	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.
26.	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.
27.	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.
28.	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.
29.	Wilson Akio Higashino. Processamento de Eventos Complexos como Serviço em Ambientes Multi-Nuvem. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2016. Orientador: Luiz Fernando Bittencourt.

2015

1.	Anderson Corrêa Lima. SOLUÇÕES PARA OS PROBLEMAS DA SOMA MÁXIMA E DO K-ÉSIMO MENOR ELEMENTO DE UMA SEQUÊNCIA USANDO O MODELO BSP/CGM. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, . 2015. Orientador: Edson Norberto Cáceres.
2.	Claudio Walter Gomez Duarte. ?Elegância? e ?Sutileza? na concepção dos templos dóricos gregos (Sécs. V-II a.C.). Tese (Doutorado em Curso de Pós-graduação em Arqueologia) - Museu de Arqueologia e Etnologia da Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Supervisor: Artur Simoes Rozestraten.
3.	Davi Donato Amorin de Araujo. Limites da Escuta: Epistemologia do sonoro na música concreta, na ecologia acústica e nos estudos do som. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Fernando Henrique de Oliveira Iazzetta.
4.	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.
5.	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.
6.	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.
7.	Lyno Henrique Gonçalves Ferraz. A High-Performance Two-Phase Multipath Scheme for Data-Center Networks. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Otto Carlos Muniz Bandeira Duarte.
8.	Marcio Machado Pereira. Scheduling Techniques for Transactional Memories. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Guido Costa Souza de Araújo.
9.	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.
10.	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.
11.	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.
12.	Rafael Lopes Gomes. Uma Arquitetura para Negociação e Gerenciamento de SLA Fim-a-Fim de Redes Virtualizadas baseada em Classes de QoS. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Orientadores: Luiz Fernando Bittencourt, Edmundo Roberto Mauro Madeira.
13.	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.
14.	Rodrigo de Souza Couto. Estratégias e Análise de Resiliência em Redes de Centros de Dados. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Supervisor: Miguel Elias Mitre Campista.
15.	Vidal Augusto Zapparoli Castro Melo. Sistema autenticador e transmissor (SAT); modelo tecnológico de automação e controle de processos em cidades inteligentes com exemplo de aplicação ao setor tributário. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2015. Orientador: Eduardo Mario Dias.
16.	Vinicius Fernando Calsavara. Estimação de efeitos variantes no tempo em modelos tipo Cox via bases de Fourier e ondaletas Haar. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Antonio Carlos Pedroso de Lima.
17.	Áureo Emanuel Pasqualeto Figueiredo. Automação Portuária e Segurança do Trabalho. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2015. Orientador: Eduardo Mario Dias.

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.	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.
3.	Carlos Roberto Senna. CEO - Uma Infraestrutura para Orquestração de Workflows de Serviços em Ambientes Computacionais Híbridos. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Edmundo Roberto Mauro Madeira.
4.	Diana Carolina Franco-Soto. Modelos Birnbaum-Saunders para sobrevivência com dados longitudinais. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientadores: Antonio Carlos Pedroso de Lima, Julio da Motta Singer.
5.	Diego Ignacio Gallardo Mateluna. Extensões em análise de sobrevivência com fração de cura e efeitos aleatórios. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística da USP, CONYCYT. 2014. Supervisor: Antonio Carlos Pedroso de Lima.
6.	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.
7.	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.
8.	Fabiana Moura Coelho. A influência da configuração do trato vocal na sonoridade da flauta. Tese (Doutorado em Música) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Fernando Henrique de Oliveira Iazzetta.
9.	Frederico Roman Ramos. Três ensaios sobre a estrutura espacial urbana em cidades no Brasil contemporâneo: economia urbana e geoinformação na construção de novos olhares. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2014. Orientador: Ciro Biderman.
10.	Giuliano Lamberti Obici. Gambiarra e experimentalismo sonoro. Tese (Doutorado em Música) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Fernando Henrique de Oliveira Iazzetta.
11.	Julian Jaramillo Arango. Network Music: criação e performance musical colaborativa no âmbito das redes de informação. Tese (Doutorado em Música) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Fernando Henrique de Oliveira Iazzetta.
12.	Lincoln David Nery e Silva. A Scalable Middleware for Structured Data Provision and Dissemination in Distributed Mobile Systems. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Markus Endler.
13.	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.
14.	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.
15.	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.
16.	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.
17.	Vitor Kisil Miskalo. ¿Música?: processos e práticas de criação e performance em um ambiente de pesquisas em sonologia. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Fernando Henrique de Oliveira Iazzetta.

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.	Erika Guetti Suca. Gerenciamento de privacidade baseado em ontologias e privacidade diferencial aplicado a sistemas de rastreamento de saúde. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Flavio Soares Correa da Silva.
8.	Fabio del Papa. Modelos tecnológicos para planejamento e gestão operacional em terminais especializados em apoio logístico para operações Offshore. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2013. Orientador: Eduardo Mario Dias.
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.	Jorge Lima de Oliveira Filho. Uma Arquitetura para Gerência de Mobilidade Cognitiva em Redes sem Fio Heterogêneas. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Edmundo Roberto Mauro Madeira.
11.	Leandro Alexandre Freitas. Programaçao de Espaços Inteligentes utilizando Modelos em Tempo de Execução. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, . 2013. Supervisor: Ricardo Couto Antunes da Rocha.
12.	Marcos Amaris Gonzalez. Bulk Synchronous Parallel Model on Graphic Processing Units. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Supervisor: Raphael Yokoingawa de Camargo.
13.	Neumar Costa Malheiros. Uma Abordagem Cognitiva para Auto-Configuração de Protocolos de Comunicação. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Edmundo Roberto Mauro Madeira.
14.	Newton Oller de Mello. Os Documentos Fiscais Eletrônicos no Brasil e na América Latina e seus Impactos na Automação de Processos e no Intercâmbio Eletrônico de Informações na Cadeia Logística. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2013. Orientador: Eduardo Mario Dias.
15.	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.
16.	Rodolfo Ipolito Meneguette. Uma Arquitetura de Gerência de Mobilidade para Redes Veiculares. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientadores: Luiz Fernando Bittencourt, Edmundo Roberto Mauro Madeira.

2012

1.	Alan Massaru Nakai. Novas Técnicas de Distribuição de Carga para Servidores Web Geograficamente Distribuídos. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Edmundo Roberto Mauro Madeira.
2.	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.
3.	Alexandre Sperandéo Fenerich. A inscrição da intimidade na Symphonie pour un homme seul. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Fernando Henrique de Oliveira Iazzetta.
4.	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. Orientadores: Fernando Henrique de Oliveira Iazzetta, Marcelo Gomes de Queiroz.
5.	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.
6.	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.
7.	Daniel Henricus de Knegt Dutra Nicácio. LUTS: A Light-Weight User-Level Transaction Scheduler. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Guido Costa Souza de Araújo.
8.	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.
9.	Goret Pereira Paulo. Os Leilões de Contratos de Concessão de Transmissão de Energia Elétrica no Brasil: Modelo Teórico e Evidências Empíricas. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2012. Orientador: Ciro Biderman.
10.	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.
11.	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.
12.	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.
13.	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.
14.	Ramide Augusto Sales Dantas. Quality-aware Automated Service Composition using Reverse Engineering and Incomplete Information. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Supervisor: Carlos Alberto Kamienski.
15.	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, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Roberto Hirata Junior.
16.	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.

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 Ramos da Fonseca. Modelo de Sistema de Automação Aplicado à Setorização de Redes de Abastecimento Hídrico. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2011. Orientador: Eduardo Mario Dias.
3.	Flávia Vieira Pereira. As práticas de reelaboração musical. Tese (Doutorado em Música) - Universidade de São Paulo, . 2011. Orientador: Fernando Henrique de Oliveira Iazzetta.
4.	Frederico Zanqueta Poleto. Análise de dados categorizados com omissão em variáveis explicativas e respostas. Tese (Doutorado em Estatística) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Julio da Motta Singer.
5.	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.
6.	João Paulo Porto. Técnicas e Arquitetura para Captura de Traços e Execução Especulativa. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Guido Costa Souza de Araújo.
7.	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.
8.	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.
9.	Marcos Felipe Mendes Lopes. Corrupção: Estudo sobre as Formas de Mensuração e Perspectivas sobre a Forma de Combate. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2011. Orientador: Ciro Biderman.
10.	Natalia Castro Fernandes. Técnicas de Virtualização e Autoconfiguração para o Projeto de Redes de Nova Geração. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. 2011. Orientador: Otto Carlos Muniz Bandeira Duarte.
11.	Paulo Araujo Pontes. Três Ensaios sobre a Guerra Fiscal e Incentivos Estaduais para a Industrialização. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2011. Orientador: Ciro Biderman.
12.	Vladimir Fernandes Maciel. Política de Transportes e Uso do Solo: Aplicações para o Estado de São Paulo. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2011. Orientador: Ciro Biderman.

2010

1.	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.
2.	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.
3.	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.
4.	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.
5.	Horácio de Oliveira Caldas Gouveia. Os Jogos (Játékok) de György Kurtág para piano: corpo e gesto numa perspectiva lúdica. Tese (Doutorado em Música) - Universidade de São Paulo, . 2010. Orientador: Fernando Henrique de Oliveira Iazzetta.
6.	Luiz Fernando Bittencourt. Algoritmos para Escalonamento de Tarefas Dependentes Representadas por Grafos Acíclicos Direcionados em Grades Computacionais. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Edmundo Roberto Mauro Madeira.
7.	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.
8.	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.	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.
2.	Arthur de Casto Callado. Traffic Identification in IP Networks. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Supervisor: Carlos Alberto Kamienski.
3.	Caio Fernando Fontana. Metodologia para a Implantação dos Processos da Cadeia Logística Segura. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2009. Orientador: Eduardo Mario Dias.
4.	Edison de Oliveira Vianna Júnior. Modelo de Gestão e Automação dos Portos Brasileiros. Tese (Doutorado em Engenharia Elétrica) - ESCOLA POLITÉCNICA DA USP, . 2009. Orientador: Eduardo Mario Dias.
5.	Evandro Baccarin. Negociação Automática de Contratos Multi-laterais em Cadeias Produtivas Agropecuárias. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Orientador: Edmundo Roberto Mauro Madeira.
6.	Francisco Marcelo Monteiro da Rocha. Efeito da estrutura de covariância na análise de dados longitudinais. Tese (Doutorado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Julio da Motta Singer.
7.	Germán Moreno Arenas. Modelos mistos para populações finitas com erros de medida endógenos e exógenos. Tese (Doutorado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Julio da Motta Singer.
8.	Glauco Peres da Silva. Uma Discussão a cerca das Regras Eleitorais do Sistema Político Brasileiro e dos Incentivos ao Comportamento Parlamentar. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2009. Orientador: Ciro Biderman.
9.	Helcio Bezerra de Mello. Propostas de Roteamento para Redes Veiculares (VANETs) em Ambientes Urbanos. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Pesquisas. 2009. Orientador: Markus Endler.
10.	Igor Monteiro Moraes. Distribuição de Vídeo sobre Redes Par-a-par. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Otto Carlos Muniz Bandeira Duarte.
11.	José Viterbo Filho. Decentralized Reasoning in Ambient Intelligence. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Markus Endler.
12.	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.
13.	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.
14.	Ricardo Couto Antunes da Rocha. Context Management for Distributed and Dynamic Context-Aware Computing. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Pesquisas. 2009. Orientador: Markus Endler.

2008

1.	Daniel de Oliveira Cunha. Redes sem Fio de Múltiplos Saltos: Protocolos Específicos para Aplicações e Roteamento com Suporte à Diversidade Cooperativa. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Otto Carlos Muniz Bandeira Duarte.
2.	David Corrêa Martins Jr. Identificação de redes de expressão gênica em malária. 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. Supervisor: Junior Barrera.
3.	Iracema Hiroko Iramina Arashiro. Modelo multi-estados markoviano não homogêneo com efeitos dinâmicos. Tese (Doutorado em Estatística) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Antonio Carlos Pedroso de Lima.
4.	Ivo José Garcia Santos. CoGPlat: Um Middleware para Serviços de Governo Eletrônico Centrados no Cidadão. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2008. Orientador: Edmundo Roberto Mauro Madeira.
5.	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.
6.	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.
7.	Luz Mery González García. Modelos baseados no planejamento para populações finitas. Tese (Doutorado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Julio da Motta Singer.
8.	Lásaro Jonas Camargos. Protocolos Multicoordenados de Acordo e o Serviço de Log. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Edmundo Roberto Mauro Madeira.
9.	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.
10.	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.
11.	Mayra Ivanoff Lora. Modelos beta-binomial/Poisson-gama para contagens bivariadas repetidas. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2008. Orientador: Julio da Motta Singer.
12.	Miguel Elias Mitre Campista. Um Novo Protocolo de Roteamento para Redes em Malha Sem Fio. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. 2008. Orientador: Otto Carlos Muniz Bandeira Duarte.
13.	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.
14.	Pedro Braconnot Velloso. A Human-based Trust Model for Ad Hoc Networks. Tese (Doutorado em Sistemas Informáticos) - Université Pierre et Marie Curie, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Otto Carlos Muniz Bandeira Duarte.
15.	Wesley Attrot. Otimizações para Acesso à Memória em Tradução Binária Dinâmica. Tese (Doutorado em Doutorado) - Instituto de Computação - UNICAMP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Guido Costa Souza de Araújo.

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.	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.
3.	Angela Tavares Paes. Modelos com fração de cura na análise de dados de sobrevivência com omissão nas covariáveis. Tese (Doutorado em Doutorado em Estatística) - Instituto de Matemática e Estatística, . 2007. Orientador: Antonio Carlos Pedroso de Lima.
4.	Edson Borin. Técnicas para Compressão de Microcódigo. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Guido Costa Souza de Araújo.
5.	Fábio Rodrigo de Lima Cicerre. Um Middleware para Execução de Processos Estruturados em Grades Computacionais. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2007. Supervisor: Edmundo Roberto Mauro Madeira.
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.	Hana Karina Salles Rubinsztejn. Suporte à Adaptação de Conteúdo Sensível a Contexto para Dispositivos Móveis em Sistemas Publish/Subscribe. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Markus Endler.
8.	Juvêncio Santos Nobre. Testes de hipóteses para componentes de variância utilizando estatísticas U. Tese (Doutorado em Doutorado em Estatistica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Julio da Motta Singer.
9.	Luciana dos Santos Lima. Um Protocolo para Descoberta e Seleção de Recursos em Grades Móveis Ad Hoc. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . 2007. Orientador: Markus Endler.
10.	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.
11.	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.
12.	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.

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.	Flavio Estevez Calife. Determinantes do Desempenho Financeiro dos Municípios Paulistas (1997-2003). Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2006. Orientador: Ciro Biderman.
3.	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.
4.	Fábio Luciano Verdi. Uma Arquitetura para Provisionamento e Gerência de Serviços em Redes Ópticas. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, . 2006. Supervisor: Edmundo Roberto Mauro Madeira.
5.	Irineu Sotoma. Qualidade de Serviço de Detectores de Defeitos na Presença de Rajadas de Perdas de Mensagens. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Edmundo Roberto Mauro Madeira.
6.	Mariana Cúri. Análise de questionários com itens constrangedores. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2006. Orientador: Julio da Motta Singer.
7.	Mario Prestes Monzoni Neto. Impacto em Renda do Microcrédito: Uma Investigação Empírica sobre Geração de Renda do Crédito Popular Solidário (São Paulo Confia), no Município de São Paulo. Tese (Doutorado em Administração Pública e Governo) - Fundação Getulio Vargas - SP, . 2006. Orientador: Ciro Biderman.
8.	Michelle Agnes Magalhães. O Estilo Tardio de Luigi nono. Tese (Doutorado em Artes) - Universidade de São Paulo, . 2006. Orientador: Fernando Henrique de Oliveira Iazzetta.
9.	Vagner Sacramento. Um Serviço de Privacidade para Aplicações Sensíveis ao Contexto e Redes Móveis. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Pesquisas. 2006. Orientador: Markus Endler.
10.	Vera Nagamuta. Um arcabouço para a Composição, Teste e Simulação de Protocolos de Handover Suave. 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. 2006. Orientadores: Siang Wun Song, Markus Endler.

2005

1.	Gisela Tunes da Silva. Estimação da esperança do tempo de sobrevivência ajustado pela qualidade de vida por meio da modelagem de tempos de permanência. Tese (Doutorado em Estatística) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Antonio Carlos Pedroso de Lima.
2.	José Santos Romeo Nuñes. Modelagem Bayesiana para Dados de Sobrevivência Bivariados Através de Cópulas. Tese (Doutorado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Antonio Carlos Pedroso de Lima.
3.	Liliam Pereira de Lima. Avaliação da violência urbana utilizando dados de morbimortalidade: uma abordagem temporal e espacial. Tese (Doutorado em Ciências (Fisiopatologia Experimental)) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Julio da Motta Singer.
4.	Marcus Bartholomeu. Simulação Compilada para Arquiteturas Descritas em ArchC. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Supervisor: Guido Costa Souza de Araújo.
5.	Nahri Balesdent Moreano. Algortimos para Alocações de Recursos em Arquiteturas Reconfiguráveis. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Guido Costa Souza de Araújo.
6.	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.
7.	Silvina San Martino. Preditores ótimos baseados em amostragem com dois estágios de populações finitas. Tese (Doutorado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Julio da Motta Singer.

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.	Luís Henrique Maciel Kosmalski Costa. Routing in the Internet: Quality of Service and Group Communication. Tese (Doutorado em Sistemas Informáticos) - Université Pierre et Marie Curie, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Orientador: Otto Carlos Muniz Bandeira Duarte.
3.	Marcelo Dias de Amorim. Distribution de Flux en Couches dans les Réseaux Multicas Hétérogènes. Tese (Doutorado em Informatique) - Université Versailles Saint Quentin, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Orientador: Otto Carlos Muniz Bandeira Duarte.
4.	Marcelo Gonçalves Rubinstein. Avaliação do Desempenho de Agentes Móveis no Gerenciamento de Redes. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Otto Carlos Muniz Bandeira Duarte.
5.	Reiko Aoki. Modelos de regressão com erros nas variáveis com intercepto nulo. Tese (Doutorado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Supervisor: Julio da Motta Singer.
6.	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.

INCT da Internet do Futuro

Tese de doutorado

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1990

1989

1986

1.	Levi Salvi. Modelo para Intercâmbio Eletrônico de Documentos com Autoridades Portuárias e Órgãos Governamentais. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Companhia Docas do Estado de São Paulo. 2004. Orientador: Eduardo Mario Dias.
2.	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.
3.	Marcia Fumi Mizoi. Influência Local em Modelos de Sobrevivência com Fração de Cura. Tese (Doutorado em Estatística) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Antonio Carlos Pedroso de Lima.
4.	Paulo André da Silva Gonçalves. Les Réseaux Surcouches Emergents: L'Agrégation de Rapports de Groupes. Tese (Doutorado em Informatique) - Université Pierre Et Marie Curie Paris6, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Otto Carlos Muniz Bandeira Duarte.
5.	Sandro Rigo. ArchC: Uma Linguagem de Descrição de Arquiteturas. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Guido Costa Souza de Araújo.

1.	Artur Ziviani. Quality of Service and Location-Awareness. Tese (Doutorado em Informatique) - Université Pierre Et Marie Curie Paris6, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Orientador: Otto Carlos Muniz Bandeira Duarte.
2.	Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger.
3.	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.
4.	Francisco Silva e Silva. Adaptação Dinâmica de Sistemas Distribuídos. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Markus Endler.
5.	Gleice Margareth de Souza Conceição. Associação entre mortalidade e poluição atmosférica na cidade de São Paulo com base em dados de autópsia: aspectos epidemiológicos e metodologia estatística.. Tese (Doutorado em Medicina (Medicina Preventiva)) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Julio da Motta Singer.
6.	Paulo Cesar Salgado Vidal. Agregação de Estados do protocolo RSVP para Fluxos Multicast. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . 2003. Orientador: Otto Carlos Muniz Bandeira Duarte.

1.	Andrea Lucia Braga. Proposição e Implementação do Modelo de Troca Eletrônica de Dados para o Sistema Portuário Brasileiro. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2002. Orientador: Eduardo Mario Dias.
2.	Carlos Eduardo Rodrigues Alves. Algoritmos Paralelos CGM/BSP para Comparação de Cadeias. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Siang Wun Song.
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.
4.	Rodolfo Jardim de Azevedo. Uma Arquitetura para Execução de Código Comprimido em Sistemas Dedicados. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Guido Costa Souza de Araújo.
5.	Valerie Ann Albright. Ives e Villa-Lobos: aproximações entre duas linguagens americanas. Tese (Doutorado em Comunicação e Semiótica) - Pontifícia Universidade Católica de São Paulo, . 2002. Orientador: Fernando Henrique de Oliveira Iazzetta.
6.	Viviana Beatriz Lencina. Modelos de efeitos aleatórios e populações finitas. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2002. Orientador: Julio da Motta Singer.

1.	Henrique Mongelli. Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000. Orientador: Siang Wun Song.
2.	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.
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.	Paulo Cesar Centoducatte. Compressão de Programas Usando Árvores de Expressão. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . 2000. Supervisor: Guido Costa Souza de Araújo.
5.	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.
6.	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.

1.	Bruno Richard Schulze. Migracao Transparente em Sistemas de Agentes usando CORBA. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1999. Orientador: Edmundo Roberto Mauro Madeira.
2.	José Luiz Antunes de Almeida. Metodologia para Avaliação do Comportamento e Vida Útil de Motores Alimentados por Fontes Assimétricas de Tensão. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 1999. Orientador: Eduardo Mario Dias.
3.	Ricardo Pannain. Compressão de Código de Programa Usando Fatoração de Operandos. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, . 1999. Orientador: Guido Costa Souza de Araújo.
4.	Sonia regina Albano de Lima. A Escola Municipal de Música e o Ensino de Música no Brasil. Tese (Doutorado em Comunicação e Semiótica) - Pontifícia Universidade Católica de São Paulo, . 1999. Orientador: Fernando Henrique de Oliveira Iazzetta.
5.	Viviana Giampaoli. Inferência estatística para modelos lineares com restrições nos parâmetros em condições regulares e não regulares. Tese (Doutorado em Estatística) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1999. Orientador: Julio da Motta Singer.

1.	KUNIO OKUDA. Encolhimento de Ciclos Por Redução de Dependência. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, . 1996. Orientador: Siang Wun Song.
2.	MARCOS DIMAS GUBITOSO. Modelos Analíticos de Desempenho Para Sistemas de Memória Compartilhada Virtual. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, . 1996. Orientador: Siang Wun Song.

1.	Emilio Suyama. Identificação de um modelo de efeitos aleatórios. Tese - Departamento de Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1995. Orientador: Julio da Motta Singer.
2.	Linda Lee Ho. Análise de contagens multivariadas. Tese - Departamento de Engenharia de Produção, . 1995. Orientador: Julio da Motta Singer.

1.	Evaldo Aragão Farqui. Automação e Informatização Aplicada a Controle e Supervisão de Processos de Pesagem. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 1994. Orientador: Eduardo Mario Dias.
2.	Heliomar Medeiros de Lima. Protocolos Ponto-A-Multiponto de Alto Desempenho. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . 1994. Orientador: Otto Carlos Muniz Bandeira Duarte.