| 2022 | FSCD | Normalization Without Syntax. | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straburger |
| 2021 | LICS | Combinatorial Proofs and Decomposition Theorems for First-order Logic. | Dominic J. D. Hughes, Lutz Straburger, Jui-Hsuan Wu |
| 2021 | SIGIR | Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs. | Jingzhou Liu, Dominic J. D. Hughes, Yiming Yang |
| 2019 | LICS | Intuitionistic proofs without syntax. | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straburger |
| 2018 | LICS | Unification nets: canonical proof net quantifiers. | Dominic J. D. Hughes |
| 2016 | LICS | Conflict nets: Efficient locally canonical MALL proof nets. | Dominic J. D. Hughes, Willem Heijltjes |
| 2015 | LICS | Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. | Willem Heijltjes, Dominic J. D. Hughes |
| 2003 | LICS | Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). | Dominic J. D. Hughes, Rob J. van Glabbeek |
| 1999 | LICS | Full Completeness of the Multiplicative Linear Logic of Chu Spaces. | Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt |
| 1997 | LICS | Games and Definability for System F. | Dominic J. D. Hughes |