The expansion postponement in Pure Type Systems. - Fangmin Song (J. Comput. Sci. Technol., 1997)

A syntactic proof of the conservativity of λω over λ2. - Fangmin Song; Yuechen Qian (J. Comput. Sci. Technol., 1999)

The self-reduction in lambda calculus. - Fangmin Song; YongSen Xu; Yuechen Qian (Theor. Comput. Sci., 2000)

Quantum programming languages: A tentative study. - Jiafu Xu; Fangmin Song (Sci. China Ser. F Inf. Sci., 2008)

On Measurement and Computation - Huimin Zheng; HaiXing Hu; Nan Wu 007; Fangmin Song (CoRR, 2011)

VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS. - Zhenjiang Qian; Hao Huang; Fangmin Song (ICICS, 2013)

Quantum software framework: a tentative study. - Nan Wu 007; HaiXing Hu; Fangmin Song; Huimin Zheng; Xiangdong Li (Frontiers Comput. Sci., 2013)

Grover walks on a line with absorbing boundaries. - Kun Wang 044; Nan Wu 007; Parker Kuklinski; Ping Xu; HaiXing Hu; Fangmin Song (Quantum Inf. Process., 2016)

Quantum SoC and On-Chip Circuit Synthesis in the NISQ Era. - Nan Wu 007; Yucheng Hu; Fangmin Song; Xiangdong Li (Quantum Eng., 2023)