Concepedia
Statistics
Publications
2
Citations
48
H-Index
Active since
2023
Affiliations
Academia Sinica(Current)
Brno University of Technology
Jyun-Ao Lin is an author at Academia Sinica specializing in computer science, quantum states, and functional correctness.
Publications per year
2023–2025
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Yu‐Fang Chen, Kai-Min Chung, Ondřej Lengál et al. · Proceedings of the ACM on Programming Languages · 2023 · 38 citations · Full text
Computing, Computer Engineering, Computer Science +17
Verifying Quantum Circuits with Level-Synchronized Tree Automata
Parosh Aziz Abdulla, Y. C. Chen, Yu‐Fang Chen et al. · Proceedings of the ACM on Programming Languages · 2025 · 10 citations · Full text
Computing, Computer Science, Algorithms +14
1–2 of 2