| 2026 | ICCS | Qubit Routing via swap Network: A Minimum Dominating Path Approach. | Riccardo Romanello, Daniele Lizzio Bosco, Giuseppe Serra, Carla Piazza |
| 2024 | MASCOTS | Cosmos discovery: Quantitative assessment of Cosmos blockchain. | Daria Smuseva, Carla Piazza, Ivan Malakhov, Andrea Marin, Sabina Rossi |
| 2022 | RC | Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. | Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello |
| 2016 | RC | Towards Quantum Programs Verification: From Quipper Circuits to QPMC. | Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani |
| 2015 | FM | Parameter Synthesis Through Temporal Logic Specifications. | Thao Dang, Tommaso Dreossi, Carla Piazza |
| 2012 | DSD | Model Checking on Hybrid Automata. | Alberto Casagrande, Carla Piazza |
| 2008 | ATVA | Decidable Compositions of O-Minimal Automata. | Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
| 2008 | ICLP | Systems Biology: Models and Logics. | Carla Piazza, Alberto Policriti |
| 2007 | LOPSTR | Action Refinement in Process Algebra and Security Issues. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2005 | ATVA | Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. | Venkatesh Mysore, Carla Piazza, Bud Mishra |
| 2005 | CAV | Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. | Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra |
| 2004 | LOPSTR | Unwinding Conditions for Security in Imperative Languages. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2004 | TACAS | CoPS - Checker of Persistent Security. | Carla Piazza, Enrico Pivato, Sabina Rossi |
| 2003 | SODA | Computing strongly connected components in a linear number of symbolic steps. | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2003 | SEFM | Refinement Operators and Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | TACAS | BANANA - A Tool for Boundary Ambients Nesting ANAlysis. | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2003 | VMCAI | Bisimulation and Unwinding for Verifying Possibilistic Security Properties. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | VMCAI | Complexity of Nesting Analysis in Mobile Ambients. | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2002 | LOPSTR | A Proof System for Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | TACAS | Simulation as Coarsest Partition Problem. | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2002 | VMCAI | Proofs Methods for Bisimulation Based Information Flow Security. | Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2001 | CAV | A Fast Bisimulation Algorithm. | Agostino Dovier, Carla Piazza, Alberto Policriti |
| 2000 | TABLEAUX | Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. | Carla Piazza, Alberto Policriti |
| 1999 | ICLP | ACI1 Constraints. | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
| 1998 | ICLP | On the Representation and Management of Finite Sets in CLP Languages. | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |