| An automata-based framework for verification and bug hunting in quantum circuits YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai, DD Yen Proceedings of the ACM on Programming Languages 7 (PLDI), 1218-1243, 2023 | 21 | 2023 |
| AutoQ: An Automata-Based Quantum Circuit Verifier YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai International Conference on Computer Aided Verification, 139-153, 2023 | 11 | 2023 |
| Spherical Hall algebras of a weighted projective curve JA Lin arXiv preprint arXiv:1410.0896, 2014 | 7 | 2014 |
| Spherical Hall algebras of weighted projective curves JA Lin International Mathematics Research Notices 2020 (15), 4721-4775, 2020 | 3 | 2020 |
| An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report) YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai, DD Yen arXiv preprint arXiv:2301.07747, 2023 | 2 | 2023 |
| Verifying Quantum Circuits with Level-Synchronized Tree Automata PA Abdulla, YG Chen, YF Chen, L Holík, O Lengál, JA Lin, FY Lo, WL Tsai Proceedings of the ACM on Programming Languages 9 (POPL), 923-953, 2025 | | 2025 |
| AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs YF Chen, KM Chung, MH Hsieh, WJ Huang, O Lengál, JA Lin, WL Tsai arXiv preprint arXiv:2411.09121, 2024 | | 2024 |
| Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report) PA Abdulla, YG Chen, YF Chen, L Holík, O Lengál, JA Lin, FY Lo, WL Tsai arXiv preprint arXiv:2410.18540, 2024 | | 2024 |
| Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report) P Aziz Abdulla, YG Chen, YF Chen, L Holík, O Lengál, JA Lin, FY Lo, ... arXiv e-prints, arXiv: 2410.18540, 2024 | | 2024 |
| A new involution for quantum loop algebras JA Lin Journal of Algebra 480, 368-384, 2017 | | 2017 |
