| Publication | Date of Publication | Type |
|---|
An exact method for the minimum feedback arc set problem
ACM Journal of Experimental Algorithmics | 2022-09-06 | Paper |
Exclusion regions for parameter-dependent systems of equations
Journal of Global Optimization | 2021-11-26 | Paper |
| Rigorous global filtering methods with interval unions | 2020-12-15 | Paper |
A manifold-based approach to sparse global constraint satisfaction problems
Journal of Global Optimization | 2019-12-03 | Paper |
Rigorous packing of unit squares into a circle
Journal of Global Optimization | 2019-05-23 | Paper |
| Einführung in das mathematische Arbeiten | 2018-06-29 | Paper |
Certificates of infeasibility via nonsmooth optimization
Journal of Global Optimization | 2017-11-02 | Paper |
Using interval unions to solve linear systems of equations with uncertainties
BIT | 2017-10-24 | Paper |
Computing the noncentral-\(F\) distribution and the power of the \(F\)-test with guaranteed accuracy
Computational Statistics | 2017-06-27 | Paper |
Interval unions
BIT | 2017-06-22 | Paper |
The optimization test environment
Optimization and Engineering | 2017-06-19 | Paper |
| A feasible second order bundle algorithm for nonsmooth nonconvex optimization problems with inequality constraints: II. Implementation and numerical results | 2015-06-26 | Paper |
| A feasible second order bundle algorithm for nonsmooth, nonconvex optimization problems with inequality constraints: I. Derivation and convergence | 2015-06-25 | Paper |
Bound constrained interval global optimization in the COCONUT environment
Journal of Global Optimization | 2014-11-27 | Paper |
Exclusion regions for optimization problems
Journal of Global Optimization | 2014-07-04 | Paper |
On solving mixed-integer constraint satisfaction problems with unbounded variables
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Algebraic Modeling Systems | 2012-09-28 | Paper |
Convexity and concavity detection in computational graphs: tree walks for convexity assessment
INFORMS Journal on Computing | 2012-07-28 | Paper |
Algorithmic differentiation techniques for global optimization in the COCONUT environment
Optimization Methods & Software | 2012-05-23 | Paper |
Comparison and Automated Selection of Local Optimization Solvers for Interval Global Optimization Methods
SIAM Journal on Optimization | 2012-03-16 | Paper |
Einführung in das mathematische Arbeiten. Ein Projekt zur Gestaltung der Studieneingangsphase an der Universität Wien
Mitteilungen der Deutschen Mathematiker-Vereinigung | 2010-01-27 | Paper |
Interval propagation and search on directed acyclic graphs for numerical constraint solving
Journal of Global Optimization | 2009-12-02 | Paper |
Introduction to working mathematically
Springer-Lehrbuch | 2009-07-02 | Paper |
Transposition Theorems and Qualification‐Free Optimality Conditions
SIAM Journal on Optimization | 2007-11-16 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Global Gronwall estimates for integral curves on Riemannian manifolds
Revista Matemática Complutense | 2006-07-25 | Paper |
Global Gronwall estimates for integral curves on Riemannian manifolds
Revista Matemática Complutense | 2006-07-25 | Paper |
Interval analysis on directed acyclic graphs for global optimization
Journal of Global Optimization | 2006-02-20 | Paper |
Exclusion Regions for Systems of Equations
SIAM Journal on Numerical Analysis | 2005-03-01 | Paper |
Parabolic geometries and canonical Cartan connections
Hokkaido Mathematical Journal | 2002-10-29 | Paper |
The NOP-2 modeling language for nonlinear programming
Annals of Operations Research | 2002-03-26 | Paper |
| scientific article; zbMATH DE number 1595171 (Why is no real title available?) | 2001-05-06 | Paper |
| scientific article; zbMATH DE number 1332337 (Why is no real title available?) | 1999-09-15 | Paper |
scientific article; zbMATH DE number 1332337 (Why is no real title available?)
(available as arXiv preprint) | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1332337 (Why is no real title available?) | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1057693 (Why is no real title available?) | 1998-05-10 | Paper |
| scientific article; zbMATH DE number 896248 (Why is no real title available?) | 1996-07-02 | Paper |
On twisted tensor products of algebras
Communications in Algebra | 1996-02-21 | Paper |
A quantum-group-like structure on noncommutative 2-tori
Letters in Mathematical Physics | 1994-01-13 | Paper |
