Christian Michaux

15 papers A* 1B 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2011 — book
Finite and Algorithmic Model Theory.
Javier Esparza, Christian Michaux, Charles Steinhorn
2009 J jnl
Cell decomposition and dimension function in the theory of closed ordered differential fields.
Ann. Pure Appl. Log.
Thomas Brihaye, Christian Michaux, Cédric Rivière
2006 J jnl
Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478].
J. Complex.
Thomas Brihaye, Christian Michaux
2005 J jnl
On the expressiveness and decidability of o-minimal hybrid systems.
J. Complex.
Thomas Brihaye, Christian Michaux
2004 — conf
On O-Minimal Hybrid Systems.
HSCC
Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler
2001 J jnl
Preface.
Ann. Pure Appl. Log.
Catherine Finet, Christian Michaux
2000 J jnl
A Note on Non-complete Problems in NPImage.
J. Complex.
Shai Ben-David, Klaus Meer, Christian Michaux
2000 J jnl
Isomorphism theorem for BSS recursively enumerable sets over real closed fields.
Theor. Comput. Sci.
Christian Michaux, Christophe Troestler
1998 — conf
Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields.
MCU (1)
Christian Michaux, Christophe Troestler
1996 J jnl
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.
Ann. Pure Appl. Log.
Christian Michaux, Roger Villemaire
1994 J jnl
P != NP over the Nonstandard Reals Implies P != NP over R.
Theor. Comput. Sci.
Christian Michaux
1993 A* conf
Cobham's Ttheorem seen through Büchi's Theorem.
ICALP
Christian Michaux, Roger Villemaire
1991 B conf
Stochastic Automata and Length Distributions of Rational Languages.
MFCS
Georges Hansel, Daniel Krob, Christian Michaux
1983 — conf
MIDOC: A Microcomputer System for the Management of Structured Documents.
IFIP Congress
Irène Kowarski, Christian Michaux
1973 — —
Une information sur les matrices de covariance : la liaison-information.
Christian Michaux