| Publication | Date of Publication | Type |
|---|
| Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points | 2024-11-29 | Paper |
| Validated integration of semilinear parabolic PDEs | 2024-08-13 | Paper |
| Validated numerical approximation of stable manifolds for parabolic partial differential equations | 2023-12-21 | Paper |
| Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd | 2023-11-01 | Paper |
| Validated integration of semilinear parabolic PDEs | 2023-05-14 | Paper |
| Large fronts in nonlocally coupled systems using Conley-Floer homology | 2023-04-12 | Paper |
| Towards computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points | 2022-06-18 | Paper |
| Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach | 2022-05-10 | Paper |
| A general method for computer-assisted proofs of periodic solutions in delay differential problems | 2022-05-06 | Paper |
| Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE | 2022-02-16 | Paper |
| Rigorous numerics for ODEs using Chebyshev series and domain decomposition | 2021-09-10 | Paper |
| Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation | 2021-07-30 | Paper |
| A general framework for validated continuation of periodic orbits in systems of polynomial ODEs | 2021-05-21 | Paper |
| Spontaneous periodic orbits in the Navier-Stokes flow | 2021-04-29 | Paper |
| The parameterization method for center manifolds | 2020-05-14 | Paper |
| More on the parameterization method for center manifolds | 2020-03-02 | Paper |
| Validated computations for connecting orbits in polynomial vector fields | 2020-02-26 | Paper |
| Large fronts in nonlocally coupled systems using Conley-Floer homology | 2019-07-08 | Paper |
| The Poincaré-Bendixson theorem and the non-linear Cauchy-Riemann equations | 2019-06-27 | Paper |
| A Floer Homology Approach to Traveling Waves in Reaction-Diffusion Equations on Cylinders | 2018-12-20 | Paper |
| A proof of Wright's conjecture | 2018-04-04 | Paper |
| Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof | 2018-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2988064 | 2017-05-18 | Paper |
| On periodic orbits in cotangent bundles of non-compact manifolds | 2017-02-09 | Paper |
| Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation | 2016-10-14 | Paper |
| Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra | 2016-09-08 | Paper |
| Rigorous numerics in dynamics | 2016-06-15 | Paper |
| Stationary Coexistence of Hexagons and Rolls via Rigorous Computations | 2015-06-23 | Paper |
| Braided connecting orbits in parabolic equations via computational homology | 2014-02-04 | Paper |
| (In-)stability of singular equivariant solutions to the Landau-Lifshitz-Gilbert equation | 2014-01-21 | Paper |
| The interplay between scent trails and group-mass recruitment systems in ants | 2013-11-25 | Paper |
| Oscillatory solutions of fourth order conservative systems via the Conley index | 2012-06-01 | Paper |
| Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation | 2011-11-10 | Paper |
| The Order of Bifurcation Points in Fourth Order Conservative Systems via Braids | 2011-08-18 | Paper |
| Travelling waves in a radiation-combustion free-boundary model for flame propagation | 2011-07-29 | Paper |
| Global smooth solution curves using rigorous branch following | 2010-08-30 | Paper |
| Vanishing beyond all orders: Stokes lines in a water-wave model equation | 2010-01-26 | Paper |
| Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation | 2009-04-30 | Paper |
| Closed characteristics on non-compact hypersurfaces in \(\mathbb {R}^{2n}\) | 2009-02-09 | Paper |
| Contact and non-contact type Hamiltonian systems generated by second-order Lagrangians | 2007-04-19 | Paper |
| Flame Balls for a Free Boundary Combustion Model with Radiative Transfer | 2007-03-27 | Paper |
| The Speed Law for Highly Radiative Flames in a Gaseous Mixture with Large Activation Energy | 2006-05-30 | Paper |
| Multiplicity and stability of travelling wave solutions in a free boundary combustion-radiation problem | 2005-03-30 | Paper |
| The self-similar solution for draining in the thin film equation | 2005-03-21 | Paper |
| Parametric dependence of exponents and eigenvalues in focusing porous media flows | 2004-06-18 | Paper |
| Stable patterns for fourth-order parabolic equations | 2003-10-06 | Paper |
| Formal Asymptotics of Bubbling in the Harmonic Map Heat Flow | 2003-09-28 | Paper |
| Parameter dependence of homoclinic solutions in a single long Josephson junction | 2003-08-06 | Paper |
| Morse theory on spaces of braids and Lagrangian dynamics | 2003-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784604 | 2002-12-11 | Paper |
| Homoclinic solutions for Swift-Hohenberg and suspension bridge type equations | 2002-10-16 | Paper |
| Second order Lagrangian twist systems: simple closed characteristics | 2002-03-19 | Paper |
| Closed characteristics of fourth-order twist systems via braids | 2002-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762777 | 2001-08-20 | Paper |
| Global branches of multi-bump periodic solutions of the Swift-Hohenberg equation | 2001-08-12 | Paper |
| Homotopy classes for stable periodic and chaotic patterns in fourth-order Hamiltonian systems | 2001-08-09 | Paper |
| Travelling waves for fourth order parabolic equations | 2001-06-21 | Paper |
| A domain-wall between single-mode and bimodal states. | 2001-06-14 | Paper |
| The phase-plane picture for a class of fourth-order conservative differential equations | 2000-08-28 | Paper |
| Uniqueness of solutions for the extended Fisher-Kolmogorov equation | 1999-06-07 | Paper |
