A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi-Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity. - Àlex Haro; Rafael de la Llave (SIAM J. Appl. Dyn. Syst., 2007)

Reliable Computation of Robust Response Tori on the Verge of Breakdown. - Jordi-Lluís Figueras; Àlex Haro (SIAM J. Appl. Dyn. Syst., 2012)

Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach. - Jordi-Lluís Figueras; Àlex Haro; Alejandro Luque 001 (Found. Comput. Math., 2017)

Computation of Quasi-Periodic Normally Hyperbolic Invariant Tori: Algorithms, Numerical Explorations and Mechanisms of Breakdown. - Marta Canadell; Àlex Haro (J. Nonlinear Sci., 2017)

Computation of Quasiperiodic Normally Hyperbolic Invariant Tori: Rigorous Results. - Marta Canadell; Àlex Haro (J. Nonlinear Sci., 2017)

On the sharpness of the Rüssmann estimates. - Jordi-Lluís Figueras; Àlex Haro; Alejandro Luque 001 (Commun. Nonlinear Sci. Numer. Simul., 2018)

Non-twist invariant circles in conformally symplectic systems. - Renato C. Calleja; Marta Canadell; Àlex Haro (Commun. Nonlinear Sci. Numer. Simul., 2021)

Flow map parameterization methods for invariant tori in Hamiltonian systems. - Àlex Haro; Josep-Maria Mondelo (Commun. Nonlinear Sci. Numer. Simul., 2021)

Efficient and Reliable Algorithms for the Computation of Non-Twist Invariant Circles. - Alejandra González; Àlex Haro; Rafael de la Llave (Found. Comput. Math., 2022)

Semianalytical Computation of Heteroclinic Connections Between Center Manifolds with the Parameterization Method. - Miquel Barcelona; Àlex Haro; Josep-Maria Mondelo (SIAM J. Appl. Dyn. Syst., 2024)

Flow Map Parameterization Methods for Invariant Tori in Quasi-Periodic Hamiltonian Systems. - Álvaro Fernández-Mora; Àlex Haro; Josep-Maria Mondelo (SIAM J. Appl. Dyn. Syst., 2024)

Sun-Jupiter-Saturn System May Exist: A Verified Computation of Quasiperiodic Solutions for the Planar Three-Body Problem. - Jordi-Lluís Figueras; Àlex Haro (J. Nonlinear Sci., 2025)