Rigorous continuation of periodic solutions for impulsive delay differential equations. - Kevin E. M. Church; Gabriel William Duchesne (Appl. Math. Comput., 2022)

A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory. - Gabriel William Duchesne; Jean-Philippe Lessard; Akitoshi Takayasu (J. Sci. Comput., 2025)

From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs. - Jan Bouwe van den Berg; Gabriel William Duchesne; Jean-Philippe Lessard (CoRR, 2025)