| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 11-mai-2011 | 13-jui-2010 | Verificação de propriedades do cálculo גex em Coq | Carvalho Segundo, Washington Luís Ribeiro de | Moura, Flávio Leonardo Cavalcanti de | - |
| 17-jui-2015 | 10-mar-2015 | Verificação de texto manuscrito em dispositivos móveis | Guerin Júnior, Nilson Donizete | Espinoza, Bruno Luiggi Macchiavello | Vidal, Flávio de Barros |
| 2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |
| 15-mai-2020 | 26-jui-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
| 7-déc-2009 | 2006 | Visualização de dados genômicos do fungo Paracoccidioides brasiliensis | Ferreira, Marcos Francisco Ribeiro | Walter, Maria Emília Machado Telles | - |
| - | 18-fév-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |