Paolo Zuliani

Available identifiers

zbMath Open zuliani.paoloMaRDI QIDQ1031863

List of research outcomes

Publication	Date of Publication	Type
Verification of quantum systems using barrier certificates	2024-05-29	Paper
Obituary: Edmund Melson Clarke jun. (1945--2020)	2023-10-30	Paper
Stochastic rate parameter inference using the cross-entropy method	2018-10-17	Paper
ProbReach	2017-05-19	Paper
Rare-event verification for stochastic hybrid systems	2017-05-16	Paper
Bayesian statistical model checking with application to Simulink/Stateflow verification	2017-05-10	Paper
Towards Quantum Programs Verification: From Quipper Circuits to QPMC	2016-08-10	Paper
Bayesian statistical model checking with application to Stateflow/Simulink verification	2014-06-30	Paper
Quantum programming with mixed states	2013-12-06	Paper
Computational Modeling and Verification of Signaling Pathways in Cancer	2012-06-08	Paper
Statistical Model Checking for Cyber-Physical Systems	2011-10-07	Paper
Statistical Verification of Probabilistic Properties with Unbounded Until	2011-05-12	Paper
Reasoning about faulty quantum programs	2009-10-23	Paper
Unconventional Computation	2006-07-07	Paper
Compiling quantum programs	2005-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q2721095	2001-07-01	Paper

Research outcomes over time

This page was built for person: Paolo Zuliani