AutoQ: An Automata-Based Quantum Circuit Verifier. - Yu-Fang Chen 001; Kai-Min Chung; Ondrej Lengál; Jyun-Ao Lin; Wei-Lun Tsai (CAV (3), 2023)

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report). - Yu-Fang Chen 001; Kai-Min Chung; Ondrej Lengál; Jyun-Ao Lin; Wei-Lun Tsai; Di-De Yen (CoRR, 2023)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report). - Parosh Aziz Abdulla; Yo-Ga Chen; Yu-Fang Chen 001; Lukás Holík; Ondrej Lengál; Jyun-Ao Lin; Fang-Yi Lo; Wei-Lun Tsai (CoRR, 2024)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. - Yu-Fang Chen 001; Kai-Min Chung; Min-Hsiu Hsieh; Wei-Jia Huang; Ondrej Lengál; Jyun-Ao Lin; Wei-Lun Tsai (TACAS (3), 2025)

Verifying Quantum Circuits with Level-Synchronized Tree Automata. - Parosh Aziz Abdulla; Yo-Ga Chen; Yu-Fang Chen 001; Lukás Holík; Ondrej Lengál; Jyun-Ao Lin; Fang-Yi Lo; Wei-Lun Tsai (Proc. ACM Program. Lang., 2025)

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. - Yu-Fang Chen 001; Kai-Min Chung; Ondrej Lengál; Jyun-Ao Lin; Wei-Lun Tsai; Di-De Yen (Commun. ACM, 2025)