Shenggang Ying
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Quantum Circuit Synthesis Based on LimTDD. | Xin Hong, Chenjian Li, Aochu Dai, Runhong He, Shenggang Ying |
| 2025 | DATE | Image Computation for Quantum Transition Systems. | Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying |
| 2025 | ICCAD | Quantum State Preparation Based on LimTDD. | Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying |
| 2019 | CAV | 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 |
| 2017 | CONCUR | Model Checking Omega-regular Properties for Quantum Markov Chains . | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying |
| 2017 | POPL | Invariants of quantum programs: characterisations and generation. | Mingsheng Ying, Shenggang Ying, Xiaodi Wu |
| 2013 | CONCUR | Reachability Probabilities of Quantum Markov Chains. | Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying |