Cédric Rivière

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 3

Top Topics

Confidence Intervals

Stochastic Systems

Top Venues

Publications

Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of stochastic systems and its application to hybrid models. Inf. Comput. 289 (Part) (2022)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of Stochastic Systems and its Application to Hybrid Models. GandALF (2020)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version). CoRR (2020)
Cédric Rivière
Further notes on cell decomposition in closed ordered differential fields. Ann. Pure Appl. Log. 159 (1-2) (2009)
Thomas Brihaye, Christian Michaux, Cédric Rivière
Cell decomposition and dimension function in the theory of closed ordered differential fields. Ann. Pure Appl. Log. 159 (1-2) (2009)
Nicolas Guzy, Cédric Rivière
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields. Notre Dame J. Formal Log. 47 (3) (2006)
Cédric Rivière
-ordered differential fields. Math. Log. Q. 52 (4) (2006)
Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler
On O-Minimal Hybrid Systems. HSCC (2004)