| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
| 27-déc-2019 | 3-jui-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-jui-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-jui-2022 | 1-fév-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-sep-2006 | 29-sep-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-oct-2012 | 5-jui-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-déc-2020 | 29-jui-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-jui-2020 | Sistema para automação de testes no relé SEL-T400L | Honorato, Tiago da Rocha | Silva, Kleber Melo e | - |
| 27-aoû-2018 | 29-sep-2017 | Transformações de programa para suportar a evolução da linguagem Java | Dantas, Reno Medeiros | Almeida, Rodrigo Bonifácio de | - |
| 24-oct-2012 | 6-jui-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-jui-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 | - | - |
