Xingchi Su | 清华大学计算机系量子软件研究中心 https://quantum.cs.tsinghua.edu.cn/author/xingchi-su/ Xingchi Su Hugo Blox Builder (https://hugoblox.com)zh-HansTue, 28 Jul 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/media/icon_hu_4bddb5895fb575d1.png Xingchi Su https://quantum.cs.tsinghua.edu.cn/author/xingchi-su/ Weakest precondition calculus and relative completeness of satisfaction-based quantum Hoare logic https://quantum.cs.tsinghua.edu.cn/publication/sun-2026-weakest-precondition-calculus-and-relative-completeness-of-satisfaction-based-quantum-hoare-logic/ Tue, 28 Jul 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/sun-2026-weakest-precondition-calculus-and-relative-completeness-of-satisfaction-based-quantum-hoare-logic/ Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness https://quantum.cs.tsinghua.edu.cn/publication/sun-2026-satisfaction-based-probabilistic-hoare-logic-with-while-loop-weakest-precondition-and-relative-comp/ Mon, 01 Jun 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/sun-2026-satisfaction-based-probabilistic-hoare-logic-with-while-loop-weakest-precondition-and-relative-comp/ Quantum Vote Based on Quantum Logical Operators https://quantum.cs.tsinghua.edu.cn/publication/sun-2025-quantum-vote-based-on-quantum-logical-operators/ Fri, 25 Jul 2025 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/sun-2025-quantum-vote-based-on-quantum-logical-operators/