Claude Michel

University of Nice-Sophia Antipolis - Nice / France

Others

AD Scientific Index ID: 4605654

Université de Nice-Sophia Antipolis

Registration, Add Profile,
Premium Membership

Print Your Certificate

Claude Michel's MOST POPULAR ARTICLES

1-) Symbolic execution of floating‐point computationsB Botella, A Gotlieb, C MichelSoftware Testing, Verification and Reliability 16 (2), 97-121, 20061472006

2-) Solving constraints over floating-point numbersC Michel, M Rueher, Y LebbahPrinciples and Practice of Constraint Programming—CP 2001: 7th …, 2001902001

3-) Efficient and safe global constraints for handling numerical constraint systemsY Lebbah, C Michel, M Rueher, D Daney, JP MerletSIAM Journal on Numerical Analysis 42 (5), 2076-2097, 2005892005

4-) Exact Projection Functions for Floating Point Number Constraints.C MichelAI&M, 2002622002

5-) A global filtering algorithm for handling systems of quadratic equations and inequationsY Lebbah, M Rueher, C MichelPrinciples and Practice of Constraint Programming-CP 2002: 8th International …, 2002502002

ARTICLES

Add your articles