Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. - Rui Wang 019; Wanwei Liu; Tun Li; Xiaoguang Mao; Ji Wang 001 (J. Appl. Math., 2013)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 019; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (J. Appl. Math., 2014)

Weapon Selection and Planning Problems Using MOEA/D with Distance-Based Divided Neighborhoods. - Jian Xiong 002; Rui Wang 019; Jiang Jiang (Complex., 2019)

Optimizing Long-Term Bank Financial Products Portfolio Problems with a Multiobjective Evolutionary Approach. - Jian Xiong 002; Chao Zhang; Gang Kou; Rui Wang 019; Hisao Ishibuchi; Fawaz E. Alsaadi (Complex., 2020)