Heteroclinic connections between periodic orbits in planar restricted circular three-body problem–a computer assisted proof D Wilczak, P Zgliczynski Communications in mathematical physics 234 (1), 37-75, 2003 | 101 | 2003 |

C^r-Lohner algorithm D Wilczak, P Zgliczyński Schedae Informaticae 20, 9-46, 2011 | 56* | 2011 |

The existence of Shilnikov homoclinic orbits in the Michelson system: a computer assisted proof D Wilczak Foundations of Computational Mathematics 6 (4), 495-535, 2006 | 52 | 2006 |

Heteroclinic connections between periodic orbits in planar restricted circular three body problem. Part II D Wilczak, P Zgliczyński Communications in mathematical physics 259 (3), 561-576, 2005 | 42 | 2005 |

Rigorous verification of cocoon bifurcations in the Michelson system H Kokubu, D Wilczak, P Zgliczyński Nonlinearity 20 (9), 2147, 2007 | 41 | 2007 |

Uniformly hyperbolic attractor of the Smale-Williams type for a Poincarč map in the Kuznetsov system D Wilczak SIAM Journal on Applied Dynamical Systems 9 (4), 1263-1283, 2010 | 39 | 2010 |

Symmetric heteroclinic connections in the Michelson system: A computer assisted proof D Wilczak SIAM Journal on Applied Dynamical Systems 4 (3), 489-514, 2005 | 35 | 2005 |

Chaos in the Kuramoto–Sivashinsky equations—a computer-assisted proof D Wilczak Journal of Differential Equations 194 (2), 433-459, 2003 | 32 | 2003 |

Period doubling in the Rössler system—a computer assisted proof D Wilczak, P Zgliczyński Foundations of Computational Mathematics 9 (5), 611-649, 2009 | 26 | 2009 |

Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum D Wilczak, P Zgliczyński SIAM Journal on Applied Dynamical Systems 8 (4), 1632-1663, 2009 | 25 | 2009 |

When chaos meets hyperchaos: 4D Rössler model R Barrio, MA Martínez, S Serrano, D Wilczak Physics Letters A 379 (38), 2300-2305, 2015 | 24 | 2015 |

Topological method for symmetric periodic orbits for maps with a reversing symmetry D Wilczak, P Zgliczynski Discrete Contin. Dyn. Syst. Ser. A 17 (3), 629-652, 2007 | 18 | 2007 |

Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system D Wilczak Discrete Contin. Dyn. Syst. Ser. B 11 (4), 1039-1055, 2009 | 17 | 2009 |

A rigorous lower bound for the stability regions of the quadratic map W Tucker, D Wilczak Physica D: Nonlinear Phenomena 238 (18), 1923-1936, 2009 | 16 | 2009 |

Symmetric homoclinic solutions to the periodic orbits in the Michelson system D Wilczak Topological Methods in Nonlinear Analysis 28 (1), 155-170, 2006 | 10 | 2006 |

Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rossler system: a computer-assisted proof D Wilczak, S Serrano, R Barrio SIAM Journal on Applied Dynamical Systems 15 (1), 356-390, 2016 | 9 | 2016 |

Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation D Wilczak, P Zgliczyński SIAM Journal on Applied Dynamical Systems 15 (1), 495-525, 2016 | 6* | 2016 |

An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs I Walawska, D Wilczak Applied Mathematics and Computation 291, 303-322, 2016 | 5* | 2016 |

Capd-a rigorous toolbox for computer assisted proofs in dynamics T Kapela, M Mrozek, P Pilarczyk, D Wilczak, P Zgliczynski Technical report, 2010 | 5 | 2010 |

Rigorous numerics for homoclinic dynamics D Wilczak The Joint Conference of ASCM 2009 and MACIS 2009, 301–305, 2009 | 3 | 2009 |