Chaochen Zhou - Concepedia

Author

Chaochen Zhou

Also Known As

Chao-Chen Zhou, Chaochen Zhou

Publications

410

Citations

H-Index

Concepts

All Affiliations

Chaochen Zhou is an author at Chinese Academy of Sciences specializing in computer science, engineering, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	60
2	Computer Science	3	3	60
3	Education	1	1	11
4	Computer Engineering	1	1	14
5	Systems Engineering	1	1	14

Chaochen Zhou

Publications

Citations

H-Index

Page 1

	Year	Citations
Recent advances in program verification through computer algebra Yang Lu, Chaochen Zhou, Naijun Zhan, Frontiers of Computer Science in China Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerification	2010	35
An overview of Duration Calculus Chaochen Zhou Journal of Computer Science and Technology Mathematical ProgrammingTemporal DynamicTemporal ComplexityDuration CalculusTimed System	1998	21
Towards a calculus of systems dependability Zhiming Liu, Anders P. Ravn, Erling V. Sørensen, Warwick Research Archive Portal (University of Warwick) EngineeringVerificationSystem ReliabilityDependable System ArchitectureFormal Verification	1992	14
Duration Calculi: An Overview (Invited Paper) Chaochen Zhou Formal Methods Duration CalculiEngineeringMeasurementCalibrationTiming Analysis	1993	11

Page 1