| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 11-Out-2016 | 30-Jun-2016 | Maldetect : uma metodologia automatizável de detecção de malwares desconhecidos | Santos, Leandro Silva dos | Amaral, Dino Macedo | - |
| 2004 | - | On automating the extraction of programs from termination proofs | Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio | - | - |
| 16-Abr-2020 | 8-Jul-2019 | Programação e pensamento computacional no 8º e 9º ano do Ensino Fundamental : um estudo de caso | Pereira, João Pedro de Lima | Costa Júnior, Edson Alves da | - |