Jyun-Ao Lin

According to our database, Jyun-Ao Lin authored at least 12 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Parameterized Verification of Quantum Circuits.

Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam

Proc. ACM Program. Lang., 2026

2025

Parameterized Verification of Quantum Circuits (Technical Report).

Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam

CoRR, November, 2025

Verifying Quantum Circuits with Level-Synchronized Tree Automata.

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

Proc. ACM Program. Lang., 2025

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.

Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Quantum Circuit Verification - A Potential Roadmap (Invited Talk).

Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan Thinniyam Srinivasan

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

On the Verification of Quantum Circuits (Research Challenges and Opportunities).

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

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).

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

CoRR, 2024

2023

AutoQ: An Automata-based Quantum Circuit Verifier.

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

Dataset, May, 2023

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits.

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen

Dataset, March, 2023

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen

Proc. ACM Program. Lang., 2023

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen

CoRR, 2023

AutoQ: An Automata-Based Quantum Circuit Verifier.

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

Proceedings of the Computer Aided Verification - 35th International Conference, 2023