Christian Michaux

ORCID

Publication Activity (10 Years)

Years Active: 1983-2009
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Thomas Brihaye, Christian Michaux, Cédric Rivière
Cell decomposition and dimension function in the theory of closed ordered differential fields. Ann. Pure Appl. Log. 159 (1-2) (2009)
Thomas Brihaye, Christian Michaux
Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]. J. Complex. 22 (3) (2006)
Thomas Brihaye, Christian Michaux
On the expressiveness and decidability of o-minimal hybrid systems. J. Complex. 21 (4) (2005)
Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler
On O-Minimal Hybrid Systems. HSCC (2004)
Catherine Finet, Christian Michaux
Preface. Ann. Pure Appl. Log. 111 (1-2) (2001)
Shai Ben-David, Klaus Meer, Christian Michaux
A Note on Non-complete Problems in NPImage. J. Complex. 16 (1) (2000)
Christian Michaux, Christophe Troestler
Isomorphism theorem for BSS recursively enumerable sets over real closed fields. Theor. Comput. Sci. 231 (2) (2000)
Christian Michaux, Christophe Troestler
Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. MCU (1) (1998)
Christian Michaux, Roger Villemaire
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. Ann. Pure Appl. Log. 77 (3) (1996)
Christian Michaux
P != NP over the Nonstandard Reals Implies P != NP over R. Theor. Comput. Sci. 133 (1) (1994)
Christian Michaux, Roger Villemaire
Cobham's Ttheorem seen through Büchi's Theorem. ICALP (1993)
Georges Hansel, Daniel Krob, Christian Michaux
Stochastic Automata and Length Distributions of Rational Languages. MFCS (1991)
Irène Kowarski, Christian Michaux
MIDOC: A Microcomputer System for the Management of Structured Documents. IFIP Congress (1983)

Christian Michaux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Christian Michaux