Junfeng Luan

11 papers Misc 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2019 Misc conf
An Approximation Algorithm for Sorting by Bounded Singleton Moves.
COCOON
Shengjun Xie, Haodi Feng, Haitao Jiang, Junfeng Luan, Daming Zhu
2015 Misc conf
Approximation and Nonapproximability for the One-Sided Scaffold Filling Problem.
COCOON
Haitao Jiang, Jingjing Ma, Junfeng Luan, Daming Zhu
2015 J jnl
可计算性逻辑中CoL2系统的可判定性分析 (Research on Decidability of CoL2 in Computability Logic).
计算机科学
Xingxiang Li, Junfeng Luan
2013 J jnl
Implementing program extraction from CL1-proofs.
CoRR
Meixia Qu, Ke Chen, Daming Zhu, Junfeng Luan
2013 J jnl
On the Toggling-Branching Recurrence of Computability Logic.
J. Comput. Sci. Technol.
Mei-Xia Qu, Junfeng Luan, Da-Ming Zhu, Meng Du
2012 J jnl
An approximation algorithm for the Generalized k-Multicut problem.
Discret. Appl. Math.
Peng Zhang, Daming Zhu, Junfeng Luan
2012 J jnl
On the toggling-branching recurrence of Computability Logic
CoRR
Meixia Qu, Junfeng Luan, Daming Zhu
2009 — conf
A Bicriteria Approximation Algorithm for Generalized k-Multicut in Trees.
CSO (2)
Peng Zhang, Daming Zhu, Junfeng Luan
2009 J jnl
Parameterized computational complexity of control problems in voting systems.
Theor. Comput. Sci.
Hong Liu, Haodi Feng, Daming Zhu, Junfeng Luan
2009 — conf
Translocation-Deletions Distance Formula for Sorting Genomes.
CSIE (4)
Fanchang Hao, Junfeng Luan, Daming Zhu
2001 J jnl
Hardness and Methods to Solve CLIQUE.
J. Comput. Sci. Technol.
Daming Zhu, Junfeng Luan, Shaohan Ma