On o-minimal hybrid systems T Brihaye, C Michaux, C Riviere, C Troestler Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004 | 102* | 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 | 18 | 2009 |
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 | 18 | 2005 |
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 | 8 | 2022 |
The model theory of m‐ordered differential fields C Rivière Mathematical Logic Quarterly 52 (4), 331-339, 2006 | 8 | 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 | 7 | 2006 |
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 | 6 | 2009 |
The theory of closed ordered differential fields with m commuting derivations C Rivière Comptes Rendus. Mathématique 343 (3), 151-154, 2006 | 6 | 2006 |
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 | 3 | 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 | 1 | 2020 |
Dimension functions in the theory of closed ordered differential fields T Brihaye, C Michaux, C Riviere Submitted, 2006 | 1 | 2006 |
Outil CRC version 1.5-développement d'un outil d'aide à la décision pour la définition de centralités villageoises en Wallonie. L Vilain, D Laplume, C Rivière | | 2024 |
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 |
Building functionality assignment in dense and compact blocks using graph theory and game theory Q Meurisse Urban Complex Systems 2021, 2021 | | 2021 |