|
Search the dblp DataBase
Zhou Chaochen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zhou Chaochen
Duration Calculus, a Logical Approach to Real-Time Systems. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:1-7 [Conf]
- Zhou Chaochen, Michael R. Hansen
An Adequate First Order Interval Logic. [Citation Graph (0, 0)][DBLP] COMPOS, 1997, pp:584-608 [Conf]
- Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Duration Specifications for Shared Processors. [Citation Graph (0, 0)][DBLP] FTRTFT, 1992, pp:21-32 [Conf]
- Zhou Chaochen, Wang Ji, Anders P. Ravn
A Formal Description of Hybrid Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1995, pp:511-530 [Conf]
- Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
An Extended Duration Calculus for Hybrid Real-Time Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1992, pp:36-59 [Conf]
- Zhou Chaochen
Program Verification Through Computer Algebra. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:1- [Conf]
- Michael R. Hansen, Zhou Chaochen
Specification & Verification of Higher Order Processes. [Citation Graph (0, 0)][DBLP] MFCS, 1990, pp:322-328 [Conf]
- Michael R. Hansen, Zhou Chaochen
Semantics and Completeness of Duration Calculus. [Citation Graph (0, 0)][DBLP] REX Workshop, 1991, pp:209-225 [Conf]
- Rana Barua, Suman Roy, Zhou Chaochen
Completeness of Neighbourhood Logic. [Citation Graph (0, 0)][DBLP] STACS, 1999, pp:521-530 [Conf]
- Zhou Chaochen, Michael R. Hansen, Peter Sestoft
Decidability and Undecidability Results for Duration Calculus. [Citation Graph (0, 0)][DBLP] STACS, 1993, pp:58-68 [Conf]
- Zhou Chaochen
Specifying Communicating Systems with Temporal Logic. [Citation Graph (0, 0)][DBLP] Temporal Logic in Specification, 1987, pp:304-323 [Conf]
- Zhou Chaochen
UNU and UNU/IIST. [Citation Graph (0, 0)][DBLP] 10th Anniversary Colloquium of UNU/IIST, 2002, pp:26-33 [Conf]
- Michael R. Hansen, Zhou Chaochen
Duration Calculus: Logical Foundations. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:3, pp:283-330 [Journal]
- Dang Van Hung, Zhou Chaochen
Probabilistic Duration Calculus for Continuous Time. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1999, v:11, n:1, pp:21-44 [Journal]
- Zhou Chaochen, C. A. R. Hoare
A Model for Synchronous Switching Circuits and its Theory of Correctness. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1992, v:1, n:1, pp:7-28 [Journal]
- Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
A Calculus of Durations. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1991, v:40, n:5, pp:269-276 [Journal]
- Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
Finite Divergence. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:138, n:1, pp:113-139 [Journal]
Weakest environment of communicating processes. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|