Zhou Chaochen | Academic Influence

Zhou Chaochen's AcademicInfluence.com Rankings

Zhou Chaochen

Computer Science

#1038

World Rank

#1076

Historical Rank

Artificial Intelligence

#917

World Rank

#934

Historical Rank

Machine Learning

#2476

World Rank

#2508

Historical Rank

Computational Linguistics

#2785

World Rank

#2816

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Zhou Chaochen's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Zhou Chaochen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Zhou Chaochen is a Chinese computer scientist. Zhou was born in Nanhui, Shanghai, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University and as a postgraduate at the Institute of Computing Technology, Chinese Academy of Sciences .

(See a Problem?)

Zhou Chaochen's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Calculus of Durations (1991) (886)
An Extended Duration Calculus for Hybrid Real-Time Systems (1992) (182)
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris) (2004) (143)
A Formal Description of Hybrid Systems (1996) (127)
Decidability and Undecidability Results for Duration Calculus (1993) (115)
Duration calculus: Logical foundations (1997) (109)
A Calculus for Hybrid CSP (2010) (97)
Semantics and Completeness of Duration Calculus (1991) (91)
Linear Duration Invariants (1994) (81)
An Adequate First Order Interval Logic (1997) (77)
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems (2007) (65)
Duration Specifications for Shared Processors (1992) (53)
A Formal Proof of the Deadline Driven Scheduler (1994) (52)
A Duration Calculus with Infinite Intervals (1995) (51)
Duration Calculus (2004) (44)
A Probabilistic Duration Calculus (1992) (40)
Recent advances in program verification through computer algebra (2010) (38)
Specification Of Embedded, Real-time Systems (1992) (37)
Formal Design of Hybrid Systems (1994) (32)
Finite Divergence (1995) (32)
Program Verification by Using DISCOVERER (2005) (31)
Towards a calculus of systems dependability (1992) (28)
Completeness of Neighbourhood Logic (1999) (23)
Duration Calculus, a Logical Approach to Real-Time Systems (1998) (20)
Probabilistic Duration Calculus for Continuous Time (1999) (18)
A model for synchronous switching circuits and its theory of correctness (1992) (15)
A Case Study of Optimization (1995) (15)
Duration Calculi: An Overview (Invited Paper) (1993) (12)
Specifying Communicating Systems with Temporal Logic (1987) (7)
Super-Dense Computation in Verification of Hybrid CSP Processes (2013) (5)
Weakest environment of communicating processes (1982) (4)
An overview of Duration Calculus (1998) (3)
A computer-aided geometric approach to inverse kinematics (1998) (3)
Specification & Verification of Higher Order Processes (1990) (2)
Program Verification Through Computer Algebra (2006) (1)
Denote CSP with temporal formulas (2008) (0)
UNU and UNU/IIST (2002) (0)

This paper list is powered by the following services:

Other Resources About Zhou Chaochen

en.wikipedia.org

What Schools Are Affiliated With Zhou Chaochen?

Zhou Chaochen is affiliated with the following schools: