A Rigorous ODE Solver and Smale's 14th Problem. - Warwick Tucker (Found. Comput. Math., 2002)

Reconstructing Metabolic Networks Using Interval Analysis. - Warwick Tucker; Vincent Moulton (WABI, 2005)

Parameter Reconstruction for Biochemical Networks Using Interval Analysis. - Warwick Tucker; Vincent Moulton (Reliab. Comput., 2006)

Rigorous study of short periodic orbits for the Lorenz system. - Zbigniew Galias; Warwick Tucker (ISCAS, 2008)

Rigorous parameter reconstruction for differential equations with noisy data. - Tomas Johnson; Warwick Tucker (Autom., 2008)

Symbolic Dynamics based Method for Rigorous Study of the Existence of Short Cycles for Chaotic Systems. - Zbigniew Galias; Warwick Tucker (ISCAS, 2009)

Fundamentals of Chaos. - Warwick Tucker (Intelligent Computing Based on Chaos, 2009)

An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a quintic Hamiltonian Planar Vector Field under quintic Perturbation. - Tomas Johnson; Warwick Tucker (Int. J. Bifurc. Chaos, 2010)

An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7. - Tomas Johnson; Warwick Tucker (Int. J. Bifurc. Chaos, 2010)

Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools. - Zbigniew Galias; Warwick Tucker (Int. J. Bifurc. Chaos, 2011)

On the global stability of a peer-to-peer network model. - O. Fogelklou; Takis Konstantopoulos; Warwick Tucker (Oper. Res. Lett., 2012)

Mapped Regular Pavings. - Jennifer Harlow; Raazesh Sainudiin; Warwick Tucker (Reliab. Comput., 2012)

There and back again: Split and prune to tighten. - Raazesh Sainudiin; Jennifer Harlow; Warwick Tucker (FUZZ-IEEE, 2013)

Combination of exhaustive search and continuation method for the study of sinks in the Hénon map. - Zbigniew Galias; Warwick Tucker (ISCAS, 2013)

Numerical Study of Coexisting attractors for the HéNon Map. - Zbigniew Galias; Warwick Tucker (Int. J. Bifurc. Chaos, 2013)

Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library. - Mioara Joldes; Valentina Popescu; Warwick Tucker (SIGARCH Comput. Archit. News, 2014)

Fixed points of a destabilized Kuramoto-Sivashinsky equation. - Ferenc A. Bartha; Warwick Tucker (Appl. Math. Comput., 2015)

A database of rigorous and high-precision periodic orbits of the Lorenz model. - Roberto Barrio; Angeles Dena; Warwick Tucker (Comput. Phys. Commun., 2015)

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. - Mioara Joldes; Jean-Michel Muller; Valentina Popescu; Warwick Tucker (ICMS, 2016)

On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity. - Zbigniew Galias; Warwick Tucker (ISCAS, 2018)

Enclosing all zeros of a system of analytic functions. - Joel Dahne; M. F. Ciappina; Warwick Tucker (Appl. Math. Comput., 2019)

Scalable Multivariate Histograms. - Raazesh Sainudiin; Warwick Tucker; Tilo Wiklund (CoRR, 2020)

The Songling system has exactly four limit cycles. - Zbigniew Galias; Warwick Tucker (Appl. Math. Comput., 2022)

Fixed points of arbitrarily deep 1-dimensional neural networks. - Andrew Cook; Andy Hammerlindl; Warwick Tucker (CoRR, 2023)

Computer assisted proofs in dynamical systems. - Maciej J. Capinski; Jason D. Mireles-James; Warwick Tucker; Daniel Wilczak; Jan Bouwe van den Berg (Commun. Nonlinear Sci. Numer. Simul., 2023)

Efficient and Validated Numerical Evaluation of Abelian Integrals. - Florent Bréhard; Nicolas Brisebarre; Mioara Joldes; Warwick Tucker (ACM Trans. Math. Softw., 2024)