| A tensor network based decision diagram for representation of quantum circuits X Hong, X Zhou, S Li, Y Feng, M Ying ACM Transactions on Design Automation of Electronic Systems (TODAES) 27 (6 …, 2022 | 38 | 2022 |
| Approximate equivalence checking of noisy quantum circuits X Hong, M Ying, Y Feng, X Zhou, S Li 2021 58th ACM/IEEE Design Automation Conference (DAC), 637-642, 2021 | 24 | 2021 |
| Equivalence checking of dynamic quantum circuits X Hong, Y Feng, S Li, M Ying Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | 16 | 2022 |
| Decision Diagrams for Symbolic Verification of Quantum Circuits X Hong, WJ Huang, WC Chien, Y Feng, MH Hsieh, S Li, CS Yeh, M Ying 2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023 | 2 | 2023 |
| Equivalence Checking of Parameterised Quantum Circuits X Hong, WJ Huang, WC Chien, Y Feng, MH Hsieh, S Li, M Ying arXiv preprint arXiv:2404.18456, 2024 | 1 | 2024 |
