Shenggang Ying

22 papers A* 1A 2B 2Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A quantum game designed for property partitioning with implementation on superconducting quantum processors.
Theor. Comput. Sci.
Hui Jiang, Jianling Fu, Ming Xu, Ji Guan, Shenggang Ying
2025 J jnl
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps.
CoRR
Xin Hong, Aochu Dai, Chenjian Li, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yunqi Huang, Dingchao Gao, Shenggang Ying, Sanjiang Li
2025 A conf
Image Computation for Quantum Transition Systems.
DATE
Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
Image Computation for Quantum Transition Systems.
CoRR
Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 A conf
Quantum State Preparation Based on LimTDD.
ICCAD
Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
Quantum State Preparation Based on LimTDD.
CoRR
Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2024 J jnl
DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation.
CoRR
Yunqi Huang, Dingchao Gao, Shenggang Ying, Sanjiang Li
2021 J jnl
Optimal Policies for Quantum Markov Decision Processes.
Int. J. Autom. Comput.
Mingsheng Ying, Yuan Feng, Shenggang Ying
2020 J jnl
Strassen's theorem for quantum couplings.
Theor. Comput. Sci.
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
2019 — conf
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
CAV (2)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019 J jnl
Quantum Hoare Logic.
Arch. Formal Proofs
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2018 J jnl
Quantum Coupling and Strassen Theorem.
CoRR
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
2018 J jnl
Reachability analysis of quantum Markov decision processes.
Inf. Comput.
Shenggang Ying, Mingsheng Ying
2017 A* conf
Invariants of quantum programs: characterisations and generation.
POPL
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
2017 B conf
Model Checking Omega-regular Properties for Quantum Markov Chains .
CONCUR
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
2017 J jnl
Quantum Privacy-Preserving Data Analytics.
CoRR
Shenggang Ying, Mingsheng Ying, Yuan Feng
2017 J jnl
Quantum Privacy-Preserving Perceptron.
CoRR
Shenggang Ying, Mingsheng Ying, Yuan Feng
2016 J jnl
Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states.
Inf. Comput.
Samson Abramsky, Carmen M. Constantin, Shenggang Ying
2015 J jnl
Quantum Privacy-Preserving Data Mining.
CoRR
Shenggang Ying, Mingsheng Ying, Yuan Feng
2014 J jnl
Reachability Analysis of Quantum Markov Decision Processes.
CoRR
Shenggang Ying, Mingsheng Ying
2013 B conf
Reachability Probabilities of Quantum Markov Chains.
CONCUR
Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying