Cosimo Perini Brogi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2021–2026
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light. | Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi |
| 2026 | IJCAR | Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light. | Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi |
| 2024 | ISoLA | Analysing Collective Adaptive Systems by Proving Theorems. | Cosimo Perini Brogi, Marco Maggesi |
| 2024 | ISoLA | Systems Security Modeling and Analysis at IMT Lucca. | Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani |
| 2024 | ISoLA | Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic. | Marco Maggesi, Cosimo Perini Brogi |
| 2021 | ITP | A Formal Proof of Modal Completeness for Provability Logic. | Marco Maggesi, Cosimo Perini Brogi |