Chaochen Zhou

Zhou Chaochen

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2010
j9		Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia: Recent advances in program verification through computer algebra. Frontiers of Computer Science in China 4(1): 1-16 (2010)
c21		Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou: A Calculus for Hybrid CSP. APLAS 2010: 1-15
	2007
c20		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
c19		Zhou Chaochen: Program Verification Through Computer Algebra. ICFEM 2006: 1
	2005
c18		Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
	2002
c17		Zhou Chaochen: UNU and UNU/IIST. 10th Anniversary Colloquium of UNU/IIST 2002: 26-33
	2000
j8		Rana Barua, Suman Roy, Chaochen Zhou: Completeness of neighbourhood logic. J. Log. Comput. 10(2): 271-295 (2000)
	1999
j7		Dang Van Hung, Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. Formal Asp. Comput. 11(1): 21-44 (1999)
c16		Rana Barua, Suman Roy, Zhou Chaochen: Completeness of Neighbourhood Logic. STACS 1999: 521-530
	1998
j6		Chaochen Zhou: An overview of Duration Calculus. J. Comput. Sci. Technol. 13(6): 552 (1998)
j5		Fu Hongguang, Yang Lu, Zhou Chaochen: A computer-aided geometric approach to inverse kinematics. J. Field Robotics 15(3): 131-143 (1998)
c15		Zhou Chaochen: Duration Calculus, a Logical Approach to Real-Time Systems. AMAST 1998: 1-7
	1997
j4		Michael R. Hansen, Zhou Chaochen: Duration Calculus: Logical Foundations. Formal Asp. Comput. 9(3): 283-330 (1997)
c14		Zhou Chaochen, Michael R. Hansen: An Adequate First Order Interval Logic. COMPOS 1997: 584-608
	1995
j3		Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen: Finite Divergence. Theor. Comput. Sci. 138(1): 113-139 (1995)
c13		Chaochen Zhou, Dang Van Hung, Xiaoshan Li: A Duration Calculus with Infinite Intervals. FCT 1995: 16-41
c12		Zhou Chaochen, Wang Ji, Anders P. Ravn: A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530
	1994
c11		Chaochen Zhou: Linear Duration Invariants. FTRTFT 1994: 86-109
c10		Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya: Formal Design of Hybrid Systems. FTRTFT 1994: 738-755
c9		Zheng Yuhua, Chaochen Zhou: A Formal Proof of the Deadline Driven Scheduler. FTRTFT 1994: 756-775
	1993
c8		Chaochen Zhou: Duration Calculi: An Overview (Invited Paper). Formal Methods in Programming and Their Applications 1993: 256-266
c7		Zhou Chaochen, Michael R. Hansen, Peter Sestoft: Decidability and Undecidability Results for Duration Calculus. STACS 1993: 58-68
	1992
j2		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)
c6		Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. FTRTFT 1992: 21-32
c5		Zhou Chaochen, Anders P. Ravn, Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
	1991
j1		Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn: A Calculus of Durations. Inf. Process. Lett. 40(5): 269-276 (1991)
c4		Michael R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus. REX Workshop 1991: 209-225
	1990
c3		Michael R. Hansen, Zhou Chaochen: Specification & Verification of Higher Order Processes. MFCS 1990: 322-328
	1987
c2		Zhou Chaochen: Specifying Communicating Systems with Temporal Logic. Temporal Logic in Specification 1987: 304-323
	1982
c1		Zhou Chaochen: Weakest environment of communicating processes. AFIPS National Computer Conference 1982: 679-690

Coauthor Index

1	Rana Barua	[j8] [c16]
2	Yinghua Chen	[c20]
3	Michael R. Hansen (Michael Rygaard Hansen)	[j4] [c14] [j3] [c7] [c6] [c5] [c4] [c3]
4	C. A. R. Hoare (Tony Hoare)	[j2] [j1]
5	Fu Hongguang	[j5]
6	Dang Van Hung	[j7] [c13]
7	Wang Ji	[c12]
8	Xiaoshan Li	[c13]
9	Jiang Liu (Jimmy Jiang Liu)	[c21]
10	Yang Lu	[j5]
11	Jidong Lv	[c21]
12	Paritosh K. Pandya	[j3] [c10]
13	Zhao Quan	[c21]
14	Anders P. Ravn	[c12] [c6] [c5] [j1]
15	Hans Rischel	[c6]
16	Suman Roy	[j8] [c16]
17	Peter Sestoft	[c7]
18	Ji Wang	[c10]
19	Bican Xia	[j9] [c20] [c18]
20	Lu Yang	[j9] [c20] [c18]
21	Xinyao Yu	[c10]
22	Zheng Yuhua	[c9]
23	Naijun Zhan	[j9] [c21] [c20] [c18]
24	Hengjun Zhao	[c21]
25	Liang Zou	[c21]

Colors in the list of coauthors

Last update Fri May 24 14:12:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page