Shenggang Ying

Available identifiers

zbMath Open ying.shenggangMaRDI QIDQ320193

List of research outcomes

Publication	Date of Publication	Type
Formal verification of quantum algorithms using quantum Hoare logic	2024-02-16	Paper
Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem	2023-03-17	Paper
Model Checking Omega-regular Properties for Quantum Markov Chains	2020-05-27	Paper
Strassen's theorem for quantum couplings	2019-11-22	Paper
Reachability analysis of quantum Markov decision processes	2018-12-03	Paper
Invariants of quantum programs: characterisations and generation	2017-10-20	Paper
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states	2016-10-06	Paper
Reachability Probabilities of Quantum Markov Chains	2013-08-12	Paper

Research outcomes over time

This page was built for person: Shenggang Ying