Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification. - Chun-Yu Wei; Yuan-Hung Tsai; Chiao-Shan Jhang; Jie-Hong R. Jiang (DAC, 2022)

Don't-Care Aware ESOP Extraction via Reduced Decomposition-Tree Exploration. - Chun-Yu Wei; Jie-Hong R. Jiang (DAC, 2023)

VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion. - Tian-Fu Chen; Chun-Yu Wei; Jie-Hong R. Jiang (QCE, 2023)