Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
11-Mai-2011 | 13-Jul-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-Jul-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-Jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
7-Dez-2009 | 2006 | Visualização de dados genômicos do fungo Paracoccidioides brasiliensis | Ferreira, Marcos Francisco Ribeiro | Walter, Maria Emília Machado Telles | - |
- | 18-Fev-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |