Warwick Tucker

Research output

Research output per year 1999 1999 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2023 2024

• 39 Article
• 13 Conference Paper
• 2 Chapter (Book)
• 2 Encyclopaedia / Dictionary Entry
• 2 More
  • 1 Textbook
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2024

  The Number of Relative Equilibria in the PCR4BP

  Figueras, J. L., Tucker, W. & Zgliczynski, P., 2024, In: Journal of Dynamics and Differential Equations. 36, p. 2827–2877 51 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
• 2023

  Computer assisted proofs in dynamical systems

  Capiński, M. J., Mireles James, J. D., Tucker, W., Wilczak, D. & van den Berg, J. B., Apr 2023, In: Communications in Nonlinear Science and Numerical Simulation. 118, 1 p., 106998.

  Research output: Contribution to journal › Editorial › Other › peer-review

• Lower bounds on the Hausdorff dimension of some Julia sets

  Dudko, A., Gorbovickis, I. & Tucker, W., May 2023, In: Nonlinearity. 36, 5, 27 p., 2867.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access

• Nowhere coexpanding functions

  Cook, A., Hammerlindl, A. & Tucker, W., 1 Dec 2023, In: Chaos. 33, 12, 6 p., 123105.

  Research output: Contribution to journal › Article › Research › peer-review
• 2022

  The Songling system has exactly four limit cycles

  Galias, Z. & Tucker, W., 15 Feb 2022, In: Applied Mathematics and Computation. 415, 8 p., 126691.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  2 Citations (Scopus)
• 2019

  Enclosing all zeros of a system of analytic functions

  Dahne, J., Ciappina, M. F. & Tucker, W., 1 May 2019, In: Applied Mathematics and Computation. 348, p. 513-522 10 p.

  Research output: Contribution to journal › Article › Research › peer-review
  1 Citation (Scopus)

• Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor

  Galias, Z. & Tucker, W., 15 Feb 2019, In: Journal of Differential Equations. 266, 5, p. 2408-2434 27 p.

  Research output: Contribution to journal › Article › Research › peer-review
  6 Citations (Scopus)
• 2018

  On the existence of the double scroll attractor for the Chua's circuit with a smooth nonlinearity

  Galias, Z. & Tucker, W., 26 Apr 2018, Proceedings - IEEE International Symposium on Circuits and Systems: 2018 IEEE International Symposium on Circuits and Systems, ISCAS 2018; Florence; Italy; 27 May 2018 through 30 May 2018; Category number CFP18ISC-ART. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 4268-4272 5 p. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2018-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
• 2017

  Invertibility Properties of Singular Integral Operators Associated with the Lamé and Stokes Systems on Infinite Sectors in Two Dimensions

  Mitrea, I., Ott, K. & Tucker, W., 1 Oct 2017, In: Integral Equations and Operator Theory. 89, 2, p. 151-207 57 p.

  Research output: Contribution to journal › Article › Research › peer-review
  2 Citations (Scopus)
• 2016

  CAMPARY: Cuda multiple precision arithmetic library and applications

  Joldes, M., Muller, J. M., Popescu, V. & Tucker, W., 1 Jan 2016, Mathematical Software – ICMS 2016: 5th International Conference on Mathematical Software, ICMS 2016; Berlin; Germany; 11 July 2016 through 14 July 2016. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (eds.). Cham Switzerland: Springer-Verlag London Ltd., Vol. 9725. p. 232-240 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9725).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research
  27 Citations (Scopus)

• Interval Methods

  Tucker, W., 2016, Uncertainty in Biology: A Computational Modeling Approach. Geris, L. & Gomez-Cabrero, D. (eds.). Cham Switzerland: Springer, Vol. 17. p. 199-211 13 p. (Studies in Mechanobiology, Tissue Engineering and Biomaterials; vol. 17).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• Scientific computing, computer arithmetic, and validated numerics: 16th international symposium, SCAN 2014 Würzburg, Germany, september 21-26, 2014 revised selected papers

  Nehmeier, M. (ed.), von Gudenberg, J. W. (ed.) & Tucker, W. (ed.), 1 Jan 2016, Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Revised Selected Papers. Nehmeier, M., von Gudenberg, J. W. & Tucker, W. (eds.). Springer-Verlag London Ltd., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9553).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review
