Gap Distribution of Farey Fractions under Some Divisibility Constraints. - Florin P. Boca; Byron Heersink; Paul Spiegelhalter (Integers, 2013)

GPLADD: Quantifying Trust in Government and Commercial Systems A Game-Theoretic Approach. - Alexander V. Outkin; Brandon K. Eames; Meghan A. Galiardi; Sarah Walsh; Eric D. Vugrin; Byron Heersink; Jacob A. Hobbs; Gregory D. Wyss (ACM Trans. Priv. Secur., 2019)

Formal verification of octorotor flight envelope using barrier functions and SMT solving. - Byron Heersink; Pape M. Sylla; Michael A. Warren (CoRR, 2021)

Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving. - Byron Heersink; Pape M. Sylla; Michael A. Warren (IEEE Control. Syst. Lett., 2022)