Edit Profile (opens in new tab) Zhu, Shufang Co-Author Distance Author ID: zhu.shufang Published as: Zhu, Shufang Documents Indexed: 6 Publications since 2018 Co-Authors: 12 Co-Authors with 6 Joint Publications 471 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Vardi, Moshe Ya’akov 3 Pu, Geguang 2 Han, Yuxiao 2 Li, Jianwen 2 Zhang, Lijun 2 Zhou, Shangbo 1 De Giacomo, Giuseppe 1 Di Stasio, Antonio 1 He, Jifeng 1 Sha, Long 1 Tabajara, Lucas M. 1 Zhou, Xin Serials 2 Formal Methods in System Design 2 Mathematical Biosciences and Engineering 1 Formal Aspects of Computing Fields 4 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ First-order vs. second-order encodings for ltl\(_f\)-to-automata translation. Zbl 1524.03030 Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y. 2 2019 A multi-sample particle swarm optimization algorithm based on electric field force. Zbl 1506.90279 Zhou, Shangbo; Han, Yuxiao; Sha, Long; Zhu, Shufang 1 2021 A multi-sample particle swarm optimization algorithm based on electric field force. Zbl 1506.90279 Zhou, Shangbo; Han, Yuxiao; Sha, Long; Zhu, Shufang 1 2021 First-order vs. second-order encodings for ltl\(_f\)-to-automata translation. Zbl 1524.03030 Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y. 2 2019 all top 5 Cited by 6 Authors 2 Tabajara, Lucas M. 2 Vardi, Moshe Ya’akov 1 Han, Yuxiao 1 Zhou, Shangbo 1 Zhou, Xin 1 Zhu, Shufang Cited in 1 Serial 1 Mathematical Biosciences and Engineering Cited in 4 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year