Cédric Rivière

According to our database, Cédric Rivière authored at least 7 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version).

Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove

CoRR, 2020

Decisiveness of Stochastic Systems and its Application to Hybrid Models.

Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2009

Further notes on cell decomposition in closed ordered differential fields.

Cédric Rivière

Ann. Pure Appl. Log., 2009

Cell decomposition and dimension function in the theory of closed ordered differential fields.

Thomas Brihaye, Christian Michaux, Cédric Rivière

Ann. Pure Appl. Log., 2009

2006

Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.

Nicolas Guzy, Cédric Rivière

Notre Dame J. Formal Log., 2006

The model theory of <i>m</i>-ordered differential fields.

Cédric Rivière

Math. Log. Q., 2006

2004

On O-Minimal Hybrid Systems.

Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004