Chaochen Zhou

Zhou Chaochen

	2007
26		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		Zhou Chaochen: Program Verification Through Computer Algebra. ICFEM 2006: 1
	2005
24		Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
	2002
23		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		Rana Barua, Suman Roy, Zhou Chaochen: Completeness of Neighbourhood Logic. STACS 1999: 521-530
20		Dang Van Hung, Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. Formal Asp. Comput. 11(1): 21-44 (1999)
	1998
19		Zhou Chaochen: Duration Calculus, a Logical Approach to Real-Time Systems. AMAST 1998: 1-7
	1997
18		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		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		Zhou Chaochen: Weakest environment of communicating processes. AFIPS National Computer Conference 1982: 679-690

Coauthor Index

1	Rana Barua	[21] [22]
2	Yinghua Chen	[26]
3	Michael R. Hansen	[3] [5] [7] [8] [9] [14] [17] [18]
4	C. A. R. Hoare (Tony Hoare)	[4] [6]
5	Dang Van Hung	[16] [20]
6	Wang Ji	[15]
7	Xiaoshan Li	[16]
8	Paritosh K. Pandya	[13] [14]
9	Anders P. Ravn	[4] [7] [8] [15]
10	Hans Rischel	[8]
11	Suman Roy	[21] [22]
12	Peter Sestoft	[9]
13	Ji Wang	[13]
14	Bican Xia	[24] [26]
15	Lu Yang	[24] [26]
16	Xinyao Yu	[13]
17	Zheng Yuhua	[12]
18	Naijun Zhan	[24] [26]

Colors in the list of coauthors