| 2011 | ||
|---|---|---|
| j6 | Zbigniew Galias, Warwick Tucker: Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools. I. J. Bifurcation and Chaos 21(2): 551-563 (2011) | |
| 2010 | ||
| j5 | Tomas Johnson, Warwick Tucker: An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a quintic Hamiltonian Planar Vector Field under quintic Perturbation. I. J. Bifurcation and Chaos 20(1): 63-70 (2010) | |
| j4 | Tomas Johnson, Warwick Tucker: An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7. I. J. Bifurcation and Chaos 20(5): 1451-1458 (2010) | |
| 2009 | ||
| c3 | Zbigniew Galias, Warwick Tucker: Symbolic Dynamics based Method for Rigorous Study of the Existence of Short Cycles for Chaotic Systems. ISCAS 2009: 1907-1910 | |
| 2008 | ||
| j3 | Tomas Johnson, Warwick Tucker: Rigorous parameter reconstruction for differential equations with noisy data. Automatica 44(9): 2422-2426 (2008) | |
| c2 | Zbigniew Galias, Warwick Tucker: Rigorous study of short periodic orbits for the Lorenz system. ISCAS 2008: 764-767 | |
| 2006 | ||
| j2 | Warwick Tucker, Vincent Moulton: Parameter Reconstruction for Biochemical Networks Using Interval Analysis. Reliable Computing 12(5): 389-402 (2006) | |
| 2005 | ||
| c1 | Warwick Tucker, Vincent Moulton: Reconstructing Metabolic Networks Using Interval Analysis. WABI 2005: 192-203 | |
| 2002 | ||
| j1 | Warwick Tucker: A Rigorous ODE Solver and Smale's 14th Problem. Foundations of Computational Mathematics 2(1): 53-117 (2002) | |
| 1 | Zbigniew Galias | |
| 2 | Tomas Johnson | |
| 3 | Vincent Moulton |
Data released under the ODC-BY 1.0 license — See also our legal information page