Author

Jianwen Li

2026 · DeepSeek-AI, :, et al. · arXiv (Cornell University) · 119
2021 · Haixia Qi, Zeyu Wu, et al. · Computers and Electronics in Agriculture · 107
2017 · Shufang Zhu, Lucas M. Tabajara, et al. · International Joint Conference on Artificial Intelligence · 104
2020 · Yihao Huang, Felix Juefei-Xu, et al. · ACM International Conference on Multimedia (ACM MM) · 77
2017 · Shufang Zhu, Lucas M. Tabajara, et al. · Lecture notes in computer science · 47
2019 · Jianwen Li, Moshe Y. Vardi, et al. · Lecture notes in computer science · 39
2009 · Yongsheng He, David B. Brown, et al. · SAE technical papers on CD-ROM/SAE technical paper series · 36
2013 · Jianwen Li, Lijun Zhang, et al. · International Symposium on Temporal Representation and Reasoning · 30
2020 · Jianwen Li, Geguang Pu, et al. · Artificial Intelligence · 29
2014 · Jianwen Li, Yinbo Yao, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 29
2015 · Jianwen Li, Shufang Zhu, et al. · Lecture notes in computer science · 28
2017 · Jianwen Li, Shufang Zhu, et al. · International Conference on Computer Aided Design · 25
2019 · Jianwen Li, Kristin Y. Rozier, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 23
2020 · Jincao Feng, Weikai Miao, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 19
2019 · Jianwen Li, Shufang Zhu, et al. · Formal Methods in System Design · 18
2018 · Jianwen Li, Rohit Dureja, et al. · Lecture notes in computer science · 18
2022 · Giuseppe De Giacomo, Marco Favorito, et al. · International Joint Conference on Artificial Intelligence · 16
2023 · Yechuan Xia, Anna Becchi, et al. · Lecture notes in computer science · 15
2018 · Jianwen Li, Geguang Pu, et al. · Journal of Logic and Computation · 15
2018 · Jianwen Li, Kristin Y. Rozier · Lecture notes in computer science · 15
2014 · Li Jianwen, Zhang Lijun, et al. · Frontiers in artificial intelligence and applications · 15
2022 · Jianwen Li, Moshe Y. Vardi, et al. · Information and Computation · 12
2021 · Shengping Xiao, Jianwen Li, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 12
Works count: 80
Citation count: 1,079
H-index: 17
I10-index: 29
Year
Topic
Type