Distributed Computation of Likelihood Maps for Target Tracking. - Jonathan Gallagher; Randolph L. Moses; Emre Ertin (DCOSS, 2009)

Timed Sets, Functional Complexity, and Computability. - J. Robin B. Cockett; Joaquín Díaz-Boïls; Jonathan Gallagher; Pavel Hrubes (MFPS, 2012)

Verifying security patches. - Jonathan Gallagher; Robin Gonzalez; Michael E. Locasto (PSP, 2014)

Categorical Models of the Differential λ-Calculus Revisited. - J. Robin B. Cockett; Jonathan Gallagher (MFPS, 2016)

Categorical models of the differential λ-calculus. - J. Robin B. Cockett; Jonathan Gallagher (Math. Struct. Comput. Sci., 2019)

Reverse Derivative Categories. - J. Robin B. Cockett; Geoff S. H. Cruttwell; Jonathan Gallagher; Jean-Simon Pacaud Lemay; Benjamin MacAdam; Gordon D. Plotkin; Dorette Pronk (CSL, 2020)

Categorical semantics of a simple differential programming language. - Geoffrey S. H. Cruttwell; Jonathan Gallagher; Dorette Pronk (ACT, 2020)

Monoidal reverse differential categories. - Geoff S. H. Cruttwell; Jonathan Gallagher; Jean-Simon Pacaud Lemay; Dorette Pronk (Math. Struct. Comput. Sci., 2022)

Development of a Dual-Input Neural Model for Detecting AI-Generated Imagery. - Jonathan Gallagher; William Pugsley (CoRR, 2024)

Self-Satisfied: An end-to-end framework for SAT generation and prediction. - Christopher R. Serrano; Jonathan Gallagher; Kenji Yamada; Alexei Kopylov; Michael A. Warren (CoRR, 2024)

Provably effective detection of effective data poisoning attacks. - Jonathan Gallagher; Yasaman Esfandiari; Callen MacPhee; Michael A. Warren (CoRR, 2025)