| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 27-avr-2017 | 2-mar-2017 | Formalização da terminação de especificações funcionais | Ramos, Thiago Mendonça Ferreira | Ayala-Rincón, Mauricio | - |
| 13-mar-2017 | 16-déc-2016 | Honeyselk : um ambiente para pesquisa e visualização de ataques cibernéticos em tempo real | Oliveira Júnior, Gildásio Antonio de | Sousa Júnior, Rafael Timóteo de | Albuquerque, Robson de Oliveira |
| 11-oct-2016 | 30-jui-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-avr-2020 | 8-jui-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 | - |