Author of the publication

Constraint Reasoning for Differential Models

. Proceeding of the 2005 conference on Constraint Reasoning for Differential Models, page 1--216. Amsterdam, The Netherlands, The Netherlands, IOS Press, (2005)

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

An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support., and . CP, volume 1713 of Lecture Notes in Computer Science, page 478-479. Springer, (1999)Probabilistic Continuous Constraint Satisfaction Problems., , and . ICTAI (2), page 155-162. IEEE Computer Society, (2008)978-0-7695-3440-4.Genetic Algorithm Approach for Smart Industrial Multi-Objective Production Planning., , , and . ECAI, page 1-6. IEEE, (2024)Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract)., , and . CP, volume 8656 of Lecture Notes in Computer Science, page 913-917. Springer, (2014)A Causal-Functional Model Applied to EMG Diagnosis., and . AIME, volume 1211 of Lecture Notes in Computer Science, page 249-260. Springer, (1997)Reasoning with Uncertainty in Biomedical Models., , and . EPIA, volume 9273 of Lecture Notes in Computer Science, page 41-53. Springer, (2015)A certified Branch & Bound approach for reliability-based optimization problems., , and . J. Glob. Optim., 69 (2): 461-484 (2017)Constraint Satisfaction Differential Problems., and . CP, volume 2833 of Lecture Notes in Computer Science, page 259-273. Springer, (2003)Global Hull Consistency with Local Search for Continuous Constraint Solving., and . EPIA, volume 2258 of Lecture Notes in Computer Science, page 349-362. Springer, (2001)Uncertainty Propagation in Biomedical Models., , and . AIME, volume 9105 of Lecture Notes in Computer Science, page 166-171. Springer, (2015)