| 2025 | SMC | Holonic Oracle Constructivism in Cyber-Physical Systems. | Massimiliano Pirani, Gianluca Bonifazi, Alessandro Cucchiarelli, Tariq Naeem, Luca Spalazzi |
| 2024 | EUMAS | Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy. | Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano |
| 2024 | IECON | A Role of RMAS, Blockchain, and Zero-Knowledge Proof in Sustainable Supply Chains. | Massimiliano Pirani, Alessandro Cucchiarelli, Luca Spalazzi |
| 2023 | EWSN | A Soulbound Token-based Reputation System in Sustainable Supply Chains. | Massimiliano Pirani, Alessio Cacopardo, Alessandro Cucchiarelli, Luca Spalazzi |
| 2023 | PERCOM | ChoEn: A Smart Contract Based Choreography Enforcer. | Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi |
| 2022 | ESORICS | A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case. | Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame |
| 2022 | SAC | Leveraging n-gram neural embeddings to improve deep learning DGA detection. | Christian Morbidoni, Luca Spalazzi, Antonio Teti, Alessandro Cucchiarelli |
| 2018 | ICSE | Modeling time in Java programs for automatic error detection. | Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger |
| 2017 | ISCC | Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach. | Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni |
| 2017 | VMCAI | Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. | Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi |
| 2012 | ICSE | A modular environment for software development and re-engineering. | Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni |
| 2002 | CaiSE | Verification of Payment Protocols via MultiAgent Model Checking. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2002 | SAFECOMP | Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2001 | CoopIS | Cooperation Strategies for Information Integration. | Maurizio Panti, Luca Spalazzi, Loris Penserini |
| 2001 | IJCAI | A Distributed Case-Based Query Rewriting. | Maurizio Panti, Luca Spalazzi, Loris Penserini |
| 2000 | FORTE | A Logic of Belief and a Model Checking Algorithm for Security Protocols. | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi |
| 2000 | VLDB | A Case-Based Approach to Information Integration. | Maurizio Panti, Luca Spalazzi, Alberto Giretti |
| 1995 | IJCAI | A Logic for Acting, Sensing and Planning. | Paolo Traverso, Luca Spalazzi |
| 1992 | ECAI | Beyond the Single Planning Paradigm: Introspective Planning. | Paolo Traverso, Alessandro Cimatti, Luca Spalazzi |