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)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations. - Jordi-Lluís Figueras; Marcio Gameiro; Jean-Philippe Lessard; Rafael de la Llave (SIAM J. Appl. Dyn. Syst., 2017)

Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto-Sivashinsky Equation. - Jordi-Lluís Figueras; Rafael de la Llave (SIAM J. Appl. Dyn. Syst., 2017)

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

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)