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 Validation of Neural Network Dynamics: A First Case Study. - Christian Kuehn; Elena Queirolo (CoRR, 2022)

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations. - Kevin Church; Elena Queirolo (CoRR, 2022)

Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations. - Shane Kepley; Konstantin Mischaikow; Elena Queirolo (CoRR, 2022)