Hardness and Methods to Solve CLIQUE. - Daming Zhu; Junfeng Luan; Shaohan Ma (J. Comput. Sci. Technol., 2001)

Translocation-Deletions Distance Formula for Sorting Genomes. - Fanchang Hao; Junfeng Luan; Daming Zhu (CSIE (4), 2009)

A Bicriteria Approximation Algorithm for Generalized k-Multicut in Trees. - Peng Zhang 008; Daming Zhu; Junfeng Luan (CSO (2), 2009)

Parameterized computational complexity of control problems in voting systems. - Hong Liu 001; Haodi Feng; Daming Zhu; Junfeng Luan (Theor. Comput. Sci., 2009)

On the toggling-branching recurrence of Computability Logic - Meixia Qu; Junfeng Luan; Daming Zhu (CoRR, 2012)

An approximation algorithm for the Generalized k-Multicut problem. - Peng Zhang 008; Daming Zhu; Junfeng Luan (Discret. Appl. Math., 2012)

Implementing program extraction from CL1-proofs. - Meixia Qu; Ke Chen; Daming Zhu; Junfeng Luan (CoRR, 2013)

On the Toggling-Branching Recurrence of Computability Logic. - Mei-Xia Qu; Junfeng Luan; Da-Ming Zhu; Meng Du (J. Comput. Sci. Technol., 2013)

Approximation and Nonapproximability for the One-Sided Scaffold Filling Problem. - Haitao Jiang; Jingjing Ma; Junfeng Luan; Daming Zhu (COCOON, 2015)

可计算性逻辑中CoL2系统的可判定性分析 (Research on Decidability of CoL2 in Computability Logic). - Xingxiang Li; Junfeng Luan (计算机科学, 2015)

An Approximation Algorithm for Sorting by Bounded Singleton Moves. - Shengjun Xie; Haodi Feng; Haitao Jiang; Junfeng Luan; Daming Zhu (COCOON, 2019)