Q|SI〉: A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (CoRR, 2017)

Q|SI⟩ : A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (Symposium on Real-Time and Hybrid Systems, 2018)

The architecture of a quantum programming environment - Shusen Liu 002 (2018)

Implementing termination analysis on quantum programming. - Shusen Liu 002; Kan He; Runyao Duan (Sci. China Inf. Sci., 2019)

Distinguishing unitary gates on the IBM quantum processor. - Shusen Liu 002; Yinan Li; Runyao Duan (Sci. China Inf. Sci., 2019)