Chaochen Zhou

MaRDI QIDQ351968zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A duration calculus with infinite intervals Fundamentals of Computation Theory	2022-12-09	Paper
Recent advances in program verification through computer algebra Frontiers of Computer Science in China	2013-07-04	Paper
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems Theoretical Aspects of Computing – ICTAC 2007	2008-09-17	Paper
Duration calculus. A formal approach to real-time systems. Monographs in Theoretical Computer Science. An EATCS Series	2004-03-28	Paper
Completeness of neighbourhood logic Journal Of Logic And Computation	2002-12-03	Paper
A computer-aided geometric approach to inverse kinematics	2000-02-14	Paper
scientific article; zbMATH DE number 512815 (Why is no real title available?)	1994-03-10	Paper
A model for synchronous switching circuits and its theory of correctness Formal Methods in System Design	1993-09-30	Paper
A calculus of durations Information Processing Letters	1992-06-28	Paper
Denote CSP with temporal formulas Journal of Computer Science and Technology	1990-01-01	Paper
scientific article; zbMATH DE number 4210119 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4001462 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3956422 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3900139 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Chaochen Zhou