Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
27-Abr-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-Dez-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-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 | - |