| Publication | Date of Publication | Type |
|---|
| A concise form of natural coordinates for multibody dynamics: with examples | 2026-02-06 | Paper |
An Hermite-Obreschkoff method for stiff high-index DAE
BIT | 2023-03-30 | Paper |
An Energy-Based, Always Index $\leq$ 1 and Structurally Amenable Electrical Circuit Model
SIAM Journal on Scientific Computing | 2022-08-26 | Paper |
An Energy-based, always Index $\le1$ and Structurally Amenable Electrical Circuit Model
(available as arXiv preprint) | 2021-08-11 | Paper |
Multibody dynamics in natural coordinates through automatic differentiation and high-index DAE solving
Acta Cybernetica | 2020-10-02 | Paper |
Stepsize selection in the rigorous defect control of Taylor series methods
Journal of Computational and Applied Mathematics | 2020-01-31 | Paper |
Structural analysis of linear integral-algebraic equations
Journal of Computational and Applied Mathematics | 2019-06-20 | Paper |
How AD can help solve differential-algebraic equations
Optimization Methods & Software | 2018-10-09 | Paper |
How AD can help solve differential-algebraic equations
Optimization Methods & Software | 2018-10-09 | Paper |
Conversion methods for improving structural analysis of differential-algebraic equation systems
BIT | 2017-10-24 | Paper |
Conversion methods for improving structural analysis of differential-algebraic equation systems
BIT | 2017-10-24 | Paper |
DAESA -- a Matlab tool for structural analysis of differential-algebraic equations: theory
ACM Transactions on Mathematical Software | 2017-06-30 | Paper |
Algorithm 948: DAESA -- a Matlab tool for structural analysis of differential-algebraic equations: software
ACM Transactions on Mathematical Software | 2017-06-30 | Paper |
Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems
Mathematical and Computational Approaches in Advancing Modern Science and Engineering | 2017-02-03 | Paper |
A simple method for quasilinearity analysis of DAEs
Springer Proceedings in Mathematics & Statistics | 2016-01-11 | Paper |
| Exploiting Fine Block Triangularization and Quasilinearity in Differential-Algebraic Equation Systems | 2014-11-15 | Paper |
| Graph theory, irreducibility, and structural analysis of differential-algebraic equation systems | 2014-11-15 | Paper |
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
| Solving differential algebraic equations by Taylor series. III: The DAETs code | 2008-11-24 | Paper |
On Taylor Model Based Integration of ODEs
SIAM Journal on Numerical Analysis | 2008-03-10 | Paper |
Solving differential-algebraic equations by Taylor series. II: Computing the system Jacobian
BIT | 2007-04-26 | Paper |
Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
BIT | 2006-01-13 | Paper |
Interval arithmetic, affine arithmetic, Taylor series methods: Why, what next?
Numerical Algorithms | 2005-09-05 | Paper |
Classification of steady solutions of the full kinematic model
Physica D | 2005-02-09 | Paper |
Some recent advances in validated methods for IVPs for ODEs
Applied Numerical Mathematics | 2002-08-22 | Paper |
An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
Reliable Computing | 2002-05-30 | Paper |
| scientific article; zbMATH DE number 1694759 (Why is no real title available?) | 2002-01-24 | Paper |
| scientific article; zbMATH DE number 1424347 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1440924 (Why is no real title available?) | 2000-05-08 | Paper |
Validated solutions of initial value problems for ordinary differential equations
Applied Mathematics and Computation | 2000-04-03 | Paper |
An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
Reliable Computing | 2000-03-22 | Paper |
