Bifurcation of Bounded Solutions of Impulsive Differential Equations. - Kevin E. M. Church; Xinzhi Liu (Int. J. Bifurc. Chaos, 2016)

Bifurcation Analysis and Application for Impulsive Systems with Delayed Impulses. - Kevin E. M. Church; Xinzhi Liu (Int. J. Bifurc. Chaos, 2017)

User manual and tutorial for ISIM1s: a tiny MATLAB package for single stage invariant manifold-guided impulsive stabilization of delay equations. - Kevin E. M. Church (CoRR, 2019)

Cost-Effective Robust Stabilization and Bifurcation Suppression. - Kevin E. M. Church; Xinzhi Liu (SIAM J. Control. Optim., 2019)

Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards. - Kevin E. M. Church; Clément Fortin (Int. J. Bifurc. Chaos, 2021)

Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data. - Kevin E. M. Church (SIAM J. Appl. Dyn. Syst., 2021)

Invariant Manifold-Guided Impulsive Stabilization of Delay Equations. - Kevin E. M. Church; Xinzhi Liu (IEEE Trans. Autom. Control., 2021)

Rigorous continuation of periodic solutions for impulsive delay differential equations. - Kevin E. M. Church; Gabriel William Duchesne (Appl. Math. Comput., 2022)

Validated integration of differential equations with state-dependent delay. - Kevin E. M. Church (Commun. Nonlinear Sci. Numer. Simul., 2022)

Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. - Jacek Cyranka; Kevin E. M. Church; Jean-Philippe Lessard (ECAI, 2023)