Kuize Zhang
About
Kuize Zhang has authored 52 papers that have received a total of 776 indexed citations.
This includes 36 papers in Computational Theory and Mathematics, 15 papers in Molecular Biology and 8 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (26 papers), Petri Nets in System Modeling (20 papers) and Gene Regulatory Network Analysis (15 papers). Kuize Zhang is often cited by papers focused on Formal Methods in Verification (26 papers), Petri Nets in System Modeling (20 papers) and Gene Regulatory Network Analysis (15 papers) and collaborates with scholars based in China, United Kingdom and Germany. Kuize Zhang's co-authors include Lijun Zhang, Changjiang Bu, Majid Zamani, Lihua Xie and Xiaoguang Han and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Transactions on Neural Networks and Learning Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by G. I. Karavaiko are co-authored with Top journals papers by Shuai Han are published in Top journals papers by Toshio Fujino are published in Top countries impacted by papers by Seong‐Keun Cho Top countries impacted by papers by Frank Nitsche Top fields papers by P. T. Woods are about Top journals papers by Romain Forestier are published in Top authors papers by Silvia Oddo are co-authored with