Shenggang Ying

最新发表

Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: An Integrated Software Stack for Quantum Programming. IEEE Transactions on Quantum Engineering.

引用 DOI

Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: Towards a Practical Software Stack for Quantum Programming.

引用 arXiv URL

Li Zhou, Nengkun Yu, Shenggang Ying, Mingsheng Ying (2022). Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem. Journal of Mathematical Physics.

引用 DOI URL

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2020). Strassen's theorem for quantum couplings. Theoretical Computer Science.

引用 DOI URL

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan (2019). Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. Computer Aided Verification.

引用

Zhaowei Xu, Mingsheng Ying, Shenggang Ying (2018). A Logic for Recursive Quantum Programs.

引用 arXiv URL

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

引用 arXiv URL

Shenggang Ying, Mingsheng Ying (2018). Reachability analysis of quantum Markov decision processes. Information and Computation.

引用 DOI URL

Yuan Feng, \Ernst Moritz\ Hahn, Andrea Turrini, Shenggang Ying (2017). Model Checking Omega-regular Properties for Quantum Markov Chains. 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.

引用 DOI

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.

引用 DOI URL

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. SIGPLAN Not..

引用 DOI URL

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

引用 arXiv URL

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

引用 arXiv URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2016). Quantum Privacy-Preserving Data Mining.

引用 arXiv URL

Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Probabilities of Quantum Markov Chains. CONCUR 2013 – Concurrency Theory.

引用

Shenggang Ying, Mingsheng Ying (2013). Removing measurements from quantum walks. Phys. Rev. A.

引用 DOI URL