| Hypertext: the next maintenance mountain P Brereton, D Budgen, G Hamilton Computer 31 (12), 49-55, 1998 | 78 | 1998 |
| Distillation: extracting the essence of programs GW Hamilton Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 61 | 2007 |
| Detecting man-in-the-middle attacks by precise timing B Aziz, G Hamilton 2009 Third International Conference on Emerging Security Information …, 2009 | 55 | 2009 |
| Higher order deforestation GW Hamilton International Symposium on Programming Language Implementation and Logic …, 1996 | 36 | 1996 |
| Distillation with labelled transition systems GW Hamilton, ND Jones Proceedings of the ACM SIGPLAN 2012 workshop on Partial Evaluation and …, 2012 | 33 | 2012 |
| A privacy analysis for the π-calculus: The denotational approach B Aziz, G Hamilton Proceedings of the 2nd Workshop on the Specification, Analysis and …, 2002 | 24 | 2002 |
| Compile-time optimisation of store usage in lazy functional programs G Hamilton University of Stirling, 1993 | 24 | 1993 |
| Extending deforestation for first order functional programs GW Hamilton, SB Jones Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow …, 1992 | 21 | 1992 |
| Compile-time garbage collection by necessity analysis GW Hamilton, SB Jones Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow …, 1991 | 20 | 1991 |
| A static analysis of cryptographic processes: The denotational approach B Aziz, G Hamilton, D Gray The Journal of Logic and Algebraic Programming 64 (2), 285-320, 2005 | 19 | 2005 |
| A graph-based definition of distillation GW Hamilton, G Mendel-Gleason Second International Workshop on Metacomputation in Russia, 2010 | 17 | 2010 |
| Compile-time garbage collection for lazy functional languages GW Hamilton International Workshop on Memory Management, 119-144, 1995 | 17 | 1995 |
| Higher order deforestation GW Hamilton Fundamenta Informaticae 69 (1-2), 39-61, 2006 | 16 | 2006 |
| Poítin: Distilling theorems from conjectures GW Hamilton Electronic Notes in Theoretical Computer Science 151 (1), 143-160, 2006 | 14 | 2006 |
| Extracting the essence of distillation GW Hamilton Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 13 | 2010 |
| Distilling programs for verification GW Hamilton Electronic Notes in Theoretical Computer Science 190 (4), 17-32, 2007 | 12 | 2007 |
| A taxonomy for triggered interactions using fair object semantics P Gibson, G Hamilton, D Méry Feature Interactions in Telecommunications & Software Systems VI, 20 p, 2000 | 12 | 2000 |
| Tight worst-case bounds for polynomial loop programs AM Ben-Amram, GW Hamilton Foundations of Software Science and Computation Structures: 22nd …, 2019 | 11 | 2019 |
| AutoPar: automating the parallelization of functional programs M Dever Dublin City University, 2015 | 10 | 2015 |
| A denotational semantics for the π-calculus B Aziz, GW Hamilton 5th Irish Workshop on Formal Methods, 2001 | 9 | 2001 |
Neil JonesVerified email at diku.dk
