Chaochen Zhou

From MaRDI portal
Person:351968

Available identifiers

zbMath Open zhou.chaochenMaRDI QIDQ351968

List of research outcomes





PublicationDate of PublicationType
A duration calculus with infinite intervals2022-12-09Paper
Recent advances in program verification through computer algebra2013-07-04Paper
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems2008-09-17Paper
Duration calculus. A formal approach to real-time systems.2004-03-28Paper
Completeness of neighbourhood logic2002-12-03Paper
A computer-aided geometric approach to inverse kinematics2000-02-14Paper
https://portal.mardi4nfdi.de/entity/Q42815081994-03-10Paper
A model for synchronous switching circuits and its theory of correctness1993-09-30Paper
A calculus of durations1992-06-28Paper
Denote CSP with temporal formulas1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33587171990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47274101986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37255331985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36786541984-01-01Paper

Research outcomes over time

This page was built for person: Chaochen Zhou

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:351968&oldid=6729005"
Powered by MediaWiki