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
1302013
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
1292003
A generalized approach to q-Markov covariance equivalent realizations for discrete systems
AM King, UB Desai, RE Skelton
Automatica 24 (4), 507-515, 1988
1291988
Inferring argument size relationships with CLP( )
F Benoy, A King
International Workshop on Logic Programming Synthesis and Transformation …, 1996
1211996
Two variables per linear inequality as an abstract domain
A Simon, A King, JM Howe
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
1202002
Existential quantification as incremental SAT
J Brauer, A King, J Kriener
International Conference on Computer Aided Verification, 191-207, 2011
552011
Analyzing string buffers in C
A Simon, A King
International Conference on Algebraic Methodology and Software Technology …, 2002
542002
Taming the wrapping of integer arithmetic
A Simon, A King
International Static Analysis Symposium, 121-136, 2007
532007
Exploiting sparsity in polyhedral analysis
A Simon, A King
International Static Analysis Symposium, 336-351, 2005
512005
Schedule analysis of concurrent logic programs
A King, P Soper
Logic Programming: Proceedings of the Joint International Conference on …, 1992
511992
Depth-k sharing and freeness
A King, P Soper
Logic Programming-Proceedingsof the Eleventh International Conference on …, 1994
501994
Automatic abstraction for congruences
A King, H Søndergaard
International Workshop on Verification, Model Checking, and Abstract …, 2010
492010
A backward analysis for constraint logic programs
A King, L Lu
Theory and Practice of Logic Programming 2 (4-5), 517-547, 2002
462002
Automatic abstraction for intervals using Boolean formulae
J Brauer, A King
International Static Analysis Symposium, 167-183, 2010
452010
Widening polyhedra with landmarks
A Simon, A King
Asian Symposium on Programming Languages and Systems, 166-182, 2006
422006
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
402005
A synergistic analysis for sharing and groundness which traces linearity
A King
European Symposium on Programming, 363-378, 1994
401994
Logahedra: A new weakly relational domain
JM Howe, A King
International Symposium on Automated Technology for Verification and …, 2009
372009
Lower-bound time-complexity analysis of logic programs
A King, K Shen, F Benoy
International Symposium on Logic Programming, 261-276, 1997
361997
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
302016
The system can't perform the operation now. Try again later.
Articles 1–20