| Binslayer: accurate comparison of binary executables M Bourquin, A King, E Robbins Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013 | 139 | 2013 |
| A generalized approach to q-Markov covariance equivalent realizations for discrete systems AM King, UB Desai, RE Skelton Automatica 24 (4), 507-515, 1988 | 132 | 1988 |
| Mapping quantitative trait loci affecting female reproductive traits on porcine chromosome 8 AH King, Z Jiang, JP Gibson, CS Haley, AL Archibald Biology of reproduction 68 (6), 2172-2179, 2003 | 130 | 2003 |
| Two variables per linear inequality as an abstract domain A Simon, A King, JM Howe Logic Based Program Synthesis and Transformation: 12th International …, 2003 | 126 | 2003 |
| Inferring argument size relationships with CLP () F Benoy, A King Logic Program Synthesis and Transformation: 6th International Workshop …, 2005 | 125 | 2005 |
| Existential quantification as incremental SAT J Brauer, A King, J Kriener Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 56 | 2011 |
| Analyzing string buffers in C A Simon, A King AMAST 2, 365-379, 2002 | 55 | 2002 |
| Taming the wrapping of integer arithmetic A Simon, A King Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007 | 54 | 2007 |
| Depth-k sharing and freeness A King, P Soper Logic Programming-Proceedingsof the Eleventh International Conference on …, 1994 | 53 | 1994 |
| Schedule analysis of concurrent logic programs A King, P Soper Logic Programming: Proceedings of the Joint International Conference on …, 1992 | 52 | 1992 |
| Exploiting sparsity in polyhedral analysis A Simon, A King Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 51 | 2005 |
| A backward analysis for constraint logic programs A King, L Lu Theory and Practice of Logic Programming 2 (4-5), 517-547, 2002 | 46 | 2002 |
| Automatic abstraction for congruences A King, H Søndergaard Verification, Model Checking, and Abstract Interpretation: 11th …, 2010 | 45 | 2010 |
| Widening polyhedra with landmarks A Simon, A King Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 2006 | 43 | 2006 |
| Automatic Abstraction for Intervals Using Boolean Formulae. J Brauer, A King SAS 6337, 167-183, 2010 | 42 | 2010 |
| A synergistic analysis for sharing and groundness which traces linearity A King Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 2005 | 42 | 2005 |
| Logahedra: A new weakly relational domain JM Howe, A King Automated Technology for Verification and Analysis: 7th International …, 2009 | 40 | 2009 |
| Computing convex hulls with a linear solver F Benoy, A King, F Mesnard Theory and Practice of Logic Programming 5 (1-2), 259-271, 2005 | 40 | 2005 |
| Lower-bound time-complexity analysis of logic programs A King, K Shen, F Benoy International Symposium on Logic Programming, 261-276, 1997 | 36 | 1997 |
| Meta‐analysis of genome‐wide association from genomic prediction models YL Bernal Rubio, JL Gualdron Duarte, RO Bates, CW Ernst, D Nonneman, ... Animal genetics 47 (1), 36-48, 2016 | 30 | 2016 |
Jacob M. HoweSenior Lecturer, City, University of LondonBestätigte E-Mail-Adresse bei soi.city.ac.uk
