Follow
Xin Hong
Xin Hong
University of Technology Sydney
Verified email at student.uts.edu.au
Title
Cited by
Cited by
Year
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
282022
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
212021
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
122022
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
2023
The system can't perform the operation now. Try again later.
Articles 1–4