4 citations · 4 across the 6 of their papers we have counts for
7 papers
Oracle Synthesis Based on X-Map Decision Diagrams
Xin Hong, Kezhen Zhang, Aochu Dai +3
Quantum oracles act as reversible black-box operators that encode classical Boolean functions into quantum states, enabling efficient function evaluation in quantum superposition.…
QisMC: A Model Checker for QISKIT Program Debugging
Aochu Dai, Mingsheng Ying
We present QisMC, the first quantum model checker dedicated to debugging Qiskit programs. On the theoretical side, we introduce the notion of quantum-classical transition system an…
QReach: A Reachability Analysis Tool for Quantum Markov Chains
Aochu Dai, Mingsheng Ying
We present QReach, the first reachability analysis tool for quantum Markov chains based on decision diagrams CFLOBDD (presented at CAV 2023). QReach provides a novel framework for…
Quantum Design Automation: Foundations, Challenges, and the Road Ahead
Feng Wu, Jingzhe Guo, Tian Xia +12
Quantum computing is transitioning from laboratory research to industrial deployment, yet significant challenges persist: system scalability and performance, fabrication yields, an…
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
Xin Hong, Aochu Dai, Chenjian Li +3
Quantum state preparation (QSP) is a fundamental task in quantum computing and quantum information processing. It is critical to the execution of many quantum algorithms, including…
Quantum State Preparation Based on LimTDD
Xin Hong, Chenjian Li, Aochu Dai +3
Quantum state preparation is a fundamental task in quantum computing and quantum information processing. With the rapid advancement of quantum technologies, efficient quantum state…
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations
Xin Hong, Aochu Dai, Dingchao Gao +3
Tensor networks serve as a powerful tool for efficiently representing and manipulating high-dimensional data in applications such as quantum physics, machine learning, and data com…