Zhou Chaochen

7 papers and 303 indexed citations i.

Zhou Chaochen has authored 7 papers that have received a total of 303 indexed citations. This includes 6 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (6 papers), Embedded Systems Design Techniques (2 papers) and Real-Time Systems Scheduling (2 papers). Zhou Chaochen is often cited by papers focused on Formal Methods in Verification (6 papers), Embedded Systems Design Techniques (2 papers) and Real-Time Systems Scheduling (2 papers) and collaborates with scholars based in Spain, Denmark and United States. Zhou Chaochen's co-authors include Michael R. Hansen, Anders P. Ravn, Hans Rischel, C. A. R. Hoare and Dang Van Hung and has published in prestigious journals such as Theoretical Computer Science, Information Processing Letters and Formal Aspects of Computing