×

zbMATH — the first resource for mathematics

Michaux, Christian

Compute Distance To:
Author ID: michaux.christian Recent zbMATH articles by "Michaux, Christian"
Published as: Michaux, Christian; Michaux, C.
External Links: MGP
Documents Indexed: 28 Publications since 1985, including 4 Books
Reviewing Activity: 11 Reviews

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 157 times in 133 Documents Cited by Year
Logic and \(p\)-recognizable sets of integers. Zbl 0804.11024
Bruyère, Véronique; Hansel, Georges; Michaux, Christian; Villemaire, Roger
54
1994
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham’s and Semenov’s theorems. Zbl 0857.03003
Michaux, Christian; Villemaire, Roger
19
1996
A survey on real structural complexity theory. Zbl 0934.68046
Meer, Klaus; Michaux, Christian
15
1997
On o-minimal hybrid systems. Zbl 1135.93353
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric; Troestler, Christophe
12
2004
Une remarque à propos des machines sur \({\mathbb{R}}\) introduites par Blum, Shub et Smale. (A remark about the machines over \({\mathbb{R}}\) introduced by Blum, Shub and Smale). Zbl 0681.03019
Michaux, Christian
10
1989
Les ensembles k-reconnaissables sont définissables dans \(<{\mathbb{N}},+,V_ k>\). (The k-recognizable sets are definable in \(<{\mathbb{N}},+,V_ k>)\). Zbl 0614.03038
Michaux, Christian; Point, Françoise
7
1986
P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\). Zbl 0822.68033
Michaux, Christian
7
1994
On the expressiveness and decidability of o-minimal hybrid systems. Zbl 1101.68059
Brihaye, Thomas; Michaux, Christian
7
2005
Cell decomposition and dimension function in the theory of closed ordered differential fields. Zbl 1166.03015
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric
5
2009
A note on non-complete problems in \(NP_\mathbb{R}\). Zbl 0953.68058
Ben-David, S.; Meer, K.; Michaux, C.
5
2000
Some remarks concerning the theory of ordered differentially closed fields. (Quelques remarques concernant la théorie des corps ordonnés différentiellement clos.) Zbl 1104.03028
Michaux, Christian; Rivière, Cédric
4
2005
Ordered rings over which output sets are recursively enumerable sets. Zbl 0716.03039
Michaux, Christian
2
1991
Isomorphism theorem for BSS recursively enumerable sets over real closed fields. Zbl 0951.68035
Michaux, C.; Troestler, C.
2
2000
Some results on ordered differential fields with elimination of quantifiers. Zbl 0638.03029
Michaux, C.
2
1987
Open questions around Büchi and Presburger arithmetics. Zbl 0865.03008
Michaux, Christian; Villemaire, Roger
2
1996
Cobham’s theorem seen through Büchi’s theorem. Zbl 1422.68156
Michaux, Christian; Villemaire, Roger
2
1993
L’élimination linéaire dans les corps. (Linear elimination in skew fields). Zbl 0587.03024
Boffa, Maurice; Michaux, Christian; Point, Françoise; Van Praag, Paul
1
1985
Sur l’élimination des quantificateurs dans les anneaux différentiels. (Elimination of quantifiers in differential rings). Zbl 0595.03026
Michaux, Christian
1
1986
Cell decomposition and dimension function in the theory of closed ordered differential fields. Zbl 1166.03015
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric
5
2009
On the expressiveness and decidability of o-minimal hybrid systems. Zbl 1101.68059
Brihaye, Thomas; Michaux, Christian
7
2005
Some remarks concerning the theory of ordered differentially closed fields. (Quelques remarques concernant la théorie des corps ordonnés différentiellement clos.) Zbl 1104.03028
Michaux, Christian; Rivière, Cédric
4
2005
On o-minimal hybrid systems. Zbl 1135.93353
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric; Troestler, Christophe
12
2004
A note on non-complete problems in \(NP_\mathbb{R}\). Zbl 0953.68058
Ben-David, S.; Meer, K.; Michaux, C.
5
2000
Isomorphism theorem for BSS recursively enumerable sets over real closed fields. Zbl 0951.68035
Michaux, C.; Troestler, C.
2
2000
A survey on real structural complexity theory. Zbl 0934.68046
Meer, Klaus; Michaux, Christian
15
1997
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham’s and Semenov’s theorems. Zbl 0857.03003
Michaux, Christian; Villemaire, Roger
19
1996
Open questions around Büchi and Presburger arithmetics. Zbl 0865.03008
Michaux, Christian; Villemaire, Roger
2
1996
Logic and \(p\)-recognizable sets of integers. Zbl 0804.11024
Bruyère, Véronique; Hansel, Georges; Michaux, Christian; Villemaire, Roger
54
1994
P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\). Zbl 0822.68033
Michaux, Christian
7
1994
Cobham’s theorem seen through Büchi’s theorem. Zbl 1422.68156
Michaux, Christian; Villemaire, Roger
2
1993
Ordered rings over which output sets are recursively enumerable sets. Zbl 0716.03039
Michaux, Christian
2
1991
Une remarque à propos des machines sur \({\mathbb{R}}\) introduites par Blum, Shub et Smale. (A remark about the machines over \({\mathbb{R}}\) introduced by Blum, Shub and Smale). Zbl 0681.03019
Michaux, Christian
10
1989
Some results on ordered differential fields with elimination of quantifiers. Zbl 0638.03029
Michaux, C.
2
1987
Les ensembles k-reconnaissables sont définissables dans \(<{\mathbb{N}},+,V_ k>\). (The k-recognizable sets are definable in \(<{\mathbb{N}},+,V_ k>)\). Zbl 0614.03038
Michaux, Christian; Point, Françoise
7
1986
Sur l’élimination des quantificateurs dans les anneaux différentiels. (Elimination of quantifiers in differential rings). Zbl 0595.03026
Michaux, Christian
1
1986
L’élimination linéaire dans les corps. (Linear elimination in skew fields). Zbl 0587.03024
Boffa, Maurice; Michaux, Christian; Point, Françoise; Van Praag, Paul
1
1985
all top 5

