Naijun Zhan

54 papers and 253 indexed citations i.

Naijun Zhan has authored 54 papers that have received a total of 253 indexed citations. This includes 42 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 17 papers in Software. The topics of these papers are Formal Methods in Verification (41 papers), Logic, programming, and type systems (10 papers) and Model-Driven Software Engineering Techniques (9 papers). Naijun Zhan is often cited by papers focused on Formal Methods in Verification (41 papers), Logic, programming, and type systems (10 papers) and Model-Driven Software Engineering Techniques (9 papers) and collaborates with scholars based in China, Germany and United States. Naijun Zhan's co-authors include Shuling Wang, Xue Bai, Bican Xia, Jean-Pierre Talpin and Jie An and has published in prestigious journals such as IEEE Transactions on Automatic Control, SIAM Journal on Control and Optimization and Theoretical Computer Science