Une information sur les matrices de covariance : la liaison-information. - Christian Michaux (1973)

MIDOC: A Microcomputer System for the Management of Structured Documents. - Irène Kowarski; Christian Michaux (IFIP Congress, 1983)

Stochastic Automata and Length Distributions of Rational Languages. - Georges Hansel; Daniel Krob; Christian Michaux (MFCS, 1991)

Cobham's Ttheorem seen through Büchi's Theorem. - Christian Michaux; Roger Villemaire (ICALP, 1993)

P != NP over the Nonstandard Reals Implies P != NP over R. - Christian Michaux (Theor. Comput. Sci., 1994)

Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. - Christian Michaux; Roger Villemaire (Ann. Pure Appl. Log., 1996)

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

A Note on Non-complete Problems in NPImage. - Shai Ben-David; Klaus Meer; Christian Michaux (J. Complex., 2000)

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

Preface. - Catherine Finet; Christian Michaux (Ann. Pure Appl. Log., 2001)

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

On the expressiveness and decidability of o-minimal hybrid systems. - Thomas Brihaye; Christian Michaux (J. Complex., 2005)

Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]. - Thomas Brihaye; Christian Michaux (J. Complex., 2006)

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., 2009)