| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 22-Out-2019 | 25-Fev-2019 | A resolution-based E-connected calculus | Amaral, Lucas de Moura | Nalon, Cláudia | - |
| - | 2-Fev-2018 | Sobre uma arquitetura da informação multimodal : reflexões sobre uma proposta epistemológica | Kuroki Júnior, George Hideyuki | Duque, Cláudio Gottschalg | - |
| 20-Abr-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 | - |