4 citations · 4 across the 9 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
quant-ph2026
Fast Template Matching for Quantum Circuits Using Hypergraph
Xin Hong, Jintao Yu, Runhong He +3
Quantum circuit optimization is a key step toward the efficient execution of quantum algorithms. Template matching has emerged as one of the dominant approaches for simplifying qua…
quant-ph2026
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.…
cs.LO2026
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…