Games and Definability for System F. - Dominic J. D. Hughes (LICS, 1997)

Full Completeness of the Multiplicative Linear Logic of Chu Spaces. - Harish Devarajan; Dominic J. D. Hughes; Gordon D. Plotkin; Vaughan R. Pratt (LICS, 1999)

Empirical Bi-Action Tables: A Tool for the Evaluation and Optimization of Text-Input Systems. Application I: Stylus Keyboards. - Dominic J. D. Hughes; James Warren; Orkut Buyukkokten (Hum. Comput. Interact., 2002)

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). - Dominic J. D. Hughes; Rob J. van Glabbeek (LICS, 2003)

Information Hiding, Anonymity and Privacy: a Modular Approach. - Dominic J. D. Hughes; Vitaly Shmatikov (J. Comput. Secur., 2004)

Modelling Linear Logic Without Units (Preliminary Results). - Robin Houston; Dominic J. D. Hughes; Andrea Schalk (CoRR, 2005)

Proof nets for unit-free multiplicative-additive linear logic. - Dominic J. D. Hughes; Rob J. van Glabbeek (ACM Trans. Comput. Log., 2005)

Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version). - Dominic J. D. Hughes (WoLLIC, 2006)

A minimal classical sequent calculus free of structural rules. - Dominic J. D. Hughes (Ann. Pure Appl. Log., 2010)

Is Wolfram and Cook's (2,5) Turing machine really universal? - Dominic J. D. Hughes (CoRR, 2012)

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. - Willem Heijltjes; Dominic J. D. Hughes (LICS, 2015)

Conflict nets: Efficient locally canonical MALL proof nets. - Dominic J. D. Hughes; Willem Heijltjes (LICS, 2016)

MALL proof nets identify proofs modulo rule commutation. - Rob J. van Glabbeek; Dominic J. D. Hughes (CoRR, 2016)

Unification nets: canonical proof net quantifiers. - Dominic J. D. Hughes (LICS, 2018)

Intuitionistic proofs without syntax. - Willem B. Heijltjes; Dominic J. D. Hughes; Lutz Straßburger (LICS, 2019)

Proof Nets for First-Order Additive Linear Logic. - Willem Heijltjes; Dominic J. D. Hughes; Lutz Straßburger (FSCD, 2019)

The nucleus of an adjunction and the Street monad on monads. - Dusko Pavlovic; Dominic J. D. Hughes (CoRR, 2020)

Combinatorial Proofs and Decomposition Theorems for First-order Logic. - Dominic J. D. Hughes; Lutz Straßburger; Jui-Hsuan Wu (LICS, 2021)

Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs. - Jingzhou Liu; Dominic J. D. Hughes; Yiming Yang (SIGIR, 2021)

Normalization Without Syntax. - Willem B. Heijltjes; Dominic J. D. Hughes; Lutz Straßburger (FSCD, 2022)

Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. - Dusko Pavlovic; Dominic J. D. Hughes (CoRR, 2022)