Yingte Xu

最新发表

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou (2026). Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. 41st Annual Symposium on Logic in Computer Science (LICS 2026).

PDF 引用 DOI DOI arXiv

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