Zijian Zhou

8 papers and 59 indexed citations i.

Zijian Zhou has authored 8 papers that have received a total of 59 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 3 papers in Hardware and Architecture and 2 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (3 papers), Petri Nets in System Modeling (2 papers) and Embedded Systems Design Techniques (2 papers). Zijian Zhou is often cited by papers focused on Formal Methods in Verification (3 papers), Petri Nets in System Modeling (2 papers) and Embedded Systems Design Techniques (2 papers) and collaborates with scholars based in China, Canada and United States. Zijian Zhou's co-authors include E. Cerny, Xiaoyu Song, M. Langevin, Otmane Aı̈t Mohamed and Sofiène Tahar and has published in prestigious journals such as ACM SIGCOMM Computer Communication Review, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Cluster Computing