Cédric Rivière

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
Decisiveness of stochastic systems and its application to hybrid models Information and Computation	2022-12-08	Paper
Decisiveness of stochastic systems and its application to hybrid models (available as arXiv preprint)	2022-01-11	Paper
Decisiveness of stochastic systems and its application to hybrid models	2022-01-11	Paper
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)	2020-09-28	Paper
Decisiveness of Stochastic Systems and its Application to Hybrid Models (available as arXiv preprint)	2020-01-13	Paper
Further notes on cell decomposition in closed ordered differential fields Annals of Pure and Applied Logic	2009-06-10	Paper
Cell decomposition and dimension function in the theory of closed ordered differential fields Annals of Pure and Applied Logic	2009-06-10	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Geometrical axiomatization for model complete theories of differential topological fields Notre Dame Journal of Formal Logic	2007-02-20	Paper
The theory of closed ordered differential fields with \(m\) commuting derivations Comptes Rendus. Mathématique. Académie des Sciences, Paris	2006-09-28	Paper
Some remarks concerning the theory of ordered differentially closed fields. Bulletin of the Belgian Mathematical Society - Simon Stevin	2006-09-06	Paper
The model theory of <i>m</i>‐ordered differential fields Mathematical Logic Quarterly	2006-08-30	Paper

Research outcomes over time

This page was built for person: Cédric Rivière