| Two variables per linear inequality as an abstract domain A Simon, A King, JM Howe Logic Based Program Synthesis and Transformation: 12th International …, 2003 | 127 | 2003 |
| Proof search issues in some non-classical logics JM Howe PQDT-Global, 1998 | 67 | 1998 |
| Detecting cross-site scripting attacks using machine learning FA Mereani, JM Howe The International Conference on Advanced Machine Learning Technologies and …, 2018 | 40 | 2018 |
| Logahedra: A new weakly relational domain JM Howe, A King Automated Technology for Verification and Analysis: 7th International …, 2009 | 40 | 2009 |
| A pearl on SAT and SMT solving in Prolog JM Howe, A King Theoretical Computer Science 435, 43-55, 2012 | 29 | 2012 |
| Two loop detection mechanisms: a comparison JM Howe Automated Reasoning with Analytic Tableaux and Related Methods …, 1997 | 28 | 1997 |
| Efficient groundness analysis in Prolog JM Howe, A King Theory and Practice of Logic Programming 3 (1), 95-124, 2003 | 25 | 2003 |
| A pearl on SAT solving in Prolog JM Howe, A King Functional and Logic Programming: 10th International Symposium, FLOPS 2010 …, 2010 | 24 | 2010 |
| Positive Boolean functions as multiheaded clauses JM Howe, A King Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus …, 2001 | 24 | 2001 |
| The two variable per inequality abstract domain A Simon, A King, JM Howe Higher-Order and Symbolic Computation 31 (1), 182-196, 2010 | 22 | 2010 |
| Analysing logic programs by reasoning backwards JM Howe, A King, L Lu Program Development in Computational Logic: A Decade of Research Advances in …, 2004 | 19 | 2004 |
| Theory propagation and rational-trees E Robbins, JM Howe, A King Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 13 | 2013 |
| Integer polyhedra for program analysis PJ Charles, JM Howe, A King Algorithmic Aspects in Information and Management: 5th International …, 2009 | 12 | 2009 |
| Worst-case groundness analysis using definite Boolean functions S Genaim, M Codish, JM Howe Theory and Practice of Logic Programming 1 (5), 611-615, 2001 | 12 | 2001 |
| Proof search in lax logic JM Howe Mathematical Structures in Computer Science 11 (4), 573-588, 2001 | 12 | 2001 |
| Implementing groundness analysis with definite Boolean functions JM Howe, A King Programming Languages and Systems: 9th European Symposium on Programming …, 2000 | 12 | 2000 |
| Preventing cross-site scripting attacks by combining classifiers F Mereani, JM Howe SCITEPRESS 1, 135-143, 2018 | 10 | 2018 |
| Polyhedral analysis using parametric objectives JM Howe, A King Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 9 | 2012 |
| Three optimisations for sharing JM Howe, A King Theory and Practice of Logic Programming 3 (2), 243-257, 2003 | 9 | 2003 |
| Theory propagation and reification E Robbins, JM Howe, A King Science of Computer Programming 111, 3-22, 2015 | 8 | 2015 |
