Li, Sanjiang
- A Tensor Network based Decision Diagram for Representation of Quantum Circuits
2020/09/06 by Xin Hong, Xiangzhen Zhou, Hong, Xin +7 · 11 citations
Computer Science · Engineering · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Physical sciences #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Equivalence Checking of Dynamic Quantum Circuits
2021/06/03 by Hong, Xin, Feng, Yuan, Li, Sanjiang +1 · 4 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows
2022/08/24 by Afrad Basheer, Yuan Feng, Basheer, Afrad +5 · 2 citations
Computer Science · #FOS: Physical sciences #Neural Networks and Reservoir Computing #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Approximate Equivalence Checking of Noisy Quantum Circuits
2021/03/22 by Xin Hong, Mingsheng Ying, Hong, Xin +7 · 1 citation
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
2022/06/28 by Feng, Yuan, Li, Sanjiang · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
2023/08/01 by Li, Sanjiang, Nguyen, Ky Dan, Clare, Zachary +1 · 1 citation
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Hardware Architecture (cs.AR) #Quantum Physics (quant-ph)
- DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation
2024/09/05 by Yunqi Huang, Huang, Yunqi, Shenggang Ying +4 · 1 citation
Computer Science · Materials Science · #Electronic and Structural Properties of Oxides #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Equivalence Checking of Parameterised Quantum Circuits
2024/04/29 by Hong, Xin, Huang, Wei-Jia, Chien, Wei-Chen +4 · 1 citation
#FOS: Physical sciences #Quantum Physics (quant-ph)
- LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations
2025/04/01 by Xin Hong, Hong, Xin, A. D’Aì +9 · 4 citations
Computer Science · #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #Data Visualization and Analytics #FOS: Computer and information sciences #Time Series Analysis and Forecasting