| Publication | Date of Publication | Type |
|---|
| A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory | 2025-01-27 | Paper |
| Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points | 2024-11-29 | Paper |
| Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence | 2024-11-12 | Paper |
| Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods | 2024-09-05 | Paper |
| Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations | 2023-12-02 | Paper |
| Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd | 2023-11-01 | Paper |
| Determination of stable branches of relative equilibria of the $N$-vortex problem on the sphere | 2023-09-08 | Paper |
| Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs | 2023-08-07 | Paper |
| Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature | 2023-05-03 | Paper |
| Periodic orbits in Hořava-Lifshitz cosmologies | 2023-02-01 | Paper |
| Rigorous numerics for nonlinear heat equations in the complex plane of time | 2022-06-28 | 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 |
| Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds | 2022-05-06 | Paper |
| Periodic orbits in Ho\v{r}ava-Lifshitz cosmologies | 2022-03-07 | Paper |
| Global dynamics in nonconservative nonlinear Schrödinger equations | 2022-03-04 | Paper |
| Microscopic patterns in the 2D phase-field-crystal model | 2022-02-23 | Paper |
| Rigorous verification of Hopf bifurcations in functional differential equations of mixed type | 2022-02-22 | Paper |
| Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity | 2022-02-04 | Paper |
| Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem | 2021-11-29 | Paper |
| A rigorous implicit \(C^1\) Chebyshev integrator for delay equations | 2021-11-19 | Paper |
| Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation | 2021-07-30 | Paper |
| From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal | 2021-06-17 | Paper |
| Spontaneous periodic orbits in the Navier-Stokes flow | 2021-04-29 | Paper |
| Free Vibrations in a Wave Equation Modeling MEMS | 2021-04-20 | Paper |
| Torus knot choreographies in the n-body problem | 2021-01-29 | Paper |
| Validated forward integration scheme for parabolic PDEs via Chebyshev series | 2021-01-03 | Paper |
| Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence | 2020-10-08 | Paper |
| A functional analytic approach to validated numerics for eigenvalues of delay equations | 2020-08-17 | Paper |
| Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption | 2020-02-18 | Paper |
| Rigorous numerics for nonlinear heat equations in the complex plane of time | 2019-10-28 | Paper |
| Automatic differentiation for Fourier series and the radii polynomial approach | 2019-06-27 | Paper |
| Continuation of solutions and studying delay differential equations via rigorous numerics | 2018-11-23 | Paper |
| Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds | 2018-11-06 | Paper |
| Computing discrete convolutions with verified accuracy via Banach algebras and the FFT. | 2018-10-01 | Paper |
| Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs | 2018-09-05 | Paper |
| Rigorous continuation of bifurcation points in the diblock copolymer equation | 2018-08-08 | Paper |
| Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation | 2018-03-08 | Paper |
| Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator | 2018-01-26 | Paper |
| Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof | 2018-01-11 | Paper |
| Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof | 2017-11-24 | Paper |
| Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation | 2017-09-28 | Paper |
| A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations | 2017-07-13 | Paper |
| A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE | 2017-06-02 | Paper |
| Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity | 2017-03-09 | Paper |
| Rigorous verification of saddle-node bifurcations in ODEs | 2016-09-05 | Paper |
| Rigorous numerics in dynamics | 2016-06-15 | Paper |
| Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions | 2016-05-19 | Paper |
| Rigorous numerics for nonlinear operators with tridiagonal dominant linear part | 2016-03-09 | 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 |
| Computation of maximal local (un)stable manifold patches by the parameterization method | 2016-01-12 | Paper |
| A method to rigorously enclose eigendecompositions of interval matrices | 2015-11-24 | Paper |
| Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series | 2015-09-09 | Paper |
| Stationary Coexistence of Hexagons and Rolls via Rigorous Computations | 2015-06-23 | Paper |
| Blow-up profile for solutions of a fourth order nonlinear equation | 2015-06-22 | Paper |
| Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form | 2015-06-04 | Paper |
| Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields | 2014-07-03 | Paper |
| Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series | 2014-05-19 | Paper |
| Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits | 2014-01-22 | Paper |
| Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system | 2013-12-05 | Paper |
| Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates | 2013-10-24 | Paper |
| Computational fixed-point theory for differential delay equations with multiple time lags | 2012-03-07 | Paper |
| Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation | 2011-11-10 | Paper |
| Existence of secondary bifurcations or isolas for PDEs | 2011-06-14 | Paper |
| Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation | 2011-04-08 | Paper |
| Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs | 2010-10-22 | Paper |
| Global smooth solution curves using rigorous branch following | 2010-08-30 | Paper |
| Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation | 2010-03-17 | Paper |
| Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation | 2009-04-30 | Paper |
| Validated continuation over large parameter ranges for equilibria of PDEs | 2009-04-03 | Paper |
| Validated Continuation for Equilibria of PDEs | 2008-08-14 | Paper |
| Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods | N/A | Paper |
| A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory | N/A | Paper |
| Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence | N/A | Paper |
| Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence | N/A | Paper |
