Reachability Probabilities of Quantum Markov Chains. - Shenggang Ying; Yuan Feng 001; Nengkun Yu; Mingsheng Ying (CONCUR, 2013)

Quantum Privacy-Preserving Data Mining. - Shenggang Ying; Mingsheng Ying; Yuan Feng 001 (CoRR, 2015)

Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states. - Samson Abramsky; Carmen M. Constantin; Shenggang Ying (Inf. Comput., 2016)

Model Checking Omega-regular Properties for Quantum Markov Chains . - Yuan Feng 001; Ernst Moritz Hahn; Andrea Turrini; Shenggang Ying (CONCUR, 2017)

Invariants of quantum programs: characterisations and generation. - Mingsheng Ying; Shenggang Ying; Xiaodi Wu 001 (POPL, 2017)

Quantum Privacy-Preserving Data Analytics. - Shenggang Ying; Mingsheng Ying; Yuan Feng 001 (CoRR, 2017)

Quantum Privacy-Preserving Perceptron. - Shenggang Ying; Mingsheng Ying; Yuan Feng 001 (CoRR, 2017)

Quantum Coupling and Strassen Theorem. - Li Zhou 013; Shenggang Ying; Nengkun Yu; Mingsheng Ying (CoRR, 2018)

Reachability analysis of quantum Markov decision processes. - Shenggang Ying; Mingsheng Ying (Inf. Comput., 2018)

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. - Junyi Liu 002; Bohua Zhan; Shuling Wang 003; Shenggang Ying; Tao Liu; Yangjia Li; Mingsheng Ying; Naijun Zhan (CAV (2), 2019)

Quantum Hoare Logic. - Junyi Liu 002; Bohua Zhan; Shuling Wang 003; Shenggang Ying; Tao Liu; Yangjia Li; Mingsheng Ying; Naijun Zhan (Arch. Formal Proofs, 2019)

Strassen's theorem for quantum couplings. - Li Zhou 013; Shenggang Ying; Nengkun Yu; Mingsheng Ying (Theor. Comput. Sci., 2020)

Optimal Policies for Quantum Markov Decision Processes. - Mingsheng Ying; Yuan Feng 001; Shenggang Ying (Int. J. Autom. Comput., 2021)

Image Computation for Quantum Transition Systems. - Xin Hong; Dingchao Gao; Sanjiang Li; Shenggang Ying; Mingsheng Ying (DATE, 2025)

Quantum State Preparation Based on LimTDD. - Xin Hong; Chenjian Li; Aochu Dai; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps. - Xin Hong; Aochu Dai; Chenjian Li; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation. - Yunqi Huang; Dingchao Gao; Shenggang Ying; Sanjiang Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)