15 citations · 16 across the 3 of their papers we have counts for
3 papers
quant-ph2026
A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
Qifan Huang, Minbo Gao, Li Zhou +1
Most quantum compilers assume programs are reversible unitary circuits. This fits closed-system algorithms, but not open-system simulation, where the natural program objects are qu…
cs.PL2025★ 15 cited
Efficient Formal Verification of Quantum Error Correcting Programs
Qifan Huang, Li Zhou, Wang Fang +2
Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient veri…
quant-ph2022★ 1 cited
Fault Models in Superconducting quantum circuits
Qifan Huang, Boxi Li, Minbo Gao +1
Fault models are indispensable for many EDA tasks, so as for design and implementation of quantum hardware. In this article, we propose a fault model for superconducting quantum sy…