Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Chaochen Zhou
Zhou Chaochen
2010 – today
- 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
2000 – 2009
- 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]
- 2005
- [c18]Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
- 2002
- [c17]
- 2000
- [j8]Rana Barua, Suman Roy, Chaochen Zhou: Completeness of neighbourhood logic. J. Log. Comput. 10(2): 271-295 (2000)
1990 – 1999
- 1999
- [j7]Dang Van Hung, Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. Formal Asp. Comput. 11(1): 21-44 (1999)
- [c16]
- 1998
- [j6]
- [j5]Fu Hongguang, Yang Lu, Zhou Chaochen: A computer-aided geometric approach to inverse kinematics. J. Field Robotics 15(3): 131-143 (1998)
- [c15]
- 1997
- [j4]Michael R. Hansen, Zhou Chaochen: Duration Calculus: Logical Foundations. Formal Asp. Comput. 9(3): 283-330 (1997)
- [c14]
- 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]
- [c10]Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya: Formal Design of Hybrid Systems. FTRTFT 1994: 738-755
- [c9]
- 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
1980 – 1989
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-15 22:14 CET by the dblp team