According to our database1, Christian Michaux authored at least 14 papers between 1973 and 2009.
Legend:Book In proceedings Article PhD thesis Other
Cell decomposition and dimension function in the theory of closed ordered differential fields.
Ann. Pure Appl. Logic, 2009
Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478].
J. Complexity, 2006
On the expressiveness and decidability of o-minimal hybrid systems.
J. Complexity, 2005
On O-Minimal Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Ann. Pure Appl. Logic, 2001
Isomorphism theorem for BSS recursively enumerable sets over real closed fields.
Theor. Comput. Sci., 2000
A Note on Non-complete Problems in NPImage.
J. Complexity, 2000
Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields.
Proceedings of the International Colloquium Universal Machines and Computations, 1998
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.
Ann. Pure Appl. Logic, 1996
P != NP over the Nonstandard Reals Implies P != NP over R.
Theor. Comput. Sci., 1994
Cobham's Ttheorem seen through Büchi's Theorem.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
Stochastic Automata and Length Distributions of Rational Languages.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
MIDOC: A Microcomputer System for the Management of Structured Documents.
IFIP Congress, 1983
Une information sur les matrices de covariance : la liaison-information.
PhD thesis, 1973