Jyun-Ao Lin

12 papers Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parameterized Verification of Quantum Circuits.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2025 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Commun. ACM
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2025 — conf
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
TACAS (3)
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2025 — conf
On the Verification of Quantum Circuits (Research Challenges and Opportunities).
Principles of Formal Quantitative Analysis
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
Parameterized Verification of Quantum Circuits (Technical Report).
CoRR
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2025 — conf
Quantum Circuit Verification - A Potential Roadmap (Invited Talk).
FSTTCS
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan Thinniyam Srinivasan
2025 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2024 J jnl
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
CoRR
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2024 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).
CoRR
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2023 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Proc. ACM Program. Lang.
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 J jnl
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).
CoRR
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 — conf
AutoQ: An Automata-Based Quantum Circuit Verifier.
CAV (3)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai