( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Searching Critical Values for Floating-Point Programs.

, , и . ICTSS, том 9976 из Lecture Notes in Computer Science, стр. 209-217. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michel Georg Michel

Michel Ghazal

Prognostische Relevanz der Schildwächterlymphknotenbiopsie beim malignen Melanom. MedH Hannover, (2009)

Christine Michel

Malaise dans l'érotisme: Darstellungen sexueller Praktiken und Formen in der französischsprachigen Literatur der Gegenwart. Uni Marburg, (2008)

Sara Michel

Michèl Gleich

 

Другие публикации лиц с тем же именем

Automatic Test Data Generation Using Constraint Solving Techniques., , и . ISSTA, стр. 53-62. ACM, (1998)CPBPV: A Constraint-Programming Framework for Bounded Program Verification., , и . CP, том 5202 из Lecture Notes in Computer Science, стр. 327-341. Springer, (2008)A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations., , и . CP, том 2470 из Lecture Notes in Computer Science, стр. 109-123. Springer, (2002)Searching Critical Values for Floating-Point Programs., , и . ICTSS, том 9976 из Lecture Notes in Computer Science, стр. 209-217. (2016)Boosting Local Consistency Algorithms over Floating-Point Numbers., , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 127-140. Springer, (2012)Une représentation graphique pour Prolog., , , и . SPLT, стр. 373-386. (1986)Adapting the wavefront expansion in presence of strong currents., , и . ICRA, стр. 1352-1358. IEEE, (2008)A Constraint Programming Approach for Solving Rigid Geometric Systems., , , и . CP, том 1894 из Lecture Notes in Computer Science, стр. 233-248. Springer, (2000)A dynamic constraint-based BMC strategy for generating counterexamples., , , , и . SAC, стр. 1633-1638. ACM, (2011)Concurrent Cooperating Solvers over Reals., и . Reliab. Comput., 3 (3): 325-333 (1997)