QReach: A Reachability Analysis Tool for Quantum Markov Chains. - Aochu Dai; Mingsheng Ying (CAV (3), 2024)

LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations. - Xin Hong; Aochu Dai; Dingchao Gao; Sanjiang Li; Zhengfeng Ji; Mingsheng Ying (CoRR, 2025)

Quantum State Preparation Based on LimTDD. - Xin Hong; Chenjian Li; Aochu Dai; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps. - Xin Hong; Aochu Dai; Chenjian Li; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)