Dominic J. D. Hughes

23 papers A* 9B 2C 1Journal 11
YearRankTypeTitle / Venue / Authors
2022 B conf
Normalization Without Syntax.
FSCD
Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
2022 J jnl
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell.
CoRR
Dusko Pavlovic, Dominic J. D. Hughes
2021 A* conf
Combinatorial Proofs and Decomposition Theorems for First-order Logic.
LICS
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
2021 J jnl
Combinatorial Proofs and Decomposition Theorems for First-order Logic.
CoRR
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
2021 A* conf
Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs.
SIGIR
Jingzhou Liu, Dominic J. D. Hughes, Yiming Yang
2020 J jnl
The nucleus of an adjunction and the Street monad on monads.
CoRR
Dusko Pavlovic, Dominic J. D. Hughes
2019 A* conf
Intuitionistic proofs without syntax.
LICS
Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
2019 B conf
Proof Nets for First-Order Additive Linear Logic.
FSCD
Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
2018 A* conf
Unification nets: canonical proof net quantifiers.
LICS
Dominic J. D. Hughes
2018 J jnl
Unification nets: canonical proof net quantifiers.
CoRR
Dominic J. D. Hughes
2016 A* conf
Conflict nets: Efficient locally canonical MALL proof nets.
LICS
Dominic J. D. Hughes, Willem Heijltjes
2016 J jnl
MALL proof nets identify proofs modulo rule commutation.
CoRR
Rob J. van Glabbeek, Dominic J. D. Hughes
2015 A* conf
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.
LICS
Willem Heijltjes, Dominic J. D. Hughes
2012 J jnl
Is Wolfram and Cook's (2,5) Turing machine really universal?
CoRR
Dominic J. D. Hughes
2010 J jnl
A minimal classical sequent calculus free of structural rules.
Ann. Pure Appl. Log.
Dominic J. D. Hughes
2006 C conf
Towards Hilbert's 24
WoLLIC
Dominic J. D. Hughes
2005 J jnl
Modelling Linear Logic Without Units (Preliminary Results).
CoRR
Robin Houston, Dominic J. D. Hughes, Andrea Schalk
2005 J jnl
Proof nets for unit-free multiplicative-additive linear logic.
ACM Trans. Comput. Log.
Dominic J. D. Hughes, Rob J. van Glabbeek
2004 J jnl
Information Hiding, Anonymity and Privacy: a Modular Approach.
J. Comput. Secur.
Dominic J. D. Hughes, Vitaly Shmatikov
2003 A* conf
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).
LICS
Dominic J. D. Hughes, Rob J. van Glabbeek
2002 J jnl
Empirical Bi-Action Tables: A Tool for the Evaluation and Optimization of Text-Input Systems. Application I: Stylus Keyboards.
Hum. Comput. Interact.
Dominic J. D. Hughes, James Warren, Orkut Buyukkokten
1999 A* conf
Full Completeness of the Multiplicative Linear Logic of Chu Spaces.
LICS
Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
1997 A* conf
Games and Definability for System F.
LICS
Dominic J. D. Hughes