| |
| 2004 | ||
|---|---|---|
| 3 | EE | Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler: On O-Minimal Hybrid Systems. HSCC 2004: 219-233 |
| 2000 | ||
| 2 | EE | Christian Michaux, Christophe Troestler: Isomorphism theorem for BSS recursively enumerable sets over real closed fields. Theor. Comput. Sci. 231(2): 253-273 (2000) |
| 1998 | ||
| 1 | Christian Michaux, Christophe Troestler: Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. MCU (1) 1998: 116-139 | |
| 1 | Thomas Brihaye | [3] |
| 2 | Christian Michaux | [1] [2] [3] |
| 3 | Cédric Rivière | [3] |