Unbounded trajectories of dynamical systems. - Francisco González Gascón; Álvaro Pelayo; Daniel Peralta-Salas (Appl. Math. Lett., 2004)

Homotopy type theory and Voevodsky's univalent foundations - Álvaro Pelayo; Michael A. Warren (CoRR, 2012)

A preliminary univalent formalization of the p-adic numbers - Álvaro Pelayo; Vladimir Voevodsky; Michael A. Warren (CoRR, 2013)

A univalent formalization of the p-adic numbers. - Álvaro Pelayo; Vladimir Voevodsky; Michael A. Warren (Math. Struct. Comput. Sci., 2015)

Euler-MacLaurin formulas via differential operators. - Yohann Le Floch; Álvaro Pelayo (Adv. Appl. Math., 2016)

Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations. - Holger R. Dullin; Álvaro Pelayo (J. Nonlinear Sci., 2016)

Symplectic Geometry and Spectral Properties of Classical and Quantum Coupled Angular Momenta. - Yohann Le Floch; Álvaro Pelayo (J. Nonlinear Sci., 2019)

The p-Adic Jaynes-Cummings Model in Symplectic Geometry. - Luis Crespo Ruiz; Álvaro Pelayo (J. Nonlinear Sci., 2025)