Jyun-Ao Lin

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

Collaborative distances:

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

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

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