Jyun-Ao Lin
Orcid: 0000-0001-8560-2147
According to our database1,
Jyun-Ao Lin
authored at least 6 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
2025
0
1
2
3
4
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2024
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
CoRR, 2024
CoRR, 2024
2023
Proc. ACM Program. Lang., 2023
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).
CoRR, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023