| Logic and p-recognizable sets of integers. V Bruyère, G Hansel, C Michaux, R Villemaire Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994 | 354 | 1994 |
| Presburger arithmetic and recognizability of sets of natural numbers by automata: new proofs of Cobham's and Semenov's theorems C Michaux, R Villemaire Ann. Pure Appl. Logic 77 (3), 251-277, 1996 | 83 | 1996 |
| On the expressiveness and decidability of o-minimal hybrid systems T Brihaye, C Michaux Journal of complexity 21 (4), 447-478, 2005 | 69* | 2005 |
| On o-minimal hybrid systems T Brihaye, C Michaux, C Riviere, C Troestler International Workshop on Hybrid Systems: Computation and Control, 219-233, 2004 | 67 | 2004 |
| A survey on real structural complexity theory K Meer, C Michaux Bulletin of the Belgian Mathematical Society Simon Stevin 4 (1), 113-148, 1997 | 64 | 1997 |
| Une remarquea propos des machines sur R introduites par Blum, Shub et Smale C Michaux CR Acad. Sci. Paris 309, 435-437, 1989 | 52 | 1989 |
| P≠ NP over the nonstandard reals implies P≠ NP over R C Michaux Theoretical Computer Science 133 (1), 95-104, 1994 | 27 | 1994 |
| A note on non-complete problems in NP S Ben-David, K Meer, C Michaux Journal of Complexity 16 (1), 324-332, 2000 | 23 | 2000 |
| Les ensembles k-reconnaissables sont définissables dans〈 N,+, Vk〉 C Michaux, F Point CR Acad. Sci. Paris 303, 939-942, 1986 | 22 | 1986 |
| Cell decomposition and dimension function in the theory of closed ordered differential fields T Brihaye, C Michaux, C Rivière Annals of Pure and Applied Logic 159 (1-2), 111-128, 2009 | 18 | 2009 |
| Quelques remarques concernant la théorie des corps ordonnés différentiellement clos C Michaux, C Riviere Bulletin of the Belgian Mathematical Society-Simon Stevin 12 (3), 341-348, 2005 | 18 | 2005 |
| Ordered rings over which output sets are recursively enumerable sets C Michaux Proceedings of the American Mathematical Society 112 (2), 569-575, 1991 | 18 | 1991 |
| Analysis and logic C Finet, CW Henson, C Michaux Cambridge University Press, 2002 | 17* | 2002 |
| Open questions around Buchi and Presburger arithmetics C Michaux, R Villemaire Logic: from foundations to applications: European logic colloquium, 353-383, 1996 | 15 | 1996 |
| Cobham's Theorem seen through Büchi's Theorem C Michaux, R Villemaire Automata, Languages and Programming: 20th International Colloquium, ICALP 93 …, 1993 | 15 | 1993 |
| Correction to Logic and p-recognizable sets of integers. V Bruyère, G Hansel, C Michaux, R Villemaire Bulletin of the Belgian Mathematical Society Simon Stevin 1 (4), 577-578, 1994 | 13 | 1994 |
| Differential fields, Machines over the real numbers and Automata C Michaux These de Doctorat, Université de Mons-Hainaut, 1991 | 13 | 1991 |
| Machines sur les réels et problemes NP–complets C Michaux Séminaire de Structures Algébriques Ordonnées, 1990 | 8 | 1990 |
| Sur l'élimination des quantificateurs dans les anneaux différentiels C Michaux Comptes rendus de l'Académie des sciences. Série 1, Mathématique 302 (8 …, 1986 | 8 | 1986 |
| Quantifier elimination following Muchnik C Michaux, A Ozturk Universite de Mons-Hainaut Preprint Series 10, 2002 | 5 | 2002 |
Roger VillemaireProfessor of Computer Science, UQAMVerified email at uqam.ca
