Christian Michaux

According to our database, Christian Michaux authored at least 14 papers between 1973 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

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

2006

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

2005

On the expressiveness and decidability of o-minimal hybrid systems.

Thomas Brihaye, Christian Michaux

J. Complex., 2005

2004

On O-Minimal Hybrid Systems.

Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2001

Preface.

Catherine Finet, Christian Michaux

Ann. Pure Appl. Log., 2001

2000

Isomorphism theorem for BSS recursively enumerable sets over real closed fields.

Christian Michaux, Christophe Troestler

Theor. Comput. Sci., 2000

A Note on Non-complete Problems in NPImage.

Shai Ben-David, Klaus Meer, Christian Michaux

J. Complex., 2000

1998

Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields.

Christian Michaux, Christophe Troestler

Proceedings of the International Colloquium Universal Machines and Computations, 1998

1996

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

1994

P != NP over the Nonstandard Reals Implies P != NP over R.

Christian Michaux

Theor. Comput. Sci., 1994

1993

Cobham's Ttheorem seen through Büchi's Theorem.

Christian Michaux, Roger Villemaire

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1991

Stochastic Automata and Length Distributions of Rational Languages.

Georges Hansel, Daniel Krob, Christian Michaux

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1983

MIDOC: A Microcomputer System for the Management of Structured Documents.

Irène Kowarski, Christian Michaux

Proceedings of the Information Processing 83, 1983

1973

Une information sur les matrices de covariance : la liaison-information.

Christian Michaux

PhD thesis, 1973