| 2026 | FLOPS | Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations. | Matteo Acclavio, Roberto Maieli |
| 2026 | FSCD | Proof Identity and Categorical Models of BV. | Matteo Acclavio, Lutz Straburger, Vladimir Zamdzhiev |
| 2026 | IJCAR | Proof Nets for PiL. | Matteo Acclavio, Giulia Manara |
| 2025 | ESOP | Formulas as Processes, Deadlock-Freedom as Choreographies. | Matteo Acclavio, Giulia Manara, Fabrizio Montesi |
| 2025 | TABLEAUX | Intuitionistic BV. | Matteo Acclavio, Lutz Straburger |
| 2024 | CSL | Infinitary Cut-Elimination via Finite Approximations. | Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri |
| 2024 | IJCAR | Sequent Systems on Undirected Graphs. | Matteo Acclavio |
| 2023 | EUMAS | Lorenzen-Style Strategies as Proof-Search Strategies. | Matteo Acclavio, Davide Catta |
| 2023 | TABLEAUX | Canonicity of Proofs in Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Federico Olimpieri |
| 2022 | AiML | Combinatorial Proofs for Constructive Modal Logic. | Matteo Acclavio, Lutz Straburger |
| 2022 | FSCD | A Graphical Proof Theory of Logical Time. | Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straburger |
| 2021 | TABLEAUX | Game Semantics for Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Lutz Straburger |
| 2020 | CSL | Generalized Connectives for Multiplicative Linear Logic. | Matteo Acclavio, Roberto Maieli |
| 2020 | LICS | Logic Beyond Formulas: A Proof System on Graphs. | Matteo Acclavio, Ross Horne, Lutz Straburger |
| 2019 | TABLEAUX | On Combinatorial Proofs for Modal Logic. | Matteo Acclavio, Lutz Straburger |
| 2019 | WoLLIC | On Combinatorial Proofs for Logics of Relevance and Entailment. | Matteo Acclavio, Lutz Straburger |
| 2018 | CADE | From Syntactic Proofs to Combinatorial Proofs. | Matteo Acclavio, Lutz Straburger |