• 2015

  A database of rigorous and high-precision periodic orbits of the Lorenz model

  Barrio, R., Dena, A. & Tucker, W., Sept 2015, In: Computer Physics Communications. 194, p. 76-83 8 p.

  Research output: Contribution to journal › Article › Research › peer-review
  23 Citations (Scopus)

• Computer-Aided Proofs via Interval Analysis

  Tucker, W., 2015, The Princeton Companion to Applied Mathematics. Higham, N. J., Dennis, M. R., Glendinning, P., Martin, P. A., Santosa, F. & Tanner, J. (eds.). Princeton NJ USA: Princeton University Press, p. 790-795 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Encyclopaedia / Dictionary Entry › Other › peer-review

• Fixed points of a destabilized Kuramoto-Sivashinsky equation

  Bartha, F. A. & Tucker, W., 1 Sept 2015, In: Applied Mathematics and Computation. 266, p. 339-349 11 p.

  Research output: Contribution to journal › Article › Research › peer-review
  5 Citations (Scopus)

• Interval Analysis

  Tucker, W., 2015, The Princeton Companion to Applied Mathematics. Higham, N. J., Dennis, M. R., Glendinning, P., Martin, P. A., Santosa, F. & Tanner, J. (eds.). Princeton NJ USA: Princeton University Press, p. 105-106 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Encyclopaedia / Dictionary Entry › Other › peer-review

• Is the Hénon attractor chaotic?

  Galias, Z. & Tucker, W., 5 Mar 2015, In: Chaos. 25, 3, 12 p., 033102.

  Research output: Contribution to journal › Article › Research › peer-review
  15 Citations (Scopus)
• 2014

  A systematic approach to find periodic sinks of the Henon map close to the classical case

  Galias, Z. & Tucker, W., 2014, Proceedings of the 2014 International Symposium on Nonlinear Theory and its Applications (NOLTA2014). Japan: Institute of Electronics, Information and Communications Engineers (IEICE), p. 771-774 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research

  Open Access

  File

• On the structure of existence regions for sinks of the Hénon map

  Galias, Z. & Tucker, W., 2014, In: Chaos. 24, 1, 14 p., 013120.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access

  File

• Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library

  Joldes, M., Popescu, V. & Tucker, W., Sept 2014, ACM SIGARCH Computer Architecture News, 42, 4, p. 63-68 6 p.

  Research output: Contribution to specialist publication › Article › Research
