The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Zhou Chaochen Chaochen Zhou ( http://dblp.L3S.de/Authors/Zhou_Chaochen )

Publication years (Num. hits)
1982-1995 (18) 1997-2010 (15) 2013 (1)
Publication types (Num. hits)
article(10) book(1) inproceedings(23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 16 keywords

Results
Found 35 publication records. Showing 34 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou Super-Dense Computation in Verification of Hybrid CSP Processes. Search on Bibsonomy FACS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia Recent advances in program verification through computer algebra. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiang Liu 0009, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou A Calculus for Hybrid CSP. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs
1Zhou Chaochen Program Verification Through Computer Algebra. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou Program Verification by Using DISCOVERER. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
1Zhou Chaochen, Michael R. Hansen Duration Calculus - A Formal Approach to Real-Time Systems Search on Bibsonomy 2004   DOI  RDF
1Zhou Chaochen UNU and UNU/IIST. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rana Barua, Suman Roy 0001, Chaochen Zhou Completeness of neighbourhood logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dang Van Hung, Zhou Chaochen Probabilistic Duration Calculus for Continuous Time. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Probabilistic duration calculus, Real-time systems, Dependability, Stochastic processes, Duration calculus, Probabilistic automata
1Rana Barua, Suman Roy 0001, Zhou Chaochen Completeness of Neighbourhood Logic. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chaochen Zhou An overview of Duration Calculus. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Hongguang Fu, Lu Yang, Zhou Chaochen A computer-aided geometric approach to inverse kinematics. Search on Bibsonomy J. Field Robotics The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen Duration Calculus, a Logical Approach to Real-Time Systems. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael R. Hansen, Zhou Chaochen Duration Calculus: Logical Foundations. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, Michael R. Hansen An Adequate First Order Interval Logic. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Weidong He, Chaochen Zhou A Case Study of Optimization. Search on Bibsonomy Comput. J. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chaochen Zhou, Ji Wang, Anders P. Ravn A Formal Description of Hybrid Systems. Search on Bibsonomy Hybrid Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chaochen Zhou, Dang Van Hung, Xiaoshan Li A Duration Calculus with Infinite Intervals. Search on Bibsonomy FCT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen Finite Divergence. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Zheng Yuhua, Chaochen Zhou A Formal Proof of the Deadline Driven Scheduler. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Chaochen Zhou Linear Duration Invariants. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya Formal Design of Hybrid Systems. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Chaochen Zhou Duration Calculi: An Overview (Invited Paper). Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, Michael R. Hansen, Peter Sestoft Decidability and Undecidability Results for Duration Calculus. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou Specification Of Embedded, Real-time Systems. Search on Bibsonomy RTS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, C. A. R. Hoare A Model for Synchronous Switching Circuits and its Theory of Correctness. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, Anders P. Ravn, Michael R. Hansen An Extended Duration Calculus for Hybrid Real-Time Systems. Search on Bibsonomy Hybrid Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel Duration Specifications for Shared Processors. Search on Bibsonomy FTRTFT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn A Calculus of Durations. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Michael R. Hansen, Zhou Chaochen Semantics and Completeness of Duration Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic
1Michael R. Hansen, Zhou Chaochen Specification & Verification of Higher Order Processes. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen Specifying Communicating Systems with Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen Weakest environment of communicating processes. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license