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
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
101*2004
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
172009
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
172005
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
82022
The model theory of m‐ordered differential fields
C Rivière
Mathematical Logic Quarterly 52 (4), 331-339, 2006
62006
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
62006
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. Mathématique 343 (3), 151-154, 2006
52006
Principle of differential lifting for theories of differential fields and Pierce-Pillay axiomatization
N Guzy, C Rivière
Notre Dame Journal of Formal Logic, 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
Questionnaire de recherche. Développement d'un outil d'aide à la densification de centralités villageoises en Wallonie (méthode de sélection)
L Vilain, C Rivière, D Laplume
2023
Outil CRC-Outil d'aide à la densification compacte de centralités villageoises en Wallonie.
L Vilain, D Laplume, C Rivière
2023
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
For an inclusive and multi-benefit flood risk management overview of existing tools, preamble of an action methodology for a french-belgian cross-bor der case study
E Coszach, V Becue, J Cenci, C Rivière
Cnnference Of the international Forum on Urbanism, 2022
2022
Développement d'un outil d'aide à la densification raisonnée des noyaux villageois en Wallonie
L Vilain, D Laplume, I De Smet, C Rivière
Printemps des Sciences 2022, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20