BRIHAYE T., MICHAUX C., RIVIERE C., TROESTLER C., On O-minimal hybrid system, Proceedings of HSCC 2004, Lect. Notes in Computer Science 2993, pp 219-233, Springer Verlag (2004).

MICHAUX C., RIVIERE C., Quelques remarques concernant la théorie des corps ordonnés différentiellement clos, Bull. Soc. Math. Belgique, 12 (3), pp. 341-348 (2005).

GUZY N., RIVIERE C., Geometrical axiomatization for model complete theories of differential topological fields, Notre-Dame Journal of Formal Logic 47 (3) , pp. 331-341 (2006).

RIVIERE C., The theory of closed ordered differential fields with m commuting derivatives, C.R.A.S. 343 (3), pp. 151-154 (2006).

RIVIERE C., The model theory of m-ordered differential fields, Math. Logic Quarterly 52 (4), pp. 331-339 (2006).

BRIHAYE T., MICHAUX C., RIVIERE C., Cell decomposition and dimension function in the theory of closed ordered differential fields, Annals of Pure and Applied Logic 159, pp. 111-128 (2009).

RIVIERE C., Further notes on cell decomposition in the theory of closed ordered differential fields, Annals of Pure and Applied Logic 159, pp. 100-110 (2009).

GUZY N., RIVIERE C., On existentially closed partial differential fields with an automorphism, preprint (4 pages).