Edit Profile (opens in new tab) Li, Jianwen Co-Author Distance Author ID: li.jianwen Published as: Li, Jianwen Documents Indexed: 10 Publications since 2013 Co-Authors: 11 Co-Authors with 8 Joint Publications 792 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Pu, Geguang 6 Vardi, Moshe Ya’akov 5 Zhang, Lijun 4 He, Jifeng 2 Rozier, Kristin Yvonne 2 Zhang, Yueling 2 Zhu, Shufang 1 Larsen, Kim Guldstrand 1 Song, Fu 1 Wang, Zheng 1 Zhang, Min all top 5 Serials 1 Artificial Intelligence 1 Information and Computation 1 Formal Aspects of Computing 1 AI Communications 1 Journal of Logic and Computation 1 Formal Methods in System Design 1 International Journal of Computational Methods 1 Engineering Optimization all top 5 Fields 8 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177 Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177 Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 all top 5 Cited by 9 Authors 2 Li, Jianwen 2 Pu, Geguang 2 Vardi, Moshe Ya’akov 2 Zhang, Lijun 2 Zhu, Shufang 1 He, Jifeng 1 McCabe-Dansted, John Christopher 1 Reynolds, Mark Alexander 1 Roşu, Grigore Cited in 2 Serials 2 Formal Methods in System Design 1 Formal Aspects of Computing Cited in 2 Fields 4 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year