| Publication | Date of Publication | Type |
|---|
A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems
Nonlinearity | 2025-01-22 | Paper |
Sun-Jupiter-Saturn system may exist: a verified computation of quasiperiodic solutions for the planar three-body problem
Journal of Nonlinear Science | 2024-11-25 | Paper |
The number of relative equilibria in the PCR4BP
Journal of Dynamics and Differential Equations | 2024-10-01 | Paper |
| A Modified Parameterization Method for Invariant Lagrangian Tori for Partially Integrable Hamiltonian Systems | 2023-04-20 | Paper |
| The number of relative equilibria in the PCR4PB | 2022-04-19 | Paper |
On the sharpness of the Rüssmann estimates
Communications in Nonlinear Science and Numerical Simulation | 2020-10-16 | Paper |
On the sharpness of the Rüssmann estimates
Communications in Nonlinear Science and Numerical Simulation | 2020-10-16 | Paper |
Sharp \(\frac{1}{2}\)-Hölder continuity of the Lyapunov exponent at the bottom of the spectrum for a class of Schrödinger cocycles
Discrete and Continuous Dynamical Systems | 2020-05-05 | Paper |
Effective bounds for the measure of rotations
Nonlinearity | 2020-01-02 | Paper |
Existence of non-smooth bifurcations of uniformly hyperbolic invariant manifolds in skew product systems
Nonlinearity | 2019-01-08 | Paper |
Rigorous computer-assisted application of KAM theory: a modern approach
Foundations of Computational Mathematics | 2017-12-01 | Paper |
Different scenarios for hyperbolicity breakdown in quasiperiodic area preserving twist maps
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2017-11-17 | Paper |
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
SIAM Journal on Applied Dynamical Systems | 2017-07-13 | Paper |
Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
SIAM Journal on Applied Dynamical Systems | 2017-06-02 | Paper |
On the sharpness of the R\"ussmann estimates
(available as arXiv preprint) | 2017-03-20 | Paper |
A note on the fractalization of saddle invariant curves in quasiperiodic systems
Discrete and Continuous Dynamical Systems. Series S | 2016-09-30 | Paper |
The parameterization method for invariant manifolds. From rigorous results to effective computations
Applied Mathematical Sciences | 2016-04-13 | Paper |
Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2015-09-02 | Paper |
Triple collisions of invariant bundles
Discrete and Continuous Dynamical Systems. Series B | 2013-11-12 | Paper |
Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
Journal of Differential Equations | 2013-04-17 | Paper |
Reliable computation of robust response tori on the verge of breakdown
SIAM Journal on Applied Dynamical Systems | 2012-09-21 | Paper |
Sun-Jupiter-Saturn System may exist: A verified computation of quasiperiodic solutions for the planar three body problem
(available as arXiv preprint) | N/A | Paper |
