Junyi Liu

最新发表

Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying (2023). CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang..

引用 DOI URL

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

Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying (2023). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory.

引用 DOI

Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL

Junyi Liu, Li Zhou, Mingsheng Ying (2019). Expected Runtime of Quantum Programs. CoRR.

引用 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.

引用