| Publication | Date of Publication | Type |
|---|
Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization
European Journal of Operational Research | 2018-05-29 | Paper |
Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming
International Journal of Robust and Nonlinear Control | 2017-11-02 | Paper |
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
A conservative scheme for parallel interval narrowing
Information Processing Letters | 2016-06-16 | Paper |
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach
Journal of Global Optimization | 2016-01-28 | Paper |
Certified parallelotope continuation for one-manifolds
SIAM Journal on Numerical Analysis | 2014-02-24 | Paper |
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
Constraints | 2010-05-05 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Algorithm 852
ACM Transactions on Mathematical Software | 2008-12-21 | Paper |
Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums
Global Optimization and Constraint Satisfaction | 2008-03-14 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Parameter Estimation Using Interval Computations
SIAM Journal on Scientific Computing | 2005-02-25 | Paper |
| scientific article; zbMATH DE number 2086595 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084739 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084365 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2080550 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080331 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2079838 (Why is no real title available?) | 2004-07-30 | Paper |
An interval component for continuous constraints.
Journal of Computational and Applied Mathematics | 2004-01-26 | Paper |
Horner's rule for interval evaluation revisited
Computing | 2002-12-01 | Paper |
On the combination of interval constraint solvers
Reliable Computing | 2002-05-30 | Paper |
Progress in the solving of a circuit design problem
Journal of Global Optimization | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1538006 (Why is no real title available?) | 2001-06-07 | Paper |
| scientific article; zbMATH DE number 1543278 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1406250 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1059313 (Why is no real title available?) | 1998-06-18 | Paper |
Automatic generation of numerical redundancies for nonlinear constraint solving
Reliable Computing | 1998-06-02 | Paper |
