Travelling Waves for Fourth Order Parabolic Equations. - Jan Bouwe van den Berg; Josephus Hulshof; Robertus C. Vandervorst (SIAM J. Math. Anal., 2001)

Formal Asymptotics of Bubbling in the Harmonic Map Heat Flow. - Jan Bouwe van den Berg; John R. King; Josephus Hulshof (SIAM J. Appl. Math., 2003)

The Speed Law for Highly Radiative Flames in a Gaseous Mixture with Large Activation Energy. - Jan Bouwe van den Berg; Claude-Michel Brauner; Josephus Hulshof; Alessandra Lunardi (SIAM J. Appl. Math., 2005)

Flame Balls for a Free Boundary Combustion Model with Radiative Transfer. - Jan Bouwe van den Berg; Vincent Guyonne; Josephus Hulshof (SIAM J. Appl. Math., 2006)

Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift-Hohenberg Equation. - Jan Bouwe van den Berg; Jean-Philippe Lessard (SIAM J. Appl. Dyn. Syst., 2008)

Global smooth solution curves using rigorous branch following. - Jan Bouwe van den Berg; Jean-Philippe Lessard; Konstantin Mischaikow (Math. Comput., 2010)

The Order of Bifurcation Points in Fourth Order Conservative Systems via Braids. - Jan Bouwe van den Berg; Miroslav Kramár; Robert C. A. M. Vandervorst (SIAM J. Appl. Dyn. Syst., 2011)

Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray-Scott Equation. - Jan Bouwe van den Berg; Jason D. Mireles-James; Jean-Philippe Lessard; Konstantin Mischaikow (SIAM J. Math. Anal., 2011)

Stationary Coexistence of Hexagons and Rolls via Rigorous Computations. - Jan Bouwe van den Berg; Andréa Deschênes; Jean-Philippe Lessard; Jason D. Mireles-James (SIAM J. Appl. Dyn. Syst., 2015)

Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg-Landau Problem. - Jan Bouwe van den Berg; Chris M. Groothedde; J. F. Williams (SIAM J. Appl. Dyn. Syst., 2015)

Computing (Un)stable Manifolds with Validated Error Bounds: Non-resonant and Resonant Spectra. - Jan Bouwe van den Berg; Jason D. Mireles-James; Christian Reinhardt (J. Nonlinear Sci., 2016)

A Floer Homology Approach to Traveling Waves in Reaction-Diffusion Equations on Cylinders. - Bente Bakker; Jan Bouwe van den Berg; Robert C. A. M. Vandervorst (SIAM J. Appl. Dyn. Syst., 2018)

Rigorously Computing Symmetric Stationary States of the Ohta-Kawasaki Problem in Three Dimensions. - Jan Bouwe van den Berg; J. F. Williams (SIAM J. Math. Anal., 2019)

Spontaneous Periodic Orbits in the Navier-Stokes Flow. - Jan Bouwe van den Berg; Maxime Breden; Jean-Philippe Lessard; Lennaert van Veen (J. Nonlinear Sci., 2021)

Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation. - Jan Bouwe van den Berg; Jean-Philippe Lessard; Elena Queirolo (SIAM J. Appl. Dyn. Syst., 2021)

Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE. - Jan Bouwe van den Berg; Elena Queirolo (Commun. Nonlinear Sci. Numer. Simul., 2022)

Computer assisted proofs in dynamical systems. - Maciej J. Capinski; Jason D. Mireles-James; Warwick Tucker; Daniel Wilczak; Jan Bouwe van den Berg (Commun. Nonlinear Sci. Numer. Simul., 2023)

Validated integration of semilinear parabolic PDEs. - Jan Bouwe van den Berg; Maxime Breden; Ray Sheombarsing (Numerische Mathematik, 2024)

Toward Computational Morse-Floer Homology: Forcing Results for Connecting Orbits by Computing Relative Indices of Critical Points. - Jan Bouwe van den Berg; Marcio Gameiro; Jean-Philippe Lessard; Rob Van der Vorst (Found. Comput. Math., 2024)

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)