| 2026 | FSCD | Equational Reasoning in Languages with Binders via Permutation Fixed-Points. | Ali K. Caires-Santos, Maribel Fernndez, Murdoch James Gabbay, Daniele Nantes-Sobrinho |
| 2021 | CAV | Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. | Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova |
| 2020 | ISoLA | UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms. | Lars Brnjes, Murdoch James Gabbay |
| 2015 | CSL | Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. | Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan |
| 2011 | CALCO | Stone Duality for Nominal Boolean Algebras with И. | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
| 2011 | FCT | Principal Types for Nominal Theories. | Elliot Fairweather, Maribel Fernndez, Murdoch James Gabbay |
| 2011 | FOSSACS | Freshness and Name-Restriction in Sets of Traces with Names. | Murdoch James Gabbay, Vincenzo Ciancia |
| 2010 | LPAR | A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. | Michael Gabbay, Murdoch James Gabbay |
| 2010 | PPDP | Permissive-nominal logic. | Gilles Dowek, Murdoch James Gabbay |
| 2008 | LPAR | Nominal Renaming Sets. | Murdoch James Gabbay, Martin Hofmann |