| Publication | Date of Publication | Type |
|---|
| Characterising blenders via covering relations and cone conditions | 2024-12-12 | Paper |
| The number of relative equilibria in the PCR4BP | 2024-10-01 | Paper |
| Computer-assisted validation of the existence of periodic orbit in the Brusselator system | 2024-08-26 | Paper |
| High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays | 2024-08-24 | Paper |
| The pitchfork bifurcation and heteroclinic connections in the Kuramoto--Sivashinsky PDE | 2023-12-13 | Paper |
| Computer-assisted validation of the existence of periodic orbit in the Brusselator system | 2023-03-06 | Paper |
| Characterising blenders via covering relations and cone conditions | 2022-12-09 | Paper |
| Central configurations on the plane with \(N\) heavy and \(k\) light bodies | 2022-08-03 | Paper |
| High-order Lohner-type algorithm for rigorous computation of Poincar\'e maps in systems of Delay Differential Equations with several delays | 2022-06-28 | Paper |
| Recent advances in a rigorous computation of Poincaré maps | 2022-05-16 | Paper |
| The number of relative equilibria in the PCR4PB | 2022-04-19 | Paper |
| Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem | 2022-03-23 | Paper |
| From the Sharkovskii theorem to periodic orbits for the Rössler system | 2022-02-10 | Paper |
| Central configurations on the plane with $N$ heavy and $k$ light bodies | 2021-09-19 | Paper |
| Rigorous FEM for One-Dimensional Burgers Equation | 2021-08-02 | Paper |
| CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems | 2021-07-09 | Paper |
| Periodic orbits in the Rössler system | 2021-07-09 | Paper |
| Central configurations in the spatial \(n\)-body problem for \(n=5,6\) with equal masses | 2021-05-05 | Paper |
| Central configurations in planar \(n\)-body problem with equal masses for \(n=5,6,7\) | 2020-10-08 | Paper |
| A computer-assisted proof of symbolic dynamics in Hyperion's rotation | 2020-10-08 | Paper |
| On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions | 2020-07-14 | Paper |
| A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line | 2020-07-02 | Paper |
| Rigorous FEM for 1D Burgers equation | 2020-04-02 | Paper |
| Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system | 2019-01-08 | Paper |
| Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation | 2018-11-14 | Paper |
| Beyond the Melnikov method. II: Multidimensional setting | 2018-09-06 | Paper |
| Topological shadowing and the Grobman-Hartman theorem | 2018-02-09 | Paper |
| Shadowing of non-transversal heteroclinic chains | 2018-01-11 | Paper |
| Quasi-decidability of a fragment of the first-order theory of real numbers | 2017-08-17 | Paper |
| On the Petras algorithm for verified integration of piecewise analytic functions | 2017-02-14 | Paper |
| Hyperbolicity and averaging for the Srzednicki-Wójcik equation | 2016-12-22 | Paper |
| Beyond the Melnikov method: A computer assisted approach | 2016-11-04 | Paper |
| Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter | 2016-09-28 | Paper |
| Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations | 2016-08-31 | Paper |
| New lower bound estimates for quadratures of bounded analytic functions | 2016-04-20 | Paper |
| Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation | 2016-03-31 | Paper |
| Stabilizing the Long-time Behavior of the Navier-Stokes Equations and Damped Euler Systems by Fast Oscillating Forces | 2016-01-18 | Paper |
| Geometric proof for normally hyperbolic invariant manifolds | 2015-09-22 | Paper |
| Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof | 2015-08-31 | Paper |
| Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof | 2015-05-12 | Paper |
| Rigorous numerics for PDEs with indefinite tail: existence of a periodic solution of the Boussinesq equation with time-dependent forcing | 2015-04-17 | Paper |
| On rigorous estimates of eigenspaces and eigenvalues of a matrix | 2014-10-21 | Paper |
| Geometric proof of the Grobman-Hartman Theorem | 2014-05-26 | Paper |
| A homoclinic orbit in a planar singular ODE -- a computer assisted proof | 2014-01-22 | Paper |
| Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs | 2011-11-23 | Paper |
| Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable | 2011-08-17 | Paper |
| Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds | 2011-07-08 | Paper |
| Transition tori in the planar restricted elliptic three-body problem | 2011-05-31 | Paper |
| On stability of forcing relations for multidimensional perturbations of interval maps | 2010-04-09 | Paper |
| Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum | 2010-01-20 | Paper |
| Period doubling in the Rössler system -- a computer assisted proof | 2009-10-19 | Paper |
| Covering relations, cone conditions and the stable manifold theorem | 2009-03-20 | Paper |
| A Lohner-type algorithm for control systems and ordinary differential inclusions | 2009-02-05 | Paper |
| Topological entropy for multidimensional perturbations of snap-back repellers and one-dimensional maps | 2008-11-19 | Paper |
| INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS | 2008-08-26 | Paper |
| Rigorous verification of cocoon bifurcations in the Michelson system | 2007-10-22 | Paper |
| Topological method for symmetric periodic orbits for maps with a reversing symmetry | 2007-08-01 | Paper |
| $C^r$-Lohner algorithm | 2007-04-05 | Paper |
| Covering relations and non-autonomous perturbations of ODEs | 2006-07-06 | Paper |
| TOPOLOGICAL ENTROPY FOR MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS | 2006-06-23 | Paper |
| MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS AND STABILITY OF SARKOVSKĬ ORDERING | 2006-06-23 | Paper |
| Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II | 2006-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694120 | 2005-09-29 | Paper |
| Topological horseshoes and delay differential equations | 2005-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4831749 | 2005-01-03 | Paper |
| Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof | 2004-10-28 | Paper |
| Covering relations for multidimensional dynamical systems | 2004-08-19 | Paper |
| Covering relations for multidimensional dynamical systems. II | 2004-08-19 | Paper |
| The H non–Heiles Hamiltonian near the critical energy level—some rigorous results | 2004-06-09 | Paper |
| On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach. | 2004-01-26 | Paper |
| Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof | 2003-08-17 | Paper |
| Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof | 2003-01-05 | Paper |
| The existence of simple choreographies for theN-body problem—a computer-assisted proof | 2003-01-01 | Paper |
| Isolating segments, fixed point index, and symbolic dynamics. III: Applications | 2002-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536844 | 2002-06-25 | Paper |
| Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation | 2002-05-12 | Paper |
| Isolating segments, fixed point index, and symbolic dynamics. II: Homoclinic solutions | 2002-04-10 | Paper |
| \(C^1\) Lohner algorithm. | 2002-01-01 | Paper |
| Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level | 2001-09-25 | Paper |
| On the discrete Conley index in the invariant subspace | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762778 | 2001-02-22 | Paper |
| Isolating segments, fixed point index, and symbolic dynamics | 2001-01-15 | Paper |
| Set arithmetic and the enclosing problem in dynamics | 2001-01-07 | Paper |
| Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map | 2001-01-01 | Paper |
| On periodic points for systems of weakly coupled 1-dim maps. | 2001-01-01 | Paper |
| Sharkovskii's theorem for multidimensional perturbations of one-dimensional maps | 2000-12-11 | Paper |
| Sharkovskiĭ theorem for multidimensional perturbations of one-dimensional maps. II | 2000-08-27 | Paper |
| On existence of infinitely many homoclinic solutions | 2000-08-08 | Paper |
| Computer assisted proof of chaos in the Lorenz equations | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842846 | 1999-02-02 | Paper |
| Fixed point index for iterations of maps, topological horseshoe and chaos | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934443 | 1999-01-01 | Paper |
| Computer assisted proof of chaos in the Rössler equations and in the Hénon map | 1998-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4378707 | 1998-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885381 | 1996-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4846960 | 1996-05-13 | Paper |
