Towards an Efficient Approximate Solution for the Weighted User Authorization Query Problem. - Jianfeng Lu 002; Zheng Wang 061; Dewu Xu; Changbing Tang; Jianmin Han (IEICE Trans. Inf. Syst., 2017)

An Improved Genetic Algorithm for Safety and Availability Checking in Cyber-Physical Systems. - Zheng Wang 061; Yanan Jin; Shasha Yang 001; Jianmin Han; Jianfeng Lu 002 (IEEE Access, 2021)