| 2007 |
|---|
| 26 | EE | Yinghua Chen,
Bican Xia,
Lu Yang,
Naijun Zhan,
Chaochen Zhou:
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.
ICTAC 2007: 34-49 |
| 2006 |
|---|
| 25 | EE | Zhou Chaochen:
Program Verification Through Computer Algebra.
ICFEM 2006: 1 |
| 2005 |
|---|
| 24 | EE | Lu Yang,
Naijun Zhan,
Bican Xia,
Chaochen Zhou:
Program Verification by Using DISCOVERER.
VSTTE 2005: 528-538 |
| 2002 |
|---|
| 23 | EE | Zhou Chaochen:
UNU and UNU/IIST.
10th Anniversary Colloquium of UNU/IIST 2002: 26-33 |
| 2000 |
|---|
| 22 | | Rana Barua,
Suman Roy,
Chaochen Zhou:
Completeness of neighbourhood logic.
J. Log. Comput. 10(2): 271-295 (2000) |
| 1999 |
|---|
| 21 | EE | Rana Barua,
Suman Roy,
Zhou Chaochen:
Completeness of Neighbourhood Logic.
STACS 1999: 521-530 |
| 20 | EE | Dang Van Hung,
Zhou Chaochen:
Probabilistic Duration Calculus for Continuous Time.
Formal Asp. Comput. 11(1): 21-44 (1999) |
| 1998 |
|---|
| 19 | EE | Zhou Chaochen:
Duration Calculus, a Logical Approach to Real-Time Systems.
AMAST 1998: 1-7 |
| 1997 |
|---|
| 18 | EE | Zhou Chaochen,
Michael R. Hansen:
An Adequate First Order Interval Logic.
COMPOS 1997: 584-608 |
| 17 | | Michael R. Hansen,
Zhou Chaochen:
Duration Calculus: Logical Foundations.
Formal Asp. Comput. 9(3): 283-330 (1997) |
| 1995 |
|---|
| 16 | | Chaochen Zhou,
Dang Van Hung,
Xiaoshan Li:
A Duration Calculus with Infinite Intervals.
FCT 1995: 16-41 |
| 15 | | Zhou Chaochen,
Wang Ji,
Anders P. Ravn:
A Formal Description of Hybrid Systems.
Hybrid Systems 1995: 511-530 |
| 14 | EE | Michael R. Hansen,
Paritosh K. Pandya,
Zhou Chaochen:
Finite Divergence.
Theor. Comput. Sci. 138(1): 113-139 (1995) |
| 1994 |
|---|
| 13 | | Xinyao Yu,
Ji Wang,
Chaochen Zhou,
Paritosh K. Pandya:
Formal Design of Hybrid Systems.
FTRTFT 1994: 738-755 |
| 12 | | Zheng Yuhua,
Chaochen Zhou:
A Formal Proof of the Deadline Driven Scheduler.
FTRTFT 1994: 756-775 |
| 11 | | Chaochen Zhou:
Linear Duration Invariants.
FTRTFT 1994: 86-109 |
| 1993 |
|---|
| 10 | | Chaochen Zhou:
Duration Calculi: An Overview (Invited Paper).
Formal Methods in Programming and Their Applications 1993: 256-266 |
| 9 | | Zhou Chaochen,
Michael R. Hansen,
Peter Sestoft:
Decidability and Undecidability Results for Duration Calculus.
STACS 1993: 58-68 |
| 1992 |
|---|
| 8 | | Zhou Chaochen,
Michael R. Hansen,
Anders P. Ravn,
Hans Rischel:
Duration Specifications for Shared Processors.
FTRTFT 1992: 21-32 |
| 7 | | Zhou Chaochen,
Anders P. Ravn,
Michael R. Hansen:
An Extended Duration Calculus for Hybrid Real-Time Systems.
Hybrid Systems 1992: 36-59 |
| 6 | | Zhou Chaochen,
C. A. R. Hoare:
A Model for Synchronous Switching Circuits and its Theory of Correctness.
Formal Methods in System Design 1(1): 7-28 (1992) |
| 1991 |
|---|
| 5 | | Michael R. Hansen,
Zhou Chaochen:
Semantics and Completeness of Duration Calculus.
REX Workshop 1991: 209-225 |
| 4 | | Zhou Chaochen,
C. A. R. Hoare,
Anders P. Ravn:
A Calculus of Durations.
Inf. Process. Lett. 40(5): 269-276 (1991) |
| 1990 |
|---|
| 3 | | Michael R. Hansen,
Zhou Chaochen:
Specification & Verification of Higher Order Processes.
MFCS 1990: 322-328 |
| 1987 |
|---|
| 2 | | Zhou Chaochen:
Specifying Communicating Systems with Temporal Logic.
Temporal Logic in Specification 1987: 304-323 |
| 1982 |
|---|
| 1 | EE | Zhou Chaochen:
Weakest environment of communicating processes.
AFIPS National Computer Conference 1982: 679-690 |
