Model Checking the Inconsistency and Circularity in Rule-Based Expert Systems. - Desheng Xu; Kejian Xia; Dezheng Zhang; Huangsheng Zhang (Comput. Inf. Sci., 2009)

Fast Neighbor Discovery Protocol Based on MANET-RTLS. - Kejian Xia; Fei Liu; Jie Zou; Jie He 001 (CWSN, 2013)

Cooperative Velocity Updating model based Particle Swarm Optimization. - Hongbo Wang 003; Xiaoqi Zhao; Kezhen Wang; Kejian Xia; Xuyan Tu (Appl. Intell., 2014)