Dominic J. D. Hughes
Dominic J. D. Hughes
Unknown affiliation
Verified email at theory.stanford.edu - Homepage
Title
Cited by
Cited by
Year
Information hiding, anonymity and privacy: a modular approach
D Hughes, V Shmatikov
Journal of Computer security 12 (1), 3-36, 2004
2432004
Proof nets for unit-free multiplicative-additive linear logic
DJD Hughes, RJ Van Glabbeek
LICS, 1-10, 2003
922003
Proofs without syntax
DJD Hughes
Annals of Mathematics, 1065-1076, 2006
742006
Full completeness of the multiplicative linear logic of Chu spaces
H Devarajan, D Hughes, G Plotkin, V Pratt
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
601999
Proof nets for unit-free multiplicative-additive linear logic
DJD Hughes, RJ Van Glabbeek
ACM Transactions on Computational Logic (TOCL) 6 (4), 784-842, 2005
552005
Games and definability for System F
DJD Hughes
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 76-86, 1997
441997
Simple free star-autonomous categories and full coherence
DJD Hughes
Journal of Pure and Applied Algebra 216 (11), 2386-2410, 2012
412012
Towards Hilbert's 24th problem: combinatorial proof invariants:(preliminary version)
DJD Hughes
Electronic Notes in Theoretical Computer Science 165, 37-63, 2006
392006
Hypergame semantics: full completeness for system F
D Hughes
PhD thesis, 2000
342000
Simple multiplicative proof nets with units
D Hughes
arXiv preprint math/0507003, 2005
262005
Input systems and methods for the evaluation and optimization of same
D Hughes, J Warren, O Buyukkokten
US Patent 7,259,751, 2007
232007
Empirical bi-action tables: A tool for the evaluation and optimization of text-input systems. Application I: Stylus keyboards
D Hughes, J Warren, O Buyukkokten
Human–Computer Interaction 17 (2-3), 271-309, 2002
182002
Defining anonymity and privacy
V Shmatikov, DJD Hughes
172002
Modelling linear logic without units (preliminary results)
R Houston, D Hughes, A Schalk
arXiv preprint math/0504037, 2005
162005
Deep inference proof theory equals categorical proof theory minus coherence
D Hughes
preprint, 2004
162004
First-order proofs without syntax
DJD Hughes
arXiv preprint arXiv:1906.11236, 2019
102019
Conflict nets: Efficient locally canonical MALL proof nets
D Hughes, W Heijltjes
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
102016
Modelling linear logic without units
R Houston, D Hughes, A Schalk
PhD thesis, 2008
102008
Unification nets: canonical proof net quantifiers
DJD Hughes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
82018
Complexity bounds for sum-product logic via additive proof nets and petri nets
W Heijltjes, DJD Hughes
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 80-91, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20