Concepedia

Christian Michaux

CM

8

Publications

452

Citations

8

H-Index

1991

Active since

Affiliations

University of Mons(Current)

Christian Michaux is an author at University of Mons specializing in engineering, computer science, and discrete mathematics.

Top concepts

EngineeringComputer ScienceDiscrete MathematicsFormal MethodsAutomated ReasoningComputational ComplexityComplexityProof ComplexityIntegral GeometryFormal Verification

Publications per year

1991–2009

8

Publications

8

Logic and {$p$}-recognizable sets of integers

Véronique Bruyàre, G. Hansel, Christian Michaux et al. · Bulletin of the Belgian Mathematical Society - Simon Stevin · 1994 · 248 citations

Computational Logic, Combinatorics On Word, Computational Number Theory +11

Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems

Christian Michaux, Roger Villemaire · Annals of Pure and Applied Logic · 1996 · 60 citations

Combinatorics On Word, New Proofs, Computational Number Theory +5

A survey on real structural complexity theory

Klaus Meer, Christian Michaux · Bulletin of the Belgian Mathematical Society - Simon Stevin · 1997 · 48 citations

Mathematical Structure, Real Numbers, Engineering +11

On the expressiveness and decidability of o-minimal hybrid systems

Thomas Brihaye, Christian Michaux · Journal of Complexity · 2004 · 46 citations

Formal Specification, Engineering, Automated Reasoning +6

P≠NP over the nonstandard reals implies P≠NP over R

Christian Michaux · Theoretical Computer Science · 1994 · 14 citations

Rows per page

1–5 of 8