Xin Sun

最新发表

Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu (2026). Weakest precondition calculus and relative completeness of satisfaction-based quantum Hoare logic. Quantum Information Processing.

引用 DOI DOI

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui (2026). Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness. Lecture Notes in Computer Science.

引用 DOI DOI

Xin Sun, Xingchi Su, Xiaoning Bian (2025). Quantum Vote Based on Quantum Logical Operators. Quantum Information Processing.

引用 DOI DOI