Publications

Computer Validation of Neural Network Dynamics: A First Case Study. Christian Kuehn and Elena Queirolo (submitted) https://arxiv.org/pdf/2202.05073.pdf

Global analysis of Hill function model dynamics I: equilibria and saddle-node bifurcations. Shane Kepley, Konstantin Mischaikow, and Elena Queirolo (submitted) https://arxiv.org/pdf/2204.13739.pdf

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations. Kevin Church and Elena Queirolo, Journal of Dynamics and Differential Equations (2023): 1-55 https://arxiv.org/pdf/2202.13326.pdf

Rigorous validation of a Hopf bifurcation in the Kuramoto–Sivashinsky PDE, J.B. van den Berg, Q., Communications in Nonlinear Science and Numerical Simulation 108 (2022): 106133. https://www.math.vu.nl/~janbouwe/code/hopfKS/HopfKS.pdf

Rigorous verification of Hopf bifurcations via desingularization and continuation, J.B. van den Berg, J.-P. Lessard, Q., SIAM Journal on Applied Dynamical Systems 20.2 (2021): 573-607. https://www.math.vu.nl/~janbouwe/pub/hopfcontinuation.pdf

A general framework for validated continuation of periodic orbits in systems of polynomial ODEs, J.B. van den Berg, Q., Journal of Computational Dynamics 8.1 (2021): 59. https://www.math.vu.nl/~janbouwe/code/continuation/continuation.pdf 

 Following periodic orbits through bifurcations, Q. (thesis, 2019)