Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
---|---|---|---|---|---|
22-oct-2019 | 25-feb-2019 | A resolution-based E-connected calculus | Amaral, Lucas de Moura | Nalon, Cláudia | - |
20-abr-2015 | 7-ene-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 | - |