| Information hiding, anonymity and privacy: a modular approach D Hughes, V Shmatikov Journal of Computer security 12 (1), 3-36, 2004 | 260 | 2004 |
| Proofs without syntax DJD Hughes Annals of Mathematics, 1065-1076, 2006 | 98 | 2006 |
| Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ van Glabbeek LICS, 1-10, 2003 | 93 | 2003 |
| 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 | 64 | 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 | 61 | 1999 |
| Simple free star-autonomous categories and full coherence DJD Hughes Journal of Pure and Applied Algebra 216 (11), 2386-2410, 2012 | 49 | 2012 |
| Towards Hilbert's 24th problem: combinatorial proof invariants:(preliminary version) DJD Hughes Electronic Notes in Theoretical Computer Science 165, 37-63, 2006 | 49 | 2006 |
| 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 | 33 | 2000 |
| Unsupervised extractive text summarization with distance-augmented sentence graphs J Liu, DJD Hughes, Y Yang Proceedings of the 44th international ACM SIGIR conference on research and …, 2021 | 27 | 2021 |
| Simple multiplicative proof nets with units D Hughes arXiv preprint math/0507003, 2005 | 26 | 2005 |
| Intuitionistic proofs without syntax WB Heijltjes, DJD Hughes, L StraBburger 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 23 | 2019 |
| 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 |
| Deep inference proof theory equals categorical proof theory minus coherence D Hughes preprint, 2004 | 22 | 2004 |
| Conflict nets: Efficient locally canonical MALL proof nets D Hughes, W Heijltjes Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 21 | 2016 |
| 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 |
| Defining anonymity and privacy V Shmatikov, D Hughes Workshop on Issues in the Theory of Security (WITS’02), 2002 | 17 | 2002 |
| First-order proofs without syntax DJD Hughes arXiv preprint arXiv:1906.11236, 2019 | 16 | 2019 |
| Modelling linear logic without units (preliminary results) R Houston, D Hughes, A Schalk arXiv preprint math/0504037, 2005 | 15 | 2005 |
| Unification nets: canonical proof net quantifiers DJD Hughes Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 12 | 2018 |
Willem HeijltjesUniversity of BathVerified email at bath.ac.uk
