# Christian Michaux

According to our database

Collaborative distances:

^{1}, Christian Michaux authored at least 14 papers between 1973 and 2009.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2009

Cell decomposition and dimension function in the theory of closed ordered differential fields.

Ann. Pure Appl. Logic, 2009

2006

Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478].

J. Complexity, 2006

2005

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

J. Complexity, 2005

2004

On O-Minimal Hybrid Systems.

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

2001

Preface.

Ann. Pure Appl. Logic, 2001

2000

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

1998

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

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.

Ann. Pure Appl. Logic, 1996

1994

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

Theor. Comput. Sci., 1994

1993

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

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

1991

Stochastic Automata and Length Distributions of Rational Languages.

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1983

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

IFIP Congress, 1983

1973

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

PhD thesis, 1973