| Publication | Date of Publication | Type |
|---|
Rigorous computation of expansion in one-dimensional dynamics
Chaos | 2026-04-02 | Paper |
An absorbing set for the Chialvo map
Communications in Nonlinear Science and Numerical Simulation | 2024-03-21 | Paper |
Topological-numerical analysis of a two-dimensional discrete neuron model
| 2022-09-07 | Paper |
Nilpotent singularities and chaos: tritrophic food chains
Chaos, Solitons and Fractals | 2022-04-21 | Paper |
Rigorous computation of escape times for parameter intervals in the quadratic map
| 2021-04-08 | Paper |
Rigorous numerics for critical orbits in the quadratic family
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2020-11-02 | Paper |
An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
Topological Methods in Nonlinear Analysis | 2017-04-04 | Paper |
Computation of cubical Steenrod squares
Computational Topology in Image Context | 2016-06-27 | Paper |
A study of rigorous ODE integrators for multi-scale set-oriented computations
Applied Numerical Mathematics | 2016-05-27 | Paper |
Global dynamics in a stage-structured discrete-time population model with harvesting
Journal of Theoretical Biology | 2016-05-19 | Paper |
Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family
Experimental Mathematics | 2016-04-22 | Paper |
Inducing a map on homology from a correspondence
Proceedings of the American Mathematical Society | 2016-03-03 | Paper |
Combinatorial-topological framework for the analysis of global dynamics
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2015-09-02 | Paper |
Rich bifurcation structure in a two-patch vaccination model
SIAM Journal on Applied Dynamical Systems | 2015-06-23 | Paper |
Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
Advances in Computational Mathematics | 2015-03-23 | Paper |
Shadowing is generic -- a continuous map case
Discrete and Continuous Dynamical Systems | 2014-12-02 | Paper |
Set-oriented numerical analysis of difference equations with parameters
| 2012-01-26 | Paper |
Finite resolution dynamics
Foundations of Computational Mathematics | 2011-05-11 | Paper |
scientific article; zbMATH DE number 5831832 (Why is no real title available?)
| 2011-01-03 | Paper |
Parallelization method for a continuous property
Foundations of Computational Mathematics | 2010-03-12 | Paper |
Recent development in rigorous computational methods in dynamical systems
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
A database schema for the analysis of global dynamics
AIP Conference Proceedings | 2010-01-22 | Paper |
Decomposing Cavities in Digital Volumes into Products of Cycles
Discrete Geometry for Computer Imagery | 2009-12-01 | Paper |
A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
SIAM Journal on Applied Dynamical Systems | 2009-07-29 | Paper |
Homology algorithm based on acyclic subspace
Computers & Mathematics with Applications | 2008-09-11 | Paper |
Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
Topology and its Applications | 2008-06-19 | Paper |
Graph approach to the computation of the homology of continuous maps
Foundations of Computational Mathematics | 2006-09-28 | Paper |
scientific article; zbMATH DE number 1936660 (Why is no real title available?)
| 2004-03-11 | Paper |
Topological-numerical approach to the existence of periodic trajectories in ODE's
Discrete and Continuous Dynamical Systems | 2004-02-23 | Paper |
scientific article; zbMATH DE number 1569243 (Why is no real title available?)
| 2001-02-22 | Paper |
Computer assisted method for proving existence of periodic orbits
Topological Methods in Nonlinear Analysis | 2000-05-08 | Paper |
