Kuize Zhang

52 papers and 776 indexed citations i.

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

Rankless by CCL
2025