Shenggang Ying

According to our database, Shenggang Ying authored at least 17 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 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, July, 2025

Quantum State Preparation Based on LimTDD.

Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying

CoRR, July, 2025

Image Computation for Quantum Transition Systems.

Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2021

Optimal Policies for Quantum Markov Decision Processes.

Mingsheng Ying, Yuan Feng, Shenggang Ying

Int. J. Autom. Comput., 2021

2020

Strassen's theorem for quantum couplings.

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying

Theor. Comput. Sci., 2020

2019

Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Arch. Formal Proofs, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reachability analysis of quantum Markov decision processes.

Shenggang Ying, Mingsheng Ying

Inf. Comput., 2018

Quantum Coupling and Strassen Theorem.

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying

CoRR, 2018

2017

Quantum Privacy-Preserving Perceptron.

Shenggang Ying, Mingsheng Ying, Yuan Feng

CoRR, 2017

Quantum Privacy-Preserving Data Analytics.

Shenggang Ying, Mingsheng Ying, Yuan Feng

CoRR, 2017

Invariants of quantum programs: characterisations and generation.

Mingsheng Ying, Shenggang Ying, Xiaodi Wu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Model Checking Omega-regular Properties for Quantum Markov Chains .

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states.

Samson Abramsky, Carmen M. Constantin, Shenggang Ying

Inf. Comput., 2016

2015

Quantum Privacy-Preserving Data Mining.

Shenggang Ying, Mingsheng Ying, Yuan Feng

CoRR, 2015

2013

Reachability Probabilities of Quantum Markov Chains.

Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013