Shenggang Ying

MaRDI QIDQ320193zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A quantum game designed for property partitioning with implementation on superconducting quantum processors Theoretical Computer Science	2026-03-20	Paper
Formal verification of quantum algorithms using quantum Hoare logic Computer Aided Verification	2024-02-16	Paper
Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem Journal of Mathematical Physics	2023-03-17	Paper
Model checking \(\omega\)-regular properties for quantum Markov chains	2020-05-27	Paper
Strassen's theorem for quantum couplings Theoretical Computer Science	2019-11-22	Paper
Reachability analysis of quantum Markov decision processes Information and Computation	2018-12-03	Paper
Invariants of quantum programs: characterisations and generation Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states Information and Computation	2016-10-06	Paper
Reachability Probabilities of Quantum Markov Chains CONCUR 2013 – Concurrency Theory	2013-08-12	Paper

Research outcomes over time

This page was built for person: Shenggang Ying