Yingte Xu

最新发表

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, Yingte Xu (2023). Verification of Nondeterministic Quantum Programs. Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.

引用 DOI URL