Kuize Zhang

52 papers and 800 indexed citations i.

Kuize Zhang has authored 52 papers that have received a total of 800 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, Jiemei Zhao, 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.