Cited by 156 Authors

11 Meer, Klaus
11 Rigo, Michel
9 Point, Françoise
6 Charlier, Emilie
5 Boigelot, Bernard
5 Michaux, Christian
4 Bès, Alexis
4 Brihaye, Thomas
4 Bruyère, Véronique
4 Cucker, Felipe
4 Honkala, Juha
4 Shallit, Jeffrey O.
4 Ziegler, Martin
3 Bournez, Olivier
3 Brouette, Quentin
3 Durand, Fabien
3 Koiran, Pascal
3 Leroux, Jérôme
3 Villemaire, Roger
2 Araújo, Isabel M.
2 Aschenbrenner, Matthias
2 Baartse, Martijn
2 Bárány, Vince
2 Bedon, Nicolas
2 Berthé, Valérie
2 Brusten, Julien
2 Carton, Olivier
2 Casagrande, Alberto
2 Di Benedetto, Maria Domenica
2 Hansel, Georges
2 Kärki, Tomi
2 Korovina, Margarita Vladimirovna
2 Lacroix, Anne
2 Leroy, Julien
2 Maes, Arnaud
2 Matamala, Martín
2 Mishra, Bud
2 Piazza, Carla
2 Pillay, Anand
2 Pola, Giordano
2 Schaeffer, Luke
2 Vorob’ëv, Nikolaĭ N. jun.
2 Waxweiler, Laurent
1 Adamus, Elżbieta
1 Aldaz, Mikel
1 Allouche, Jean-Paul Simon
1 Arenas, Marcelo
1 Baranwal, Aseem R.
1 Barat, Guy
1 Barceló, Pablo
1 Bauer, Kerstin
1 Bélair, Luc
1 Bell, Jason P.
1 Bérard, Béatrice
1 Borri, Alessandro
1 Bourgade, Ménard
1 Bouyer, Patricia
1 Bresolin, Davide
1 Briquel, Irénée
1 Byerly, Robert E.
1 Capiluppi, Marta
1 Chapuis, Olivier
1 Chevalier, Fabrice
1 Cisternino, Célia
1 Cluckers, Raf
1 Conant, Gabriel
1 Cortez, Maria Isabel
1 Corvaja, Pietro
1 Cosnard, Michel Y.
1 Cousins, Greg
1 Crespo Vicente, Teresa
1 Cubides Kovacsics, Pablo
1 Damm, Werner
1 de Naurois, Paulin Jacobé
1 Degbomont, Jean-François
1 Delacourt, Martin
1 Delon, Françoise
1 Dolich, Alf
1 Dolich, Alfred
1 Duchêne, Eric
1 Dullerud, Geir E.
1 Epifanio, Chiara
1 Fagnot, Isabelle
1 Fernique, Thomas
1 Finkel, Alain
1 Gaßner, Christine
1 Gélinas, Maxime
1 Gentilini, Raffaella
1 Gomaa, Walid E.
1 Goodrick, John
1 Guo, Yingjun
1 Guzy, Nicolas
1 Haddad, Serge
1 Hajto, Zbigniew
1 Hare, Kathryn E.
1 Haskell, Deirdre
1 Heintz, Joos
1 Hemmerling, Armin
1 Hieronymi, Philipp
1 Ihlemann, Carsten
...and 56 more Authors
all top 5

Cited in 44 Serials

30 Theoretical Computer Science
11 Journal of Complexity
9 Annals of Pure and Applied Logic
6 Information and Computation
5 The Journal of Symbolic Logic
4 Theory of Computing Systems
3 International Journal of Foundations of Computer Science
3 Comptes Rendus. Mathématique. Académie des Sciences, Paris
3 RAIRO. Theoretical Informatics and Applications
2 Acta Informatica
2 Communications in Algebra
2 Information Processing Letters
2 Proceedings of the American Mathematical Society
2 Computational Complexity
2 Mathematical Logic Quarterly (MLQ)
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of Control
1 Advances in Mathematics
1 Annales de l’Institut Fourier
1 Applied Mathematics and Computation
1 Fundamenta Mathematicae
1 Journal of Number Theory
1 Mathematical Systems Theory
1 Notre Dame Journal of Formal Logic
1 Transactions of the American Mathematical Society
1 Advances in Applied Mathematics
1 Discrete & Computational Geometry
1 Journal of Automated Reasoning
1 European Journal of Operational Research
1 Linear Algebra and its Applications
1 Archive for Mathematical Logic
1 International Journal of Robust and Nonlinear Control
1 Journal de Théorie des Nombres de Bordeaux
1 Finite Fields and their Applications
1 The Electronic Journal of Combinatorics
1 Annals of Mathematics and Artificial Intelligence
1 RAIRO. Theoretical Informatics and Applications
1 The Journal of Logic and Algebraic Programming
1 Foundations of Computational Mathematics
1 Natural Computing
1 Mathematics in Computer Science
1 Proceedings of the American Mathematical Society. Series B
1 Actes des Rencontres du C.I.R.M.

Citations by Year