Jonathan Gallagher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2020
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CSL | Reverse Derivative Categories. | J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk |
| 2014 | OOPSLA | Verifying security patches. | Jonathan Gallagher, Robin Gonzalez, Michael E. Locasto |
| 2009 | DCOSS | Distributed Computation of Likelihood Maps for Target Tracking. | Jonathan Gallagher, Randolph L. Moses, Emre Ertin |