Image Computation for Quantum Transition Systems. - Xin Hong; Dingchao Gao; Sanjiang Li; Shenggang Ying; Mingsheng Ying (DATE, 2025)

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)

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation. - Yunqi Huang; Dingchao Gao; Shenggang Ying; Sanjiang Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)