On o-minimal hybrid systems T Brihaye, C Michaux, C Riviere, C Troestler International Workshop on Hybrid Systems: Computation and Control, 219-233, 2004 | 91* | 2004 |
Quelques remarques concernant la théorie des corps ordonnés différentiellement clos C Michaux, C Riviere Bulletin of the Belgian Mathematical Society-Simon Stevin 12 (3), 341-348, 2005 | 14 | 2005 |
Cell decomposition and dimension function in the theory of closed ordered differential fields T Brihaye, C Michaux, C Rivière Annals of Pure and Applied Logic 159 (1-2), 111-128, 2009 | 12 | 2009 |
Further notes on cell decomposition in closed ordered differential fields C Rivière Annals of Pure and Applied Logic 159 (1-2), 100-110, 2009 | 5 | 2009 |
The theory of closed ordered differential fields with m commuting derivations C Rivière Comptes Rendus Mathematique 343 (3), 151-154, 2006 | 5 | 2006 |
The model theory of m‐ordered differential fields C Rivière Mathematical Logic Quarterly 52 (4), 331-339, 2006 | 5 | 2006 |
Geometrical axiomatization for model complete theories of differential topological fields N Guzy, C Rivière Notre Dame Journal of Formal Logic 47 (3), 331-341, 2006 | 4 | 2006 |
Principle of differential lifting for theories of differential fields and Pierce-Pillay axiomatization N Guzy, C Rivière Notre-Dame J. Formal Logic 47, 331-341, 2006 | 3 | 2006 |
Dimension functions in the theory of closed ordered differential fields T Brihaye, C Michaux, C Riviere Submitted, 2006 | 1 | 2006 |
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version) P Bouyer, T Brihaye, M Randour, C Rivière, P Vandenhove arXiv preprint arXiv:2009.13152, 2020 | | 2020 |
Recherche locale et théorie des jeux appliqués à la création de typo-morphologies compactes Q Meurisse, I De Smet, H Mélot, D Laplume, T Brihaye, C Rivière, ... SHS Web of Conferences 82, 03004, 2020 | | 2020 |
Several remarks concerning the theory of closed ordered differential fields C Michaux, C Riviere BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN 12 (3), 341-348, 2005 | | 2005 |
Axiomatisation à la Pierce-Pillay pour les corps ordonnés différentiellement clos C MICHAUX, C RIVIÈRE | | 2002 |
Stochastic o-minimal hybrid systems T Brihaye, M Randour, C Riviere | | |
The theory of closed ordered differential fields with m commuting derivatives La théorie des corps ordonnés différentiellement clos munis de m dérivées commutant entre-elles C Riviere | | |
On existentially closed partial differential fields with an automorphism Les modeles existentiellement clos de la théorie des corpsa dérivées partielles munis d’un automorphisme N Guzy, C Riviere | | |