Zhaozhong Ni
About
Zhaozhong Ni has authored 6 papers that have received a total of 91 indexed citations.
This includes 6 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 0 papers in Industrial relations. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (6 papers) and Security and Verification in Computing (5 papers). Zhaozhong Ni is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (6 papers) and Security and Verification in Computing (5 papers) and collaborates with scholars based in United States and China. Zhaozhong Ni's co-authors include Zhong Shao, Xinyu Feng, Stefan Monnier, Valery Trifonov and Dachuan Yu and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Automated Reasoning and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Christine Brown are about Top countries impacted by papers by Reinhold Bayerer Top authors papers by Sílvia Angélica Jorge are co-authored with Top countries impacted by papers by Kangfeng Zhao Top authors papers by F. Mosele are co-authored with Top fields papers by Marita Franzke are about Top countries impacted by papers by Nathalie Pouvreau Top fields papers by H. Melliez are about