Cédric Rivière

dblp:37/1925 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
1since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2022 Decisiveness of stochastic systems and its application to hybrid models
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Inf. Comput.4
2009 Cell decomposition and dimension function in the theory of closed ordered differential fields
Thomas Brihaye, Christian Michaux, Cédric Rivière
Ann. Pure Appl. Log.3
2009 Further notes on cell decomposition in closed ordered differential fields
Cédric Rivière
Ann. Pure Appl. Log.1