Changyan Zhou

15 papers and 214 indexed citations i.

About

Changyan Zhou has authored 15 papers that have received a total of 214 indexed citations. This includes 15 papers in Computational Theory and Mathematics, 8 papers in Computer Networks and Communications and 4 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Petri Nets in System Modeling (13 papers) and Distributed systems and fault tolerance (8 papers). Changyan Zhou is often cited by papers focused on Formal Methods in Verification (14 papers), Petri Nets in System Modeling (13 papers) and Distributed systems and fault tolerance (8 papers) and collaborates with scholars based in United States. Changyan Zhou's co-authors include Ratnesh Kumar, Shengbing Jiang, Darren Cofer, Wenbin Qiu and Kirk Schloegel and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Transactions on Automation Science and Engineering

In The Last Decade

Rankless by CCL
2025