A Homoclinic Orbit in a Planar Singular ODE - A Computer Assisted Proof. - Robert Szczelina; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2013)

DMG-α - A Computational Geometry Library for Multimolecular Systems. - Robert Szczelina; Krzysztof Murzyn (J. Chem. Inf. Model., 2014)

Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey-Glass Equation. - Robert Szczelina; Piotr Zgliczynski (Found. Comput. Math., 2018)

High-Order Lohner-Type Algorithm for Rigorous Computation of Poincaré Maps in Systems of Delay Differential Equations with Several Delays. - Robert Szczelina; Piotr Zgliczynski (Found. Comput. Math., 2024)

Sharkovskii theorem for infinite dimensional dynamical systems. - Anna Gierzkiewicz; Robert Szczelina (Commun. Nonlinear Sci. Numer. Simul., 2025)

Corrigendum to "Sharkovskii theorem for infinite dimensional dynamical systems" [Communications in Nonlinear Science and Numerical Simulation 146 (2025) 108770]. - Anna Gierzkiewicz; Robert Szczelina (Commun. Nonlinear Sci. Numer. Simul., 2025)