Rough concept lattices and domains. - Yinbin Lei; Maokang Luo (Ann. Pure Appl. Log., 2009)

A Proof of Plotkin's Conjecture. - Yinbin Lei; Maokang Luo (Fundam. Informaticae, 2009)

改进的粗糙描述逻辑框架 (Extended Rough Description Logic). - Zhihuan Yan; Yinbin Lei (计算机科学, 2016)

Generalizing Topological Set Operators. - Yinbin Lei; Jun Zhang 009 (ISDT, 2019)

Closure System and Its Semantics. - Yinbin Lei; Jun Zhang 009 (Axioms, 2021)