Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CLP(Intervals) Revisited., , and . ILPS, page 124-138. MIT Press, (1994)Progress in the Solving of a Circuit Design Problem., and . J. Glob. Optim., 20 (2): 155-168 (2001)An Extension of the WAM for Hybrid Interval Solvers., , and . J. Funct. Log. Program., (1999)Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving., and . Reliab. Comput., 3 (3): 335-344 (1997)Newton: Constraint Programming over Nonlinear Real Constraints, , and . Science of Computer Programming, 30 (1--2): 83--118 (1998)Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach., , and . AIMDM, volume 1620 of Lecture Notes in Computer Science, page 185-196. Springer, (1999)Automated reasoning on monotonic constraints., and . ICTAI, page 401-. IEEE Computer Society, (2000)Improved bounds on the complexity of kB-consistency., , and . IJCAI, page 303-308. Morgan Kaufmann, (2001)An Algorithm to Compute Inner Approximations of Relations for Interval Constraints., , , and . Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 416-423. Springer, (1999)The octagon abstract domain for continuous constraints., , and . Constraints An Int. J., 19 (3): 309-337 (2014)