• 2013

  Combination of exhaustive search and continuation method for the study of sinks in the Hénon map

  Galias, Z. & Tucker, W., 9 Sept 2013, 2013 IEEE International Symposium on Circuits and Systems, ISCAS 2013. p. 2751-2754 4 p. (Proceedings - IEEE International Symposium on Circuits and Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
  1 Citation (Scopus)

• Computer-assisted techniques for the verification of the Chebyshev property of Abelian integrals

  Figueras, J. L., Tucker, W. & Villadelprat, J., 15 Apr 2013, In: Journal of Differential Equations. 254, 8, p. 3647-3663 17 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  20 Citations (Scopus)

• Numerical study of coexisting attractors for the Hénon map

  Galias, Z. & Tucker, W., Jul 2013, In: International Journal of Bifurcation and Chaos. 23, 7, 1330025.

  Research output: Contribution to journal › Article › Research › peer-review
  11 Citations (Scopus)

• There and back again: Split and prune to tighten

  Sainudiin, R., Harlow, J. & Tucker, W., 22 Nov 2013, FUZZ-IEEE 2013 - 2013 IEEE International Conference on Fuzzy Systems. (IEEE International Conference on Fuzzy Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
• 2012

  A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity

  Fogelklou, O., Tucker, W. & Kreiss, G., 1 Feb 2012, In: Nonlinear Differential Equations and Applications. 19, 1, p. 97-131 35 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  3 Citations (Scopus)

• Mapped regular pavings

  Harlow, J., Sainudiin, R. & Tucker, W., 27 Nov 2012, In: Reliable Computing. 16, p. 252-282 31 p.

  Research output: Contribution to journal › Article › Research › peer-review

  6 Citations (Scopus)

• On the global stability of a peer-to-peer network model

  Fogelklou, O., Konstantopoulos, T. & Tucker, W., 1 May 2012, In: Operations Research Letters. 40, 3, p. 190-194 5 p.

  Research output: Contribution to journal › Article › Research › peer-review
• 2011

  A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition

  Fogelklou, O., Tucker, W., Kreiss, G. & Siklosi, M., 1 Mar 2011, In: Communications in Nonlinear Science and Numerical Simulation. 16, 3, p. 1227-1243 17 p.

  Research output: Contribution to journal › Article › Research › peer-review
  4 Citations (Scopus)

• A note on the convergence of parametrised non-resonant invariant manifolds

  Johnson, T. & Tucker, W., 1 Dec 2011, In: Qualitative Theory of Dynamical Systems. 10, 1, p. 107-121 15 p.

  Research output: Contribution to journal › Article › Research › peer-review
  17 Citations (Scopus)

• On a computer-aided approach to the computation of Abelian integrals

  Johnson, T. & Tucker, W., 1 Sept 2011, In: BIT Numerical Mathematics. 51, 3, p. 653-667 15 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  4 Citations (Scopus)

• Optimal design in population kinetic experiments by set-valued methods

  Gennemark, P., Danis, A., Nyberg, J., Hooker, A. C. & Tucker, W., 1 Dec 2011, In: The AAPS Journal. 13, 4, p. 495-507 13 p.

  Research output: Contribution to journal › Article › Research › peer-review
  2 Citations (Scopus)

• Validated numerics: A short introduction to rigorous computations

  Tucker, W., 5 Jul 2011, Princeton University Press.

  Research output: Book/Report › Textbook › peer-review

  154 Citations (Scopus)

• Validated study of the existence of short cycles for chaotic systems using symbolic dynamics and interval tools

  Galias, Z. & Tucker, W., Feb 2011, In: International Journal of Bifurcation and Chaos. 21, 2, p. 551-563 13 p.

  Research output: Contribution to journal › Article › Research › peer-review
  11 Citations (Scopus)
• 2010

  An improved lower bound on the number of limit cycles bifurcating from a hamiltonian planar vector field of degree 7

  Johnson, T. & Tucker, W., May 2010, In: International Journal of Bifurcation and Chaos. 20, 5, p. 1451-1458 8 p.

  Research output: Contribution to journal › Article › Research › peer-review
  9 Citations (Scopus)

• An improved lower bound on the number of limit cycles bifurcating from a quintic hamiltonian planar vector field under quintic perturbation

  Johnson, T. & Tucker, W., Jan 2010, In: International Journal of Bifurcation and Chaos. 20, 1, p. 63-70 8 p.

  Research output: Contribution to journal › Article › Research › peer-review
  4 Citations (Scopus)

• Rigorous parameter estimation for noisy mixed-effects models

  Danis, A. S., Hooker, A. C. & Tucker, W., 2010, Proceedings of the 2010 International Symposium on Nonlinear Theory and its Applications (NOLTA2010). Japan: Institute of Electronics, Information and Communications Engineers (IEICE), p. 67-70 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research

  Open Access

  File
• 2009

  A rigorous lower bound for the stability regions of the quadratic map

  Tucker, W. & Wilczak, D., Sept 2009, In: Physica D: Nonlinear Phenomena. 238, 18, p. 1923-1936 14 p.

  Research output: Contribution to journal › Article › Research › peer-review
  20 Citations (Scopus)

• A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five

  Johnson, T. & Tucker, W., 1 Jun 2009, In: Dynamical Systems. 24, 2, p. 237-247 11 p.

  Research output: Contribution to journal › Article › Research › peer-review
  3 Citations (Scopus)

• Automated computation of robust normal forms of planar analytic vector fields

  Johnson, T. & Tucker, W., 1 Nov 2009, In: Discrete and Continuous Dynamical Systems - Series B. 12, 4, p. 769-782 14 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  5 Citations (Scopus)

• Enclosing all zeros of an analytic function - A rigorous approach

  Johnson, T. & Tucker, W., 1 Jun 2009, In: Journal of Computational and Applied Mathematics. 228, 1, p. 418-423 6 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  31 Citations (Scopus)

• Fundamentals of chaos

  Tucker, W., 16 Feb 2009, Intelligent Computing Based on Chaos. Kocarev, L., Galias, Z. & Lian, S. (eds.). p. 1-23 23 p. (Studies in Computational Intelligence; vol. 184).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  1 Citation (Scopus)

• Symbolic dynamics based method for rigorous study of the existence of short cycles for chaotic systems

  Galias, Z. & Tucker, W., 26 Oct 2009, 2009 IEEE International Symposium on Circuits and Systems, ISCAS 2009. p. 1907-1910 4 p. (Proceedings - IEEE International Symposium on Circuits and Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
  1 Citation (Scopus)
• 2008

  Rigorous parameter reconstruction for differential equations with noisy data

  Johnson, T. & Tucker, W., 1 Sept 2008, In: Automatica. 44, 9, p. 2422-2426 5 p.

  Research output: Contribution to journal › Article › Research › peer-review
  23 Citations (Scopus)

• Rigorous study of short periodic orbits for the Lorenz system

  Galias, Z. & Tucker, W., 19 Sept 2008, 2008 IEEE International Symposium on Circuits and Systems, ISCAS 2008. p. 764-767 4 p. (Proceedings - IEEE International Symposium on Circuits and Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
  12 Citations (Scopus)

• Short periodic orbits for the Lorenz system

  Galias, Z. & Tucker, W., 1 Dec 2008, ICSES'08 - ICSES 2008 International Conference on Signals and Electronic Systems, Proceedings. p. 285-288 4 p. (ICSES'08 - ICSES 2008 International Conference on Signals and Electronic Systems, Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
  7 Citations (Scopus)
• 2007

  Estimating parameters for generalized mass action models using constraint propagation

  Tucker, W., Kutalik, Z. & Moulton, V., 1 Aug 2007, In: Mathematical Biosciences. 208, 2, p. 607-620 14 p.

  Research output: Contribution to journal › Article › Research › peer-review
  39 Citations (Scopus)

• Interval analysis techniques for boundary value problems of elasticity in two dimensions

  Mitrea, I. & Tucker, W., 1 Feb 2007, In: Journal of Differential Equations. 233, 1, p. 181-198 18 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access
  3 Citations (Scopus)

• S-system parameter estimation for noisy metabolic profiles using Newton-flow analysis

  Kutalik, Z., Tucker, W. & Moulton, V., 1 May 2007, In: IET Systems Biology. 1, 3, p. 174-180 7 p.

  Research output: Contribution to journal › Article › Research › peer-review
  45 Citations (Scopus)
• 2006

  Parameter reconstruction for biochemical networks using interval analysis

  Tucker, W. & Moulton, V., 1 Oct 2006, In: Reliable Computing. 12, 5, p. 389-402 14 p.

  Research output: Contribution to journal › Article › Research › peer-review
  18 Citations (Scopus)
• 2005

  Reconstructing metabolic networks using interval analysis

  Tucker, W. & Moulton, V., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 192-203 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3692 LNBI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
  6 Citations (Scopus)