On O-Minimal Hybrid Systems. - Thomas Brihaye; Christian Michaux; Cédric Rivière; Christophe Troestler (HSCC, 2004)

The model theory of m-ordered differential fields. - Cédric Rivière (Math. Log. Q., 2006)

Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields. - Nicolas Guzy; Cédric Rivière (Notre Dame J. Formal Log., 2006)

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)

Further notes on cell decomposition in closed ordered differential fields. - Cédric Rivière (Ann. Pure Appl. Log., 2009)

Decisiveness of Stochastic Systems and its Application to Hybrid Models. - Patricia Bouyer; Thomas Brihaye; Mickael Randour; Cédric Rivière; Pierre Vandenhove (GandALF, 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)