| 2026 | AAAI | LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems. | Ernesto Casablanca, Oliver Schn, Paolo Zuliani, Sadegh Soudjani |
| 2026 | GECCO | A Hybrid Classical-Quantum Annealing Algorithm for the TSP. | Siwei Hu, Victor Lopata, Salvatore Sinno, Shruthi Thuravakkath, Paolo Zuliani |
| 2025 | HPDC | High-level quantum algorithm programming using Silq. | Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani |
| 2023 | SMC | Barrier Certificates for a Computational Model of Epileptic Seizures. | John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani |
| 2022 | DNA | Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. | Bowen Li, Neil Mackenzie, Ben Shirt-Ediss, Natalio Krasnogor, Paolo Zuliani |
| 2020 | MEMOCODE | Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. | Mariia Vasileva, Fedor Shmarov, Paolo Zuliani |
| 2020 | VECoS | An Evaluation of Estimation Techniques for Probabilistic Verification. | Mariia Vasileva, Paolo Zuliani |
| 2016 | AAAI | SMT-Based Reasoning for Uncertain Hybrid Domains. | Fedor Shmarov, Paolo Zuliani |
| 2016 | RC | Towards Quantum Programs Verification: From Quipper Circuits to QPMC. | Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani |
| 2015 | CAV | ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. | Fedor Shmarov, Paolo Zuliani |
| 2011 | ASPDAC | Analog circuit verification by statistical model checking. | Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke |
| 2011 | ATVA | Statistical Model Checking for Cyber-Physical Systems. | Edmund M. Clarke, Paolo Zuliani |
| 2007 | TASE | A Formal Derivation of Grover's Quantum Search Algorithm. | Paolo Zuliani |
| 2005 | UC | On Counterfactual Computation. | Paolo Zuliani |
| 2000 | MPC | Quantum Programming. | Jeff W. Sanders, Paolo Zuliani |