Paolo Zuliani

Available identifiers

zbMath Open zuliani.paoloMaRDI QIDQ1031863

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paolo Zuliani