Chaos in Cylindrical Stadium Billiards via a Generic nonlinear Mechanism. - Thomas Gilbert; David P. Sanders (Int. J. Bifurc. Chaos, 2012)

Validated numerics with Python: the ValidiPy package. - David P. Sanders; Luis Benet (SciPy, 2014)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

TaylorSeries.jl: Taylor expansions in one and several variables in Julia. - Luis Benet; David P. Sanders (J. Open Source Softw., 2019)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling 001; et al. (ARCH@ADHS, 2021)