Chaochen Zhou

Zhou Chaochen

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

Coauthor Index

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

Colors in the list of coauthors