Jonathan Gallagher

According to our database, Jonathan Gallagher authored at least 10 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Development of a Dual-Input Neural Model for Detecting AI-Generated Imagery.

Jonathan Gallagher, William Pugsley

CoRR, 2024

2022

Monoidal reverse differential categories.

Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk

Math. Struct. Comput. Sci., November, 2022

2020

Categorical semantics of a simple differential programming language.

Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Reverse Derivative Categories.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Categorical models of the differential λ-calculus.

J. Robin B. Cockett, Jonathan Gallagher

Math. Struct. Comput. Sci., 2019

2016

Categorical Models of the Differential λ-Calculus Revisited.

J. Robin B. Cockett, Jonathan Gallagher

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

2014

Verifying security patches.

Jonathan Gallagher, Robin Gonzalez, Michael E. Locasto

Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

2012

Timed Sets, Functional Complexity, and Computability.

J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2009

Distributed Computation of Likelihood Maps for Target Tracking.

Jonathan Gallagher, Randolph L. Moses, Emre Ertin

Proceedings of the Distributed Computing in Sensor Systems, 2009