| Publication | Date of Publication | Type |
|---|
| Validated numerical approximation of stable manifolds for parabolic partial differential equations | 2023-12-21 | Paper |
| Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations | 2023-12-02 | Paper |
| Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem | 2023-11-15 | Paper |
| Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs | 2023-08-07 | Paper |
| Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem | 2023-06-12 | Paper |
| Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems | 2023-01-12 | Paper |
| Finite element approximation of invariant manifolds by the parameterization method | 2022-11-17 | Paper |
| State dependent delay maps: numerical algorithms and dynamics of projections | 2022-11-17 | Paper |
| Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds | 2022-05-06 | Paper |
| Finite Element Approximation of Invariant Manifolds by the Parameterization Method | 2022-03-06 | Paper |
| Computer assisted proof of drift orbits along normally hyperbolic manifolds | 2021-12-13 | Paper |
| A rigorous implicit \(C^1\) Chebyshev integrator for delay equations | 2021-11-19 | Paper |
| Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations | 2021-06-17 | Paper |
| From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal | 2021-06-17 | Paper |
| Torus knot choreographies in the n-body problem | 2021-01-29 | Paper |
| Computer assisted proofs of two-dimensional attracting invariant tori for ODEs | 2020-11-12 | Paper |
| Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation | 2020-10-15 | Paper |
| High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications | 2020-10-14 | Paper |
| Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence | 2020-10-08 | Paper |
| Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set | 2020-10-08 | Paper |
| Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families | 2020-10-07 | Paper |
| A functional analytic approach to validated numerics for eigenvalues of delay equations | 2020-08-17 | Paper |
| Automatic differentiation for Fourier series and the radii polynomial approach | 2019-06-27 | Paper |
| Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem | 2019-06-21 | Paper |
| Validated numerics for continuation and bifurcation of connecting orbits of maps | 2019-06-20 | Paper |
| Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation | 2018-12-11 | Paper |
| Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits | 2018-11-23 | Paper |
| Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds | 2018-11-06 | Paper |
| Homoclinic dynamics in a restricted four body problem | 2018-08-11 | Paper |
| Parameterization method for unstable manifolds of delay differential equations | 2018-08-08 | Paper |
| Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds | 2018-03-15 | Paper |
| Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications | 2018-01-31 | Paper |
| Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds | 2018-01-26 | Paper |
| High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps | 2017-11-01 | Paper |
| Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity | 2017-03-09 | Paper |
| Validated Computation of Heteroclinic Sets | 2017-03-02 | 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 |
| Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence | 2016-08-17 | Paper |
| Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach | 2016-03-09 | Paper |
| Analytic enclosure of the fundamental matrix solution. | 2016-02-01 | Paper |
| Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits | 2016-01-26 | Paper |
| Computation of maximal local (un)stable manifold patches by the parameterization method | 2016-01-12 | Paper |
| Stationary Coexistence of Hexagons and Rolls via Rigorous Computations | 2015-06-23 | Paper |
| Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form | 2015-06-04 | Paper |
| Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds | 2014-11-27 | Paper |
| Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields | 2014-07-03 | Paper |
| Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps | 2014-01-22 | Paper |
| Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations | 2013-08-19 | Paper |
| Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps | 2012-11-12 | Paper |
| Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation | 2011-11-10 | Paper |
| Adaptive Set-Oriented Computation of Topological Horseshoe Factors in Area and Volume Preserving Maps | 2010-11-02 | Paper |
| Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family | 2010-09-08 | Paper |
