| 2025 | ECAI | Runtime Verification with Rational Multi-Monitors. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2025 | EUMAS | An Intuitionistic Version of Computation Tree Logic. | Laura Bozzelli, Andrea Capone, Davide Catta, Vadim Malvone, Aniello Murano |
| 2025 | IJCAI | First-Order Coalition Logic. | Davide Catta, Rustam Galimullin, Aniello Murano |
| 2025 | IJCAI | Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions. | Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz |
| 2025 | KR | An Intuitionistic Version of Alternating-Time Temporal Logic. | Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano |
| 2024 | EUMAS | Temporal Truth in the Limit: Yablo's Paradox in LTL | Michal Tomasz Godziszewski, Davide Catta, Aniello Murano |
| 2024 | ICAART | A Formal Verification Approach to Handle Attack Graphs. | Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone |
| 2024 | PRIMA | Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2023 | ECAI | Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. | Davide Catta, Jean Leneutre, Vadim Malvone |
| 2023 | EUMAS | Lorenzen-Style Strategies as Proof-Search Strategies. | Matteo Acclavio, Davide Catta |
| 2023 | ICAART | A Game Theoretic Approach to Attack Graphs. | Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano |
| 2023 | ICAART | Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2023 | TABLEAUX | Canonicity of Proofs in Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Federico Olimpieri |
| 2021 | TABLEAUX | Game Semantics for Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Lutz Straburger |
| 2021 | WoLLIC | Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. | Davide Catta, Symon Jory Stevens-Guille |
| 2020 | DCAI | Inferential Semantics as Argumentative Dialogues. | Davide Catta, Luc Pellissier, Christian Retor |