Zhou Chaochen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–2006
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICFEM | Program Verification Through Computer Algebra. | Zhou Chaochen |
| 1999 | STACS | Completeness of Neighbourhood Logic. | Rana Barua, Suman Roy, Zhou Chaochen |
| 1993 | STACS | Decidability and Undecidability Results for Duration Calculus. | Zhou Chaochen, Michael R. Hansen, Peter Sestoft |
| 1990 | MFCS | Specification & Verification of Higher Order Processes. | Michael R. Hansen, Zhou Chaochen |