Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. - Christian Michaux; Christophe Troestler (MCU (1), 1998)

Isomorphism theorem for BSS recursively enumerable sets over real closed fields. - Christian Michaux; Christophe Troestler (Theor. Comput. Sci., 2000)

On O-Minimal Hybrid Systems. - Thomas Brihaye; Christian Michaux; Cédric Rivière; Christophe Troestler (HSCC, 2004)

A mountain pass algorithm with projector. - N. Tacheny; Christophe Troestler (J. Comput. Appl. Math., 2012)