Li Zhou

最新发表

Yuan Feng, Li Zhou, Yingte Xu, Xiaoquan Xu (2025). Refinement calculus of quantum programs with projective assertions. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

Yuan Feng, Li Zhou (2025). Refinement orders for quantum programs.

引用 arXiv URL

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

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

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng (2022). A proof system for disjoint parallel quantum programs. Theoretical Computer Science.

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.

引用 arXiv URL

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

引用 DOI URL

Li Zhou, Nengkun Yu, Mingsheng Ying (2019). An applied quantum Hoare logic. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.

引用 DOI URL

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

引用 URL

Mingsheng Ying, Li Zhou, Yangjia Li (2019). Reasoning about Parallel Quantum Programs.

引用 arXiv URL

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying (2018). $$Q|SIbackslashrangle $$ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday.

引用 DOI URL

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

引用 arXiv URL