清华大学计算机系量子软件研究中心

Center for Quantum Software, Department of Computer Science and Technology, Tsinghua University

论文发表

(2025). Refinement calculus of quantum programs with projective assertions. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

(2025). Efficient implementation of arbitrary two-qubit gates using unified control. Nature Physics.

引用 DOI URL

(2025). Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis. ACM Transactions on Quantum Computing.

引用 DOI URL

(2025). Quantum Network Optimization: From Optimal Routing to Fair Resource Allocation. Proc. ACM Meas. Anal. Comput. Syst..

引用 DOI URL

(2025). High-coherence fluxonium qubits manufactured with a wafer-scale-uniformity process. Physical Review Applied.

引用 DOI URL