​
Login / Signup
Elena Queirolo
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 7
Top Topics
Image Magnification
Anisotropic Diffusion
Level Set
Formal Methods
Top Venues
CoRR
SIAM J. Appl. Dyn. Syst.
Commun. Nonlinear Sci. Numer. Simul.
</>
Publications
</>
Kevin Church
,
Elena Queirolo
Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations.
CoRR
(2022)
Jan Bouwe van den Berg
,
Elena Queirolo
Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE.
Commun. Nonlinear Sci. Numer. Simul.
108 (2022)
Shane Kepley
,
Konstantin Mischaikow
,
Elena Queirolo
Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations.
CoRR
(2022)
Christian Kuehn
,
Elena Queirolo
Computer Validation of Neural Network Dynamics: A First Case Study.
CoRR
(2022)
Jan Bouwe van den Berg
,
Jean-Philippe Lessard
,
Elena Queirolo
Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation.
SIAM J. Appl. Dyn. Syst.
20 (2) (2021)
Jan Bouwe van den Berg
,
Elena Queirolo
Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE.
CoRR
(2020)
Jan Bouwe van den Berg
,
Jean-Philippe Lessard
,
Elena Queirolo
Rigorous verification of Hopf bifurcations via desingularization and continuation.
CoRR
(2020)