Chaochen Zhou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1992–2010
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | APLAS | A Calculus for Hybrid CSP. | Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou |
| 2007 | ICTAC | Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou |
| 1995 | FCT | A Duration Calculus with Infinite Intervals. | Chaochen Zhou, Dang Van Hung, Xiaoshan Li |
| 1992 | ECRTS | Specification Of Embedded, Real-time Systems. | Jens Ulrik Skakkebk, Anders P. Ravn, Hans Rischel, Chaochen Zhou |