Information hiding, anonymity and privacy: a modular approach D Hughes, V Shmatikov Journal of Computer security 12 (1), 3-36, 2004 | 252 | 2004 |

Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ Van Glabbeek LICS, 1-10, 2003 | 92 | 2003 |

Proofs without syntax DJD Hughes Annals of Mathematics, 1065-1076, 2006 | 86 | 2006 |

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 | 62 | 2005 |

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 | 62 | 1999 |

Towards Hilbert's 24th problem: combinatorial proof invariants:(preliminary version) DJD Hughes Electronic Notes in Theoretical Computer Science 165, 37-63, 2006 | 45 | 2006 |

Simple free star-autonomous categories and full coherence DJD Hughes Journal of Pure and Applied Algebra 216 (11), 2386-2410, 2012 | 44 | 2012 |

Games and definability for System F DJD Hughes Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 76-86, 1997 | 44 | 1997 |

Hypergame semantics: full completeness for system F D Hughes PhD thesis, 2000 | 32 | 2000 |

Simple multiplicative proof nets with units D Hughes arXiv preprint math/0507003, 2005 | 26 | 2005 |

Input systems and methods for the evaluation and optimization of same D Hughes, J Warren, O Buyukkokten US Patent 7,259,751, 2007 | 23 | 2007 |

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 | 19 | 2002 |

Deep inference proof theory equals categorical proof theory minus coherence D Hughes preprint, 2004 | 17 | 2004 |

Defining anonymity and privacy V Shmatikov, DJD Hughes | 17 | 2002 |

Modelling linear logic without units (preliminary results) R Houston, D Hughes, A Schalk arXiv preprint math/0504037, 2005 | 16 | 2005 |

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 | 15 | 2016 |

First-order proofs without syntax DJD Hughes arXiv preprint arXiv:1906.11236, 2019 | 12 | 2019 |

Unification nets: canonical proof net quantifiers DJD Hughes Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 11 | 2018 |

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 | 9 | 2015 |

Modelling linear logic without units R Houston, D Hughes, A Schalk | 9 | 2008 |