Minimization of states in automata theory based on finite lattice-ordered monoids. - Hongxuan Lei; Yongming Li 001 (Inf. Sci., 2007)

Level Soft Sets based on fuzzy Sets. - Feng Feng 003; Yongming Li 001; Hongxuan Lei (QLSC, 2012)

Possibilistic Kripke Structure Decision Processes. - Yan Xue; Hongxuan Lei; Yongming Li 001 (QLSC, 2012)

两类量子游走组成的非确定型量子程序的终止验证 (Verification of Termination for Nondeterministic Quantum Programs Constituted by Two Kinds of Quantum Walks). - Hongxuan Lei (计算机科学, 2015)