| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
| 15-May-2020 | 13-Aug-2019 | Combining clause learning and resolution for multimodal reasoning | Angelos, Daniella Albuquerque dos | Nalon, Cláudia | - |
| 15-May-2020 | 26-Jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
| 20-Apr-2020 | 13-May-2019 | Transferências de dados em massa sensíveis ao consumo energético em Redes Ópticas Elásticas | Miranda, Maurílio Humberto Rodrigues | Drummond, André Costa | - |
| 9-Apr-2020 | 20-Aug-2019 | CUDA-Parttree : estratégia paralela em GPU para alinhamento múltiplo heurístico de milhares de sequências | Razzolini, Cainã Felipe Bento | Melo, Alba Cristina Magalhães Alves de | - |
| 2-Apr-2020 | 5-Aug-2019 | Conjunto de heurísticas de usabilidade para avaliação de aplicações móveis em smartphones | Costa, Ruyther Parente da | Canedo, Edna Dias | - |
| 1-Apr-2020 | 3-Jul-2019 | Gerenciamento de proveniência de dados de workflows de bioinformática em ambiente de nuvens federadas | Oliveira, Polyane Wercelens de | Holanda, Maristela Terto de | Araújo, Aletéia Patrícia Favacho de |
| 11-Mar-2020 | 5-Aug-2019 | Automatically fixing static analysis tools violations | Marcilio, Diego Venâncio | Almeida, Rodrigo Bonifácio de | - |
| 11-Mar-2020 | 11-Jul-2019 | A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty | Solano, Gabriela Félix | Rodrigues, Genaína Nunes | - |
| 21-Feb-2020 | 21-Jun-2019 | Abordagem de agrupamento no planejamento de voo sob tempo severo convectivo | Barbosa, Iuri Souza Ramos | Weigang, Li | - |
| 16-Jan-2020 | 24-Jun-2019 | Diversidade em Replicação Máquina de Estados | Costa, Caio Yuri da Silva | Alchieri, Eduardo Adilio Pelinson | - |
| 27-Dec-2019 | 3-Jun-2019 | Análise do impacto na compreensão de programas Java com a introdução de expressões lambda | Mendonça, Walter Lucas Monteiro de | Almeida, Rodrigo Bonifácio de | - |
| 22-Oct-2019 | 25-Feb-2019 | A resolution-based E-connected calculus | Amaral, Lucas de Moura | Nalon, Cláudia | - |
| 9-Sep-2019 | 15-Feb-2019 | Accelerating learning in multiagent domains through experience sharing | Souza, Lucas Oliveira | Ralha, Célia Ghedini | - |
| 4-Jul-2019 | 16-Feb-2018 | Provendo privacidade no modelo de coordenação por Espaço de Tuplas | Sousa Junior, Edson Floriano de | Alchieri, Eduardo Adilio Pelinson | Aranha, Diego de Freitas |
| 5-Jun-2019 | 25-Jul-2018 | Gerenciamento de proveniência de dados de workflows de bioinformática em ambiente de nuvem computacional | Tedesque, Fernanda Hondo | Holanda, Maristela Terto de | Araújo, Aletéia Patrícia Favacho de |
| 25-Apr-2019 | 31-Jul-2018 | Ferramentas de apoio a experimentos : um mapeamento sistemático | Lima, Ricardo de | Alves, Vander Ramos | - |
| 23-Apr-2019 | 21-Jun-2018 | Auto-Tuning de banco de dados NoSQL com dados de Internet das Coisas : um estudo de caso com o Cassandra | Dias, Lucas Benevides | Holanda, Maristela Terto de | - |
| 23-Apr-2019 | 27-Sep-2018 | BioNimbuZ 2 : uma plataforma de federação de nuvens em uma arquitetura orientada a microsserviços | Mendes, Felipe Lopes de Souza | Araújo, Aletéia Patrícia Favacho de | - |
| 1-Apr-2019 | 31-Jul-2018 | Utilização de técnicas e instruções especiais para acelerar o casamento de padrões exato e aproximado em GPU | Nunes, Lucas Saad Nogueira | Bordim, Jacir Luiz | - |
| 1-Apr-2019 | 27-Jul-2018 | Classificação de acromegalia em imagens tomográficas computadorizadas de vértebras (L1 - L5) com uso de ensemble de classificadores binários | Bragança, Clerimar Paulo | Machiavello, Bruno Luiggi | Berger, Pedro de Azevedo |
