Zhou Chaochen

Publication Activity (10 Years)

Years Active: 1982-2006
Publications (10 Years): 0

Publications

Zhou Chaochen
Program Verification Through Computer Algebra. ICFEM (2006)
Zhou Chaochen
UNU and UNU/IIST. 10th Anniversary Colloquium of UNU/IIST (2002)
Rana Barua, Suman Roy, Zhou Chaochen
Completeness of Neighbourhood Logic. STACS (1999)
Dang Van Hung, Zhou Chaochen
Probabilistic Duration Calculus for Continuous Time. Formal Aspects Comput. 11 (1) (1999)
Zhou Chaochen
Duration Calculus, a Logical Approach to Real-Time Systems. AMAST (1998)
Hongguang Fu, Lu Yang, Zhou Chaochen
A computer-aided geometric approach to inverse kinematics. J. Field Robotics 15 (3) (1998)
Michael R. Hansen, Zhou Chaochen
Duration Calculus: Logical Foundations. Formal Aspects Comput. 9 (3) (1997)
Zhou Chaochen, Michael R. Hansen
An Adequate First Order Interval Logic. COMPOS (1997)
Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
Finite Divergence. Theor. Comput. Sci. 138 (1) (1995)
Zhou Chaochen, Michael R. Hansen, Peter Sestoft
Decidability and Undecidability Results for Duration Calculus. STACS (1993)
Zhou Chaochen, C. A. R. Hoare
A Model for Synchronous Switching Circuits and its Theory of Correctness. Formal Methods Syst. Des. 1 (1) (1992)
Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems (1992)
Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Duration Specifications for Shared Processors. FTRTFT (1992)
Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
A Calculus of Durations. Inf. Process. Lett. 40 (5) (1991)
Michael R. Hansen, Zhou Chaochen
Semantics and Completeness of Duration Calculus. REX Workshop (1991)
Michael R. Hansen, Zhou Chaochen
Specification & Verification of Higher Order Processes. MFCS (1990)
Zhou Chaochen
Specifying Communicating Systems with Temporal Logic. Temporal Logic in Specification (1987)
Zhou Chaochen
Weakest environment of communicating processes. AFIPS National Computer Conference (1982)