| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 15-May-2020 | 13-Aug-2019 | Combining clause learning and resolution for multimodal reasoning | Angelos, Daniella Albuquerque dos | Nalon, Cláudia | - |
| 22-Oct-2019 | 25-Feb-2019 | A resolution-based E-connected calculus | Amaral, Lucas de Moura | Nalon, Cláudia | - |
| 20-Apr-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-May-2020 | 26-Jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |