Publications
Christian MICHAUX
Accéder au dépôt institutionnel
Nombre de publications : 16
    2022
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Michaux, C. (31 August 2022). "Décidabilité versus Indécidabilité en Arithmétique, mini-cours sur invitation". Paper presented at Brussels Summer School of mathematics (BSSM 22), Brussels, Belgium.
    Top
    2021
    Mémoires et thèses/Thèse de doctorat
    • Nihoul, C. (2021). "Impact des pratiques enseignantes sur la conceptualisation des droites et des plans dans l'espace: une étude de cas". Unpublished doctoral thesis, Université de Mons. Jury: Bridoux, S. (Promotor), Michaux, C., Duroisin, N., Grenier-Boley, N., Chesnais, A., & Brihaye, T.
    Top
    2015
    Mémoires et thèses/Thèse de doctorat
    • Maslowski, D. (2015). "Dichotomies in the Complexity of Counting Databases Repairs". Unpublished doctoral thesis, Université de Mons. Jury: Bruyère, V. (Promotor), Wijsen, J. (Promotor), Michaux, C., Delgrange, O., Durand, A., Geerts, F., & Vansummeren, S.
    Top
    2013
    Allocutions et communications diverses/Article grand public
    • Michaux, C., & BAUS, M. (2013). Le 'Matheux'. "La Libre".
    Top
    2011
    Ouvrages/Ouvrage collectif publié en tant qu’éditeur ou directeur
    • Michaux, C., Steinhorn, C., Esparza, J., Michaux, C. (Ed.), Esparza, J. (Ed.), & Steinhorn, C. (Ed.). (2011). "Finite and Algorithmic Model Theory". Cambridge University Press.
    Top
    2009
    Périodiques scientifiques/Article
    • Brihaye, T., Michaux, C., & Rivière, C. (01 May 2009). Cell decomposition and dimension function in the theory of closed ordered differential fields. "Annals of Pure and Applied Logic, 159" (Issues 1-2), 111-128. doi:10.1016/j.apal.2008.09.029
    Mémoires et thèses/Mémoire de licence/master
    • Desmons, B. (2009). "Stabilité, Bifurcations et Classification des Elastica". Unpublished master thesis, Université de Mons. Jury: Troestler, C. (Promotor), Michaux, C., & Grumiau, C.
    Allocutions et communications diverses/Article grand public
    • Brihaye, T., & Michaux, C. (2009). "Economie, environnement et mathématiques".
    Top
    2006
    Périodiques scientifiques/Article
    • Brihaye, T., & Michaux, C. (31 January 2006). Corrigendum to 'On the expressiveness and decidability of o-minimal hybrid systems' [J. Complexity 21 (2005) 447-478]. "Journal of Complexity, 22" (Issue 3), 431-434.
    Top
    2005
    Périodiques scientifiques/Article
    • Michaux, C., & Rivière, C. (01 September 2005). Quelques remarques concernant la théorie des corps ordonnés différentiellement clos. "Bulletin de la Société Mathématique de Belgique, 12" (3), 341-348.
    • Brihaye, T., & Michaux, C. (01 August 2005). On the expressiveness and decidability of o-minimal hybrid systems. "Journal of Complexity, 21" (Issue 4), 447-478. doi:10.1016/j.jco.2004.09.003
    Top
    2004
    Périodiques scientifiques/Article
    • Brihaye, T., Michaux, C., Rivière, C., & Troestler, C. (01 January 2004). On O-Minimal Hybrid Systems. "Lecture Notes in Computer Science, 2993", 133-138.
    Allocutions et communications diverses/Autre
    • Michaux, C., Troestler, C., & Bridoux, S. (2004). "Préparer la transition secondaire-université dans les cours de mathématiques".
    Top
    2000
    Périodiques scientifiques/Article
    • Troestler, C., & Michaux, C. (28 January 2000). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. "Theoretical Computer Science, 231", 253-273. doi:10.1016/S0304-3975(99)00103-6
    Top
    1998
    Colloques et congrès scientifiques/Communication publiée dans un périodique
    • Michaux, C., & Troestler, C. (1998). "Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields". Paper presented at International Colloquium Universal Machines and Computations, Metz, France.
    Rapports/Rapport de recherche interne
    • Michaux, C., & Troestler, C. (1998). "Isomorphism theorem for BSS recursively enumerable sets on real closed fields". NeuroCOLT2.
    Top