| Publication | Date of Publication | Type |
|---|
Optimality Conditions for Multivariate Chebyshev Approximation: A Survey
(available as arXiv preprint) | 2025-01-01 | Paper |
Estimating the robust domain of attraction for difference inclusions using an interval Lyapunov equation
Systems & Control Letters | 2024-12-04 | Paper |
Hardware-aware design of multiplierless second-order IIR filters with minimum adders
IEEE Transactions on Signal Processing | 2024-09-12 | Paper |
| An equioscillation theorem for multivariate Chebyshev approximation | 2023-10-03 | Paper |
Computer algebra methods for polynomial system solving at the service of image-based visual servoing
ACM Communications in Computer Algebra | 2023-08-02 | Paper |
New convergence conditions for the super twisting algorithm with uncertain input gain
Automatica | 2022-07-26 | Paper |
Generalization of the twisting convergence conditions to non-affine systems
Automatica | 2022-01-31 | Paper |
A standard branch-and-bound approach for nonlinear semi-infinite problems
European Journal of Operational Research | 2020-01-08 | Paper |
Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation
Automatica | 2019-04-24 | Paper |
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 |
A branch and bound algorithm for quantified quadratic programming
Journal of Global Optimization | 2017-05-22 | Paper |
Monitoring bounded LTL properties using interval analysis
(available as arXiv preprint) | 2016-12-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 |
Variable symmetry breaking in numerical constraint problems
Artificial Intelligence | 2015-12-22 | Paper |
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Interval-based projection method for under-constrained numerical systems
Constraints | 2015-01-22 | Paper |
Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities
Journal of Computational and Applied Mathematics | 2014-08-05 | Paper |
First order rejection tests for multiple-objective optimization
Journal of Global Optimization | 2014-07-04 | Paper |
A branch and prune algorithm for the computation of generalized aspects of parallel robots
Artificial Intelligence | 2014-06-10 | Paper |
Certified parallelotope continuation for one-manifolds
SIAM Journal on Numerical Analysis | 2014-02-24 | Paper |
Tinkerbell is chaotic
SIAM Journal on Applied Dynamical Systems | 2012-04-19 | Paper |
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
Constraints | 2010-05-05 | Paper |
A branch and bound algorithm for numerical Max-CSP
Constraints | 2010-05-05 | Paper |
Efficient handling of universally quantified inequalities
Constraints | 2009-05-29 | Paper |
| scientific article; zbMATH DE number 5526522 (Why is no real title available?) | 2009-03-09 | Paper |
| Manifold approximation of set-valued functions | 2009-01-11 | Paper |
Manifold approximation of set-valued functions
(available as arXiv preprint) | 2009-01-01 | Paper |
Inner and Outer Approximations of Existentially Quantified Equality Constraints
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems
Numerical Methods and Applications | 2007-09-03 | Paper |
Extension of the Hansen-Bliek method to right-quantified linear systems
Reliable Computing | 2007-08-20 | Paper |
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
Computing | 2007-03-28 | Paper |
A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets.
Reliable Computing | 2005-10-18 | Paper |
