| 2024 | IJCAR | Model Construction for Modal Clauses. | Ullrich Hustadt, Fabio Papacchini, Cludia Nalon, Clare Dixon |
| 2023 | CADE | Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2022 | CADE | Local Reductions for the Modal Cube. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2021 | CADE | Efficient Local Reductions to Basic Modal Logic. | Fabio Papacchini, Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2021 | EMAS | StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. | Angelo Ferrando, Fabio Papacchini |
| 2021 | MFCS | Finite Models for a Spatial Logic with Discrete and Topological Path Operators. | Sven Linker, Fabio Papacchini, Michele Sevegnani |
| 2021 | PAAMS | Automated Planning and BDI Agents: A Case Study. | Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini |
| 2020 | MFCS | Analysing Spatial Properties on Neighbourhood Spaces. | Sven Linker, Fabio Papacchini, Michele Sevegnani |
| 2019 | LICS | Model Comparison Games for Horn Description Logics. | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
| 2019 | SEFM | Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. | Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando |
| 2018 | IJCAI | Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. | Andr Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
| 2017 | PODS | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. | Andr Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
| 2014 | CADE | Terminating Minimal Model Generation Procedures for Propositional Modal Logics. | Fabio Papacchini, Renate A. Schmidt |