Weakest environment of communicating processes. - Zhou Chaochen (AFIPS National Computer Conference, 1982)

Specifying Communicating Systems with Temporal Logic. - Zhou Chaochen (Temporal Logic in Specification, 1987)

Specification & Verification of Higher Order Processes. - Michael R. Hansen; Zhou Chaochen (MFCS, 1990)

Semantics and Completeness of Duration Calculus. - Michael R. Hansen; Zhou Chaochen (REX Workshop, 1991)

A Calculus of Durations. - Zhou Chaochen; C. A. R. Hoare; Anders P. Ravn (Inf. Process. Lett., 1991)

Specification Of Embedded, Real-time Systems. - Jens Ulrik Skakkebæk; Anders P. Ravn; Hans Rischel; Chaochen Zhou (RTS, 1992)

Duration Specifications for Shared Processors. - Zhou Chaochen; Michael R. Hansen; Anders P. Ravn; Hans Rischel (FTRTFT, 1992)

An Extended Duration Calculus for Hybrid Real-Time Systems. - Zhou Chaochen; Anders P. Ravn; Michael R. Hansen (Hybrid Systems, 1992)

A Model for Synchronous Switching Circuits and its Theory of Correctness. - Zhou Chaochen; C. A. R. Hoare (Formal Methods Syst. Des., 1992)

Duration Calculi: An Overview (Invited Paper). - Chaochen Zhou (Formal Methods in Programming and Their Applications, 1993)

Decidability and Undecidability Results for Duration Calculus. - Zhou Chaochen; Michael R. Hansen; Peter Sestoft (STACS, 1993)

Formal Design of Hybrid Systems. - Xinyao Yu; Ji Wang 001; Chaochen Zhou; Paritosh K. Pandya (FTRTFT, 1994)

A Formal Proof of the Deadline Driven Scheduler. - Zheng Yuhua; Chaochen Zhou (FTRTFT, 1994)

Linear Duration Invariants. - Chaochen Zhou (FTRTFT, 1994)

A Duration Calculus with Infinite Intervals. - Chaochen Zhou; Dang Van Hung; Xiaoshan Li (FCT, 1995)

A Formal Description of Hybrid Systems. - Chaochen Zhou; Ji Wang 001; Anders P. Ravn (Hybrid Systems, 1995)

A Case Study of Optimization. - Weidong He; Chaochen Zhou (Comput. J., 1995)

Finite Divergence. - Michael R. Hansen; Paritosh K. Pandya; Zhou Chaochen (Theor. Comput. Sci., 1995)

An Adequate First Order Interval Logic. - Zhou Chaochen; Michael R. Hansen (COMPOS, 1997)

Duration Calculus: Logical Foundations. - Michael R. Hansen; Zhou Chaochen (Formal Aspects Comput., 1997)

Duration Calculus, a Logical Approach to Real-Time Systems. - Zhou Chaochen (AMAST, 1998)

An overview of Duration Calculus. - Chaochen Zhou (J. Comput. Sci. Technol., 1998)

A computer-aided geometric approach to inverse kinematics. - Hongguang Fu; Lu Yang; Zhou Chaochen (J. Field Robotics, 1998)

Probabilistic Duration Calculus for Continuous Time. - Dang Van Hung; Zhou Chaochen (Formal Aspects Comput., 1999)

Completeness of neighbourhood logic. - Rana Barua; Suman Roy 001; Chaochen Zhou (J. Log. Comput., 2000)

UNU and UNU/IIST. - Zhou Chaochen (10th Anniversary Colloquium of UNU/IIST, 2002)

Duration Calculus - A Formal Approach to Real-Time Systems - Zhou Chaochen; Michael R. Hansen (Springer, 2004)

Program Verification by Using DISCOVERER. - Lu Yang; Naijun Zhan; Bican Xia; Chaochen Zhou (VSTTE, 2005)

Program Verification Through Computer Algebra. - Zhou Chaochen (ICFEM, 2006)

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. - Yinghua Chen; Bican Xia; Lu Yang; Naijun Zhan; Chaochen Zhou (ICTAC, 2007)

A Calculus for Hybrid CSP. - Jiang Liu 009; Jidong Lv; Zhao Quan; Naijun Zhan; Hengjun Zhao; Chaochen Zhou; Liang Zou (APLAS, 2010)

Recent advances in program verification through computer algebra. - Lu Yang; Chaochen Zhou; Naijun Zhan; Bican Xia (Frontiers Comput. Sci. China, 2010)

Super-Dense Computation in Verification of Hybrid CSP Processes. - Dimitar P. Guelev; Shuling Wang 003; Naijun Zhan; Chaochen Zhou (FACS, 2013)