Zijian Zhou

8 papers and 60 indexed citations i.

Zijian Zhou has authored 8 papers that have received a total of 60 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), Embedded Systems Design Techniques (2 papers) and Petri Nets in System Modeling (2 papers). Zijian Zhou is often cited by papers focused on Formal Methods in Verification (3 papers), Embedded Systems Design Techniques (2 papers) and Petri Nets in System Modeling (2 papers) and collaborates with scholars based in China, Canada and United States. Zijian Zhou's co-authors include E. Cerny, M. Langevin, Xiaoyu Song, 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.