default search action
Paolo Zuliani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c43]Andrew Wright
, Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. QSW 2024: 58-68 - [c42]Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Automated Verification of Silq Quantum Programs using SMT Solvers. QSW 2024: 125-134 - [i17]Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani:
Safe Reach Set Computation via Neural Barrier Certificates. CoRR abs/2404.18813 (2024) - [i16]Marco Lewis
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR abs/2406.03119 (2024) - [i15]Andrew Wright, Marco Lewis
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR abs/2406.04004 (2024) - [i14]Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
Verification of Quantum Circuits through Discrete-Time Barrier Certificates. CoRR abs/2408.07591 (2024) - [i13]Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
High-level quantum algorithm programming using Silq. CoRR abs/2409.10231 (2024) - 2023
- [j15]Jonathan K. Sakkos
Predicting partner fitness based on spatial structuring in a light-driven microbial community. PLoS Comput. Biol. 19(5) (2023) - [c41]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, Lisa Willemsen, Paolo Zuliani:
ARCH-COMP23 Category Report: Stochastic Models. ARCH 2023: 126-150 - [c40]Marco Lewis
Verification of Quantum Systems Using Barrier Certificates. QEST 2023: 346-362 - [c39]John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani:
Barrier Certificates for a Computational Model of Epileptic Seizures. SMC 2023: 4728-4733 - [i12]Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Verification of Quantum Systems using Barrier Certificates. CoRR abs/2307.07307 (2023) - 2022
- [j14]Sicun Gao, Orna Grumberg, Paolo Zuliani:
Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. 60(3): 327-328 (2022) - [j13]Fedor Shmarov
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis. PLoS Comput. Biol. 18(9): 1010267 (2022) - [c38]Bowen Li, Neil Mackenzie, Ben Shirt-Ediss, Natalio Krasnogor, Paolo Zuliani:
Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. DNA 2022: 5:1-5:22 - 2021
- [c37]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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [c36]Bowen Li
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. DataMod 2021: 157-174 - [i11]Marco Lewis
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR abs/2110.01320 (2021) - 2020
- [j12]Fedor Shmarov, Sadegh Soudjani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8: 180825-180843 (2020) - [c35]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, Abraham P. Vinod, Ben Wooding
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - [c34]Mariia Vasileva, Fedor Shmarov, Paolo Zuliani:
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. MEMOCODE 2020: 1-11 - [c33]Mariia Vasileva, Paolo Zuliani:
An Evaluation of Estimation Techniques for Probabilistic Verification. VECoS 2020: 165-179
2010 – 2019
- 2019
- [j11]Oluwole K. Oyebamiji
Bayesian emulation and calibration of an individual-based model of microbial communities. J. Comput. Sci. 30: 194-208 (2019) - [j10]Bowen Li
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities. PLoS Comput. Biol. 15(12) (2019) - [e1]Pietro Liò, Paolo Zuliani:
Automated Reasoning for Systems Biology and Medicine. Computational Biology 30, Springer 2019, ISBN 978-3-030-17296-1 [contents] - [i10]Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR abs/1901.03315 (2019) - 2018
- [c32]Jeremy Revell, Paolo Zuliani:
Stochastic Rate Parameter Inference Using the Cross-Entropy Method. CMSB 2018: 146-164 - [i9]Mariia Vasileva, Paolo Zuliani:
Full version: An evaluation of estimation techniques for probabilistic reachability. CoRR abs/1804.03121 (2018) - 2017
- [c31]Fedor Shmarov, Nicola Paoletti
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference 2017: 131-146 - [c30]Linda Anticoli, Carla Piazza
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. InfQ@VALUETOOLS 2017: 113-126 - [i8]Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR abs/1707.05229 (2017) - [i7]Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani:
Verifying Quantum Programs: From Quipper to QPMC. CoRR abs/1708.06312 (2017) - 2016
- [j9]Goksel Misirli
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinform. 32(6): 908-917 (2016) - [c29]Fedor Shmarov, Paolo Zuliani:
SMT-Based Reasoning for Uncertain Hybrid Domains. AAAI Workshop: Planning for Hybrid Systems 2016 - [c28]Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder
High-level modeling and verification of cellular signaling. HLDVT 2016: 162-169 - [c27]Fedor Shmarov, Paolo Zuliani:
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques. Haifa Verification Conference 2016: 152-168 - [c26]Linda Anticoli, Carla Piazza
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. RC 2016: 213-219 - 2015
- [j8]Paolo Zuliani:
Statistical model checking for biological applications. Int. J. Softw. Tools Technol. Transf. 17(4): 527-536 (2015) - [c25]Fedor Shmarov, Paolo Zuliani:
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. SNR@CAV 2015: 40-48 - [c24]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB 2015: 15-27 - [c23]Curtis Madsen, Fedor Shmarov, Paolo Zuliani:
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. CMSB 2015: 182-194 - [c22]Fedor Shmarov, Paolo Zuliani:
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. HSCC 2015: 134-139 - [c21]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC 2015: 227-232 - 2014
- [j7]Julija Rusakovica, Jennifer Hallinan, Anil Wipat
Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features. J. Integr. Bioinform. 11(2) (2014) - [c20]Bing Liu
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB 2014: 99-113 - [i6]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR abs/1404.7206 (2014) - [i5]Paolo Zuliani:
Statistical Model Checking for Biological Applications. CoRR abs/1405.2705 (2014) - [i4]Fedor Shmarov, Paolo Zuliani:
Verification of probabilistic bounded $δ$-reachability for cyber-physical systems. CoRR abs/1406.1920 (2014) - [i3]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR abs/1407.1524 (2014) - [i2]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR abs/1410.7346 (2014) - [i1]Fedor Shmarov, Paolo Zuliani:
ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems. CoRR abs/1410.8060 (2014) - 2013
- [j6]Paolo Zuliani, André Platzer
Bayesian statistical model checking with application to Stateflow/Simulink verification. Formal Methods Syst. Des. 43(2): 338-367 (2013) - [c19]Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder
Studies of biological networks with statistical model checking: application to immune system cells. BCB 2013: 728 - 2012
- [c18]Paolo Zuliani, Christel Baier, Edmund M. Clarke:
Rare-event verification for stochastic hybrid systems. HSCC 2012: 217-226 - [c17]David Henriques, João G. Martins, Paolo Zuliani, André Platzer
Statistical Model Checking for Markov Decision Processes. QEST 2012: 84-93 - 2011
- [c16]Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke:
Analog circuit verification by statistical model checking. ASP-DAC 2011: 1-6 - [c15]Edmund M. Clarke, Paolo Zuliani:
Statistical Model Checking for Cyber-Physical Systems. ATVA 2011: 1-12 - [c14]Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze:
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. BICoB 2011: 245- - [c13]Haijun Gong
Formal analysis for logical models of pancreatic cancer. CDC/ECC 2011: 4855-4860 - [c12]Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani:
Model Checking and the State Explosion Problem. LASER Summer School 2011: 1-30 - 2010
- [j5]Haijun Gong
Analysis and verification of the HMGB1 signaling pathway. BMC Bioinform. 11(S-7): S10 (2010) - [c11]Haijun Gong
Computational Modeling and Verification of Signaling Pathways in Cancer. ANB 2010: 117-135 - [c10]Paolo Zuliani, André Platzer
Bayesian statistical model checking with application to Simulink/Stateflow verification. HSCC 2010: 243-252 - [c9]Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani:
Statistical Verification of Probabilistic Properties with Unbounded Until. SBMF 2010: 144-160
2000 – 2009
- 2009
- [j4]Paolo Zuliani:
Reasoning about faulty quantum programs. Acta Informatica 46(6): 403-432 (2009) - [c8]Sumit Kumar Jha
A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234 - 2007
- [c7]Paolo Zuliani:
A Formal Derivation of Grover's Quantum Search Algorithm. TASE 2007: 67-74 - 2005
- [j3]Paolo Zuliani:
Compiling quantum programs. Acta Informatica 41(7-8): 435-474 (2005) - [j2]Giancarlo Succi
An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite. Empir. Softw. Eng. 10(1): 81-104 (2005) - [c6]Barbara Russo, Alberto Sillitti, Paolo Zuliani, Giancarlo Succi, Paolo Gasperi:
A pilot project in PAs to transit to an open source solution. DG.O 2005: 303-304 - [c5]Bruno Rossi
On the Transition to an Open Source Solution for Desktop Office Automation. TCGOV 2005: 277-285 - [c4]Paolo Zuliani:
On Counterfactual Computation. UC 2005: 251-266 - [c3]Paolo Zuliani:
Quantum Programming With Mixed States. QPL 2005: 185-199 - 2003
- [c2]Andrea Janes, Barbara Russo, Paolo Zuliani, Giancarlo Succi
An Empirical Analysis on the Discontinuous Use of Pair Programming. XP 2003: 205-214 - 2001
- [b1]Paolo Zuliani:
Quantum programming. University of Oxford, UK, 2001 - [j1]Paolo Zuliani:
Logical reversibility. IBM J. Res. Dev. 45(6): 807-818 (2001) - 2000
- [c1]Jeff W. Sanders, Paolo Zuliani:
Quantum Programming. MPC 2000: 80-99
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: