Rui Wang

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Planning Problems

Top Venues

Publications

Jian Xiong, Chao Zhang, Gang Kou, Rui Wang, Hisao Ishibuchi, Fawaz E. Alsaadi
Optimizing Long-Term Bank Financial Products Portfolio Problems with a Multiobjective Evolutionary Approach. Complex. 2020 (2020)
Jian Xiong, Rui Wang, Jiang Jiang
Weapon Selection and Planning Problems Using MOEA/D with Distance-Based Divided Neighborhoods. Complex. 2019 (2019)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014 (2014)
Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. TASE (2014)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking CoRR (2013)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC (2013)
Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013 (2013)