Cosimo Perini Brogi

26 papers B 2Journal 11Unranked 12
YearRankTypeTitle / Venue / Authors
2026 B conf
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light.
CSL
Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi
2026 — conf
Cutting Out the Middle Man: A Game-Theoretic Analysis in Computability Logic of the Needham-Schroeder Protocol.
ITASEC/SERICS
Cosimo Perini Brogi, Stella Spadoni
2025 — conf
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS.
ICTCS
Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi
2025 J jnl
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants.
Int. J. Softw. Tools Technol. Transf.
Cosimo Perini Brogi, Marco Maggesi
2025 — conf
Displayed Universal Algebra in UniMath: Basic Definitions and Results.
ICTCS
Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi
2025 — conf
From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading.
OVERLAY
Cosimo Perini Brogi
2025 J jnl
Modular Sequent Calculi for interpretability Logics.
Rev. Symb. Log.
Cosimo Perini Brogi, Sara Negri, Nicola Olivetti
2025 — conf
Reasoning on Privacy Policies.
OVERLAY
Yilian Huang, Cosimo Perini Brogi, Rocco De Nicola
2024 — conf
Analysing Collective Adaptive Systems by Proving Theorems.
ISoLA (1)
Cosimo Perini Brogi, Marco Maggesi
2024 — conf
Growing HOLMS, a HOL Light Library for Modal Systems.
OVERLAY
Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini
2024 — conf
Machine Translation: Early Criticisms Revisited.
HCAIep
Stefania Centrone, Cosimo Perini Brogi, Stefan Reifberger
2024 — conf
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.
ISoLA (2)
Marco Maggesi, Cosimo Perini Brogi
2024 — conf
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper).
ICTCS
Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso
2024 — conf
Systems Security Modeling and Analysis at IMT Lucca.
ISoLA (1)
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 — conf
Toward dynamic epistemic verification of zero-knowledge protocols.
ITASEC
Gabriele Costa, Cosimo Perini Brogi
2024 J jnl
Universal algebra in UniMath.
Math. Struct. Comput. Sci.
Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi
2023 J jnl
Mechanising Gödel-Löb Provability Logic in HOL Light.
J. Autom. Reason.
Marco Maggesi, Cosimo Perini Brogi
2022 J jnl
A theorem prover and countermodel constructor for provability logic in HOL Light.
CoRR
Marco Maggesi, Cosimo Perini Brogi
2022 — —
Investigations of proof theory and automated reasoning for non-classical logics.
Cosimo Perini Brogi
2021 B conf
A Formal Proof of Modal Completeness for Provability Logic.
ITP
Marco Maggesi, Cosimo Perini Brogi
2021 J jnl
A formal proof of modal completeness for provability logic.
CoRR
Marco Maggesi, Cosimo Perini Brogi
2021 J jnl
Curry-Howard-Lambek Correspondence for Intuitionistic Belief.
Stud Logica
Cosimo Perini Brogi
2021 J jnl
Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.
CoRR
Cosimo Perini Brogi
2021 J jnl
Universal Algebra in UniMath.
CoRR
Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi
2020 J jnl
Curry-Howard-Lambek Correspondence for Intuitionistic Belief.
CoRR
Cosimo Perini Brogi
2020 J jnl
Universal Algebra in UniMath.
CoRR
Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi