| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 27-Dez-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 | - |
| 2006 | - | Aprendizagem de língua assistida por computador : uma abordagem baseada em HPSG | Costa, Flávio Maico Vaz da; Ralha, José Carlos Loureiro; Ralha, Célia Ghedini | - | - |
| 9-Jun-2021 | Mar-2020 | Arquiteturas de hardware para aceleração de algoritmos de reconstrução morfológica | Mosquera, Oscar Eduardo Anacona | Llanos Quintero, Carlos Humberto | - |
| 24-Jun-2022 | 1-Fev-2022 | Automatização da análise do desempenho termo energético das envoltórias de edificações residenciais a partir da integração BIM-VPL | Oliveira, Natalia da Silva de | Carvalho, Michele Tereza Marques | - |
| 29-Set-2006 | 29-Set-2006 | Desenvolvimento Symbian na plataforma serie 60 | Iida, Renato Faria | Menezes, Leonardo Rodrigues Araújo Xavier de | - |
| 2004 | - | Explicit substitutions and all that | Ayala-Rincón, Mauricio; Muñoz, César | - | - |
| 2-Out-2012 | 5-Jul-2012 | Impacto da adoção da linguagem XBRL sobre a assimetria informacional : uma análise empírica nas empresas brasileiras listadas na Bolsa de Valores de Nova Iorque | Prado, Alexsandro Gonçalves da Silva | Leite Filho, Paulo Amilton Maia | - |
| 17-Dez-2020 | 29-Jul-2020 | Introdução ao R no Ensino Médio usando recuperação de imagens como motivação | Santos, Kellem Corrêa | Rispoli, Vinicius de Carvalho | - |
| 14-Mar-2009 | 14-Mar-2009 | LUACOMP : ferramenta de autoria de aplicações para tv digital | Souza Júnior, Paulo José de | Gondim, Paulo Roberto de Lira | - |
| - | 6-Jul-2020 | Sistema para automação de testes no relé SEL-T400L | Honorato, Tiago da Rocha | Silva, Kleber Melo e | - |
| 27-Ago-2018 | 29-Set-2017 | Transformações de programa para suportar a evolução da linguagem Java | Dantas, Reno Medeiros | Almeida, Rodrigo Bonifácio de | - |
| 24-Out-2012 | 6-Jul-2012 | Um estudo sobre verificação formal de sistemas concorrentes | Queiroz, João Paulo Carvalho Colu de | Moura, Flávio Leonardo Cavalcanti de | - |
| 26-Jan-2011 | 19-Jul-2010 | Uma formalização da composicionalidade do cálculo lambda-ex em Coq | Barros, Flávio José Ferro | Moura, Flávio Leonardo Cavalcanti de | - |
| 8-Mar-2013 | - | Unification modulo Presburger Arithmetic and other decidable theories | Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de | - | - |
