Yo-Ga Chen

According to our database, Yo-Ga Chen authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

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

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