Jonathan Gallagher

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 8

Top Topics

Programming Language Constructs

Gaussian Function

Fluent Calculus

Database Language

Top Venues

Math. Struct. Comput. Sci.

Publications

Jonathan Gallagher, William Pugsley
Development of a Dual-Input Neural Model for Detecting AI-Generated Imagery. CoRR (2024)
Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal reverse differential categories. Math. Struct. Comput. Sci. 32 (10) (2022)
Geoffrey S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal Reverse Differential Categories. CoRR (2022)
Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk
Categorical semantics of a simple differential programming language. ACT (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse Derivative Categories. CSL (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse derivative categories. CoRR (2019)
J. Robin B. Cockett, Jonathan Gallagher
Categorical models of the differential λ-calculus. Math. Struct. Comput. Sci. 29 (10) (2019)
J. Robin B. Cockett, Jonathan Gallagher
Categorical Models of the Differential λ-Calculus Revisited. MFPS (2016)
Jonathan Gallagher, Robin Gonzalez, Michael E. Locasto
Verifying security patches. PSP (2014)
J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes
Timed Sets, Functional Complexity, and Computability. MFPS (2012)
Jonathan Gallagher, Randolph L. Moses, Emre Ertin
Distributed Computation of Likelihood Maps for Target Tracking. DCOSS (2009)