Perini Brogi, Cosimo
Perini Brogi, Cosimo
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A Formal Proof of Modal Completeness for Provability Logic
2021-01-01 Maggesi, Marco; Perini Brogi, Cosimo
Analysing Collective Adaptive Systems by Proving Theorems
2024-01-01 Perini Brogi, Cosimo; Maggesi, Marco
Archimede logica : l'enigma del compleanno
2020-01-01 Perini Brogi, Cosimo
Curry–Howard–Lambek Correspondence for Intuitionistic Belief
2021-01-01 Perini Brogi, C.
Investigations of proof theory and automated reasoning for non-classical logics
2022-01-01 Perini Brogi, Cosimo
La matematica delle dimostrazioni
2022-01-01 Perini Brogi, Cosimo
Mechanising Gödel–Löb Provability Logic in HOL Light
2023-01-01 Maggesi, Marco; Perini Brogi, Cosimo
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024-01-01 Maggesi, Marco; Perini Brogi, Cosimo
Systems Security Modeling and Analysis at IMT Lucca
2024-01-01 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols
2024-01-01 Costa, Gabriele; Perini Brogi, Cosimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Proof of Modal Completeness for Provability Logic | 1-gen-2021 | Maggesi, Marco; Perini Brogi, Cosimo | |
| Analysing Collective Adaptive Systems by Proving Theorems | 1-gen-2024 | Perini Brogi, Cosimo; Maggesi, Marco | |
| Archimede logica : l'enigma del compleanno | 1-gen-2020 | Perini Brogi, Cosimo | |
| Curry–Howard–Lambek Correspondence for Intuitionistic Belief | 1-gen-2021 | Perini Brogi, C. | |
| Investigations of proof theory and automated reasoning for non-classical logics | 1-gen-2022 | Perini Brogi, Cosimo | |
| La matematica delle dimostrazioni | 1-gen-2022 | Perini Brogi, Cosimo | |
| Mechanising Gödel–Löb Provability Logic in HOL Light | 1-gen-2023 | Maggesi, Marco; Perini Brogi, Cosimo | |
| Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic | 1-gen-2024 | Maggesi, Marco; Perini Brogi, Cosimo | |
| Systems Security Modeling and Analysis at IMT Lucca | 1-gen-2024 | Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella | |
| Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols | 1-gen-2024 | Costa, Gabriele; Perini Brogi, Cosimo |