Edit Profile (opens in new tab) Duan, Kaiqiang Co-Author Distance Author ID: duan.kaiqiang Published as: Duan, Kaiqiang Documents Indexed: 2 Publications since 2015 Co-Authors: 8 Co-Authors with 2 Joint Publications 269 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Li, Yongjian 2 Lv, Yi 2 Pang, Jun 1 Cai, Shaowei 1 Cao, Shen 1 Fan, DongRui 1 Jansen, David N. 1 Zhang, Lijun Serials 1 ACM Transactions on Computational Logic Fields 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 2 2018 An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 2 2018 Cited by 3 Authors 2 Cimatti, Alessandro 2 Griggio, Alberto 2 Redondi, Gianluca Cited in 0 Serials Cited in 2 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year