Follow
cedric riviere
cedric riviere
Verified email at umons.ac.be
Title
Cited by
Cited by
Year
On o-minimal hybrid systems
T Brihaye, C Michaux, C Riviere, C Troestler
International Workshop on Hybrid Systems: Computation and Control, 219-233, 2004
101*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
162005
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
142009
Decisiveness of stochastic systems and its application to hybrid models
P Bouyer, T Brihaye, M Randour, C Rivière, P Vandenhove
Information and Computation 289, 104861, 2022
62022
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
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
12020
Dimension functions in the theory of closed ordered differential fields
T Brihaye, C Michaux, C Riviere
Submitted, 2006
12006
DEVELOPMENT OF A TOOL TO HELP THE REASONED DENSIFICATION OF VILLAGE CORES IN WALLONIA, BELGIUM
L VILAIN, D LAPLUME, I DE SMET, C RIVIERE
Sustainable Development and Planning XII 258, 199, 2022
2022
Development of a tool to help the reasoned densification of village cores in Wallonia
L Vilain, D Laplume, I De Smet, C Rivière
WIT Transactions on Ecology and the Environment 258, 2022
2022
Building functionality assignment in dense and compact blocks using graph theory and game theory
Q Meurisse, S Koutra, H Mélot, D Laplume, V Becue, T Brihaye, J Cenci, ...
Urban Complex Systems 2021, 2022
2022
The compactness in answer to urban sprawl: development of a tool to help the reasoned densification of village cores in Wallonia
L Vilain, D Laplume, I De Smet, C Rivière
Designing cities in a changing world: towards an Urban One Health approach, 2021
2021
TOWARDS AN ABSORPTION STRATEGY FOR THE MANAGEMENT OF FLOOD RISK: STUDY OF THE STRATEGY OF RESISTANCE AND THE ARTIFICIALIZATION OF SOILS IN THE FRANCO–BELGIAN CROSS-BORDER TERRITORY
E Coszach, V Becue, J Cenci, I DE SMET, S KHAINAAR, P Laudati, ...
WIT Transactions on Ecology and the Environment 250, 197-208, 2021
2021
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
Compacts Typo-Morphologies by Use of Local Search Methods
I De Smet, Q Meurisse, V Becue, T Brihaye, J Cenci, D Laplume, H Mélot, ...
The system can't perform the operation now. Try again later.
Articles 1–20