Follow
Andy King
Andy King
Kent Portcullis
Verified email at kent.ac.uk
Title
Cited by
Cited by
Year
Binslayer: accurate comparison of binary executables
M Bourquin, A King, E Robbins
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013
1632013
A generalized approach to q-Markov covariance equivalent realizations for discrete systems
AM King, UB Desai, RE Skelton
Automatica 24 (4), 507-515, 1988
1351988
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
1332003
Two variables per linear inequality as an abstract domain
A Simon, A King, JM Howe
Logic Based Program Synthesis and Transformation: 12th International …, 2003
1312003
Inferring argument size relationships with CLP ()
F Benoy, A King
International Workshop on Logic Programming Synthesis and Transformation …, 1996
1261996
Existential quantification as incremental SAT
J Brauer, A King, J Kriener
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
572011
Taming the wrapping of integer arithmetic
A Simon, A King
International Static Analysis Symposium, 121-136, 2007
572007
Analyzing string buffers in C
A Simon, A King
International Conference on Algebraic Methodology and Software Technology …, 2002
562002
Schedule analysis of concurrent logic programs
A King, P Soper
Logic Programming: Proceedings of the Joint International Conference on …, 1992
521992
Depth-k sharing and freeness
A King, P Soper
511994
Exploiting sparsity in polyhedral analysis
A Simon, A King
International Static Analysis Symposium, 336-351, 2005
502005
Automatic abstraction for congruences
A King, H Søndergaard
International Workshop on Verification, Model Checking, and Abstract …, 2010
492010
Logahedra: A new weakly relational domain
JM Howe, A King
International Symposium on Automated Technology for Verification and …, 2009
452009
Widening polyhedra with landmarks
A Simon, A King
Asian Symposium on Programming Languages and Systems, 166-182, 2006
452006
A backward analysis for constraint logic programs
A King, L Lu
Theory and Practice of Logic Programming 2 (4-5), 517-547, 2002
452002
Automatic abstraction for intervals using boolean formulae
J Brauer, A King
International Static Analysis Symposium, 167-183, 2010
442010
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
422005
A synergistic analysis for sharing and groundness which traces linearity
A King
European Symposium on Programming, 363-378, 1994
401994
Lower-bound time-complexity analysis of logic programs
A King, K Shen, F Benoy
381997
A pearl on SAT and SMT solving in Prolog
JM Howe, A King
Theoretical Computer Science 435, 43-55, 2012
332012
The system can't perform the operation now. Try again later.
Articles 1–20