| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 20-avr-2015 | 7-jan-2015 | Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença | Vieira, Thiago Coelho | Nalon, Cláudia | - |
| 15-mai-2020 | 26-jui-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |