Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation
par contraintes / Rémy Garcia ; sous la direction de Claude Michel. Thèse de doctorat
: Informatique : Université Côte d'Azur : 2021
Information trouvée : co-encadrant de thèse, membre du jury
Programmation en logique avec contraintes : actes des JFPLC'2002 / [11e Journées francophones
de programmation logique et programmation par contraintes, 27 mai -30 mai 2002, Université
de Nice Sophia-Antipolis, France] ; coord. Michel Rueher, Paris : Hermès science publications,
2002
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les
flottants pour la vérification de programmes / Heytem Zitoun ; sous la direction de
Michel Rueher et Claude Michel. Thèse de doctorat : Informatique : Côte d'Azur : 2018
Information trouvée : directeur de thèse
Une démarche d'étude pour la réalisation de systèmes de conception assistée par ordinateur
/ Michel Rueher ; sous la direction de D. Vandorpe [thèse], 1980
http://www.essi.fr/~rueher/