Xin Hong

最新发表

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Mingsheng Ying (2024). Equivalence Checking of Parameterised Quantum Circuits.

引用 arXiv URL

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying (2023). Decision Diagrams for Symbolic Verification of Quantum Circuits. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).

引用 DOI

Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying (2022). A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Des. Autom. Electron. Syst..

引用 DOI URL

Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Equivalence Checking of Dynamic Quantum Circuits. Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design.

引用 DOI URL

Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL