Shenggang Ying

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 11

Top Topics

Markov Decision Process

Reachability Analysis

Top Venues

Int. J. Autom. Comput.

Publications

Mingsheng Ying, Yuan Feng, Shenggang Ying
Optimal Policies for Quantum Markov Decision Processes. Int. J. Autom. Comput. 18 (3) (2021)
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
Strassen's theorem for quantum couplings. Theor. Comput. Sci. 802 (2020)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. CAV (2) (2019)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
Quantum Hoare Logic. Arch. Formal Proofs 2019 (2019)
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
Quantum Coupling and Strassen Theorem. CoRR (2018)
Shenggang Ying, Mingsheng Ying
Reachability analysis of quantum Markov decision processes. Inf. Comput. 263 (2018)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
Model Checking Omega-regular Properties for Quantum Markov Chains . CONCUR (2017)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Perceptron. CoRR (2017)
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
Invariants of quantum programs: characterisations and generation. POPL (2017)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Data Analytics. CoRR (2017)
Samson Abramsky, Carmen M. Constantin, Shenggang Ying
Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states. Inf. Comput. 250 (2016)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Data Mining. CoRR (2015)
Shenggang Ying, Mingsheng Ying
Reachability Analysis of Quantum Markov Decision Processes. CoRR (2014)
Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
Reachability Probabilities of Quantum Markov Chains. CONCUR (2013)