Christian Michaux

According to our database1, 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


  Loading...