Jianwen Li

24 papers and 199 indexed citations i.

Jianwen Li has authored 24 papers that have received a total of 199 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 10 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (6 papers) and Logic, programming, and type systems (6 papers). Jianwen Li is often cited by papers focused on Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (6 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in China, United States and Italy. Jianwen Li's co-authors include Geguang Pu, Moshe Y. Vardi, Jifeng He, Lijun Zhang and Yihao Huang and has published in prestigious journals such as Sensors, Artificial Intelligence and SAE technical papers on CD-ROM/SAE technical paper series