Quantum Programming. - Jeff W. Sanders; Paolo Zuliani (MPC, 2000)

Logical reversibility. - Paolo Zuliani (IBM J. Res. Dev., 2001)

Quantum programming. - Paolo Zuliani (2001)

An Empirical Analysis on the Discontinuous Use of Pair Programming. - Andrea Janes; Barbara Russo; Paolo Zuliani; Giancarlo Succi (XP, 2003)

A pilot project in PAs to transit to an open source solution. - Barbara Russo; Alberto Sillitti; Paolo Zuliani; Giancarlo Succi; Paolo Gasperi (DG.O, 2005)

On the Transition to an Open Source Solution for Desktop Office Automation. - Bruno Rossi 001; Barbara Russo; Paolo Zuliani; Giancarlo Succi (TCGOV, 2005)

On Counterfactual Computation. - Paolo Zuliani (UC, 2005)

Compiling quantum programs. - Paolo Zuliani (Acta Informatica, 2005)

Quantum Programming With Mixed States. - Paolo Zuliani (QPL, 2005)

An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite. - Giancarlo Succi; Witold Pedrycz; Snezana Djokic; Paolo Zuliani; Barbara Russo (Empir. Softw. Eng., 2005)

A Formal Derivation of Grover's Quantum Search Algorithm. - Paolo Zuliani (TASE, 2007)

A Bayesian Approach to Model Checking Biological Systems. - Sumit Kumar Jha 001; Edmund M. Clarke; Christopher James Langmead; Axel Legay; André Platzer; Paolo Zuliani (CMSB, 2009)

Reasoning about faulty quantum programs. - Paolo Zuliani (Acta Informatica, 2009)

Computational Modeling and Verification of Signaling Pathways in Cancer. - Haijun Gong; Paolo Zuliani; Anvesh Komuravelli; James R. Faeder; Edmund M. Clarke (ANB, 2010)

Bayesian statistical model checking with application to Simulink/Stateflow verification. - Paolo Zuliani; André Platzer; Edmund M. Clarke (HSCC, 2010)

Statistical Verification of Probabilistic Properties with Unbounded Until. - Håkan L. S. Younes; Edmund M. Clarke; Paolo Zuliani (SBMF, 2010)

Analysis and verification of the HMGB1 signaling pathway. - Haijun Gong; Paolo Zuliani; Anvesh Komuravelli; James R. Faeder; Edmund M. Clarke (BMC Bioinform., 2010)

Analog circuit verification by statistical model checking. - Ying-Chih Wang; Anvesh Komuravelli; Paolo Zuliani; Edmund M. Clarke (ASP-DAC, 2011)

Statistical Model Checking for Cyber-Physical Systems. - Edmund M. Clarke; Paolo Zuliani (ATVA, 2011)

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. - Haijun Gong; Qinsi Wang; Paolo Zuliani; James R. Faeder; Michael Lotze (BICoB, 2011)

Formal analysis for logical models of pancreatic cancer. - Haijun Gong; Paolo Zuliani; Qinsi Wang; Edmund M. Clarke (CDC/ECC, 2011)

Model Checking and the State Explosion Problem. - Edmund M. Clarke; William Klieber; Milos Novácek; Paolo Zuliani (LASER Summer School, 2011)

Rare-event verification for stochastic hybrid systems. - Paolo Zuliani; Christel Baier; Edmund M. Clarke (HSCC, 2012)

Statistical Model Checking for Markov Decision Processes. - David Henriques; João G. Martins; Paolo Zuliani; André Platzer; Edmund M. Clarke (QEST, 2012)

Studies of biological networks with statistical model checking: application to immune system cells. - Natasa Miskov-Zivanov; Paolo Zuliani; Edmund M. Clarke; James R. Faeder (BCB, 2013)

Bayesian statistical model checking with application to Stateflow/Simulink verification. - Paolo Zuliani; André Platzer; Edmund M. Clarke (Formal Methods Syst. Des., 2013)

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CMSB, 2014)

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CoRR, 2014)

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CoRR, 2014)

Verification of probabilistic bounded $δ$-reachability for cyber-physical systems. - Fedor Shmarov; Paolo Zuliani (CoRR, 2014)

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. - Qinsi Wang; Paolo Zuliani; Soonho Kong; Sicun Gao; Edmund M. Clarke (CoRR, 2014)

Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features. - Julija Rusakovica; Jennifer Hallinan; Anil Wipat; Paolo Zuliani (J. Integr. Bioinform., 2014)

ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. - Fedor Shmarov; Paolo Zuliani (SNR@CAV, 2015)

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. - Curtis Madsen; Fedor Shmarov; Paolo Zuliani (CMSB, 2015)

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. - Qinsi Wang; Paolo Zuliani; Soonho Kong; Sicun Gao; Edmund M. Clarke (CMSB, 2015)

Towards personalized prostate cancer therapy using delta-reachability analysis. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (HSCC, 2015)

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. - Fedor Shmarov; Paolo Zuliani (HSCC, 2015)

Statistical model checking for biological applications. - Paolo Zuliani (Int. J. Softw. Tools Technol. Transf., 2015)

SMT-Based Reasoning for Uncertain Hybrid Domains. - Fedor Shmarov; Paolo Zuliani (AAAI Workshop: Planning for Hybrid Systems, 2016)

High-level modeling and verification of cellular signaling. - Natasa Miskov-Zivanov; Paolo Zuliani; Qinsi Wang; Edmund M. Clarke; James R. Faeder (HLDVT, 2016)

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques. - Fedor Shmarov; Paolo Zuliani (Haifa Verification Conference, 2016)

Towards Quantum Programs Verification: From Quipper Circuits to QPMC. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (RC, 2016)

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. - Goksel Misirli; Matteo Cavaliere; William Waites; Matthew R. Pocock; Curtis Madsen; Owen Gilfellon; Ricardo Honorato-Zimmer; Paolo Zuliani; Vincent Danos; Anil Wipat (Bioinform., 2016)

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (Haifa Verification Conference, 2017)

mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (InfQ@VALUETOOLS, 2017)

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (CoRR, 2017)

Verifying Quantum Programs: From Quipper to QPMC. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (CoRR, 2017)

Stochastic Rate Parameter Inference Using the Cross-Entropy Method. - Jeremy Revell; Paolo Zuliani (CMSB, 2018)

Full version: An evaluation of estimation techniques for probabilistic reachability. - Mariia Vasileva; Paolo Zuliani (CoRR, 2018)

Bayesian emulation and calibration of an individual-based model of microbial communities. - Oluwole K. Oyebamiji; Darren J. Wilkinson; Bowen Li 005; Pahala Gedara Jayathilake; Paolo Zuliani; Thomas P. Curtis (J. Comput. Sci., 2019)

NUFEB: A massively parallel simulator for individual-based modelling of microbial communities. - Bowen Li 005; Denis Taniguchi; Pahala Gedara Jayathilake; Valentina Gogulancea; Rebeca Gonzalez-Cabaleiro; Jinju Chen; Andrew Stephen McGough; Irina Dana Ofiteru; Thomas P. Curtis; Paolo Zuliani (PLoS Comput. Biol., 2019)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. - Mariia Vasileva; Fedor Shmarov; Paolo Zuliani (MEMOCODE, 2020)

An Evaluation of Estimation Techniques for Probabilistic Verification. - Mariia Vasileva; Paolo Zuliani (VECoS, 2020)

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. - Fedor Shmarov; Sadegh Soudjani; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (IEEE Access, 2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. - Bowen Li 005; Pahala Gedara Jayathilake; Yuqing Xia; Thomas P. Curtis; Paolo Zuliani (DataMod, 2021)

Formal Verification of Quantum Programs: Theory, Tools and Challenges. - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (CoRR, 2021)

Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. - Bowen Li 005; Neil Mackenzie; Ben Shirt-Ediss; Natalio Krasnogor; Paolo Zuliani (DNA, 2022)

Edmund Melson Clarke, Jr. (1945-2020). - Sicun Gao; Orna Grumberg; Paolo Zuliani (Formal Methods Syst. Des., 2022)

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis. - Fedor Shmarov; Graham R. Smith; Sophie C. Weatherhead; Nick J. Reynolds; Paolo Zuliani (PLoS Comput. Biol., 2022)

ARCH-COMP23 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2023)

Verification of Quantum Systems Using Barrier Certificates. - Marco Lewis; Paolo Zuliani; Sadegh Soudjani (QEST, 2023)

Barrier Certificates for a Computational Model of Epileptic Seizures. - John F. Ingham; Yujiang Wang 002; Paolo Zuliani; Sadegh Soudjani (SMC, 2023)

Predicting partner fitness based on spatial structuring in a light-driven microbial community. - Jonathan K. Sakkos; María Santos-Merino; Emmanuel J. Kokarakis; Bowen Li 005; Miguel Fuentes-Cabrera; Paolo Zuliani; Daniel C. Ducat (PLoS Comput. Biol., 2023)

SilVer (Artifact). - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (Zenodo, 2023)

Safe Reach Set Computation via Neural Barrier Certificates. - Alessandro Abate; Sergiy Bogomolov; Alec Edwards; Kostiantyn Potomkin; Sadegh Soudjani; Paolo Zuliani (ADHS, 2024)

Automated Verification of Silq Quantum Programs using SMT Solvers. - Marco Lewis; Paolo Zuliani; Sadegh Soudjani (QSW, 2024)

T-Count Optimizing Genetic Algorithm for Quantum State Preparation. - Andrew Wright; Marco Lewis; Paolo Zuliani; Sadegh Soudjani (QSW, 2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates. - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (CoRR, 2024)

High-level quantum algorithm programming using Silq. - Viktorija Bezganovic; Marco Lewis; Sadegh Soudjani; Paolo Zuliani (CoRR, 2024)

SilVer (Artifact). - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (Zenodo, 2024)

dLinear artifact - TACAS 2025. - Ernesto Casablanca; Sadegh Soudjani; Paolo Zuliani (Zenodo, 2024)

dLinear artifact - TACAS 2025. - Ernesto Casablanca; Sadegh Soudjani; Paolo Zuliani (Zenodo, 2024)

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach. - Siwei Hu; Victor Lopata; Sadegh Soudjani; Paolo Zuliani (CoRR, 2025)