Jianwen Li
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Xiaozhe Shen are published in Top journals papers by Thomas Gutmann are published in Top authors papers by John G. Aversa are co-authored with Top authors papers by B. Veidt are co-authored with Top journals papers by Maria Koromina are published in Top fields papers by Christian M. Boßelmann are about Top fields papers by Olga Kozlova are about Top journals papers by Wolfgang Schluchter are published in