cedric riviere
cedric riviere
Adresse e-mail validée de umons.ac.be
Titre
Citée par
Citée par
Année
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
142005
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
122009
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
52009
The theory of closed ordered differential fields with m commuting derivations
C Rivière
Comptes Rendus Mathematique 343 (3), 151-154, 2006
52006
The model theory of m‐ordered differential fields
C Rivière
Mathematical Logic Quarterly 52 (4), 331-339, 2006
52006
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
42006
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
32006
Dimension functions in the theory of closed ordered differential fields
T Brihaye, C Michaux, C Riviere
Submitted, 2006
12006
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16