Andy King
Andy King
Kent Portcullis
Verified email at kent.ac.uk
TitleCited byYear
Coexpression of Rat P2X2 and P2X6Subunits in Xenopus Oocytes
BF King, A Townsend-Nicholson, SS Wildman, T Thomas, KM Spyer, ...
Journal of Neuroscience 20 (13), 4871-4877, 2000
218*2000
Outcomes of social care for adults: developing a preference-weighted measure
A Netten, P Burge, J Malley, D Potoglou, AM Towers, J Brazier, T Flynn, ...
Health Technology Assessment 16 (16), 1-166, 2012
2062012
A generalized approach to q-Markov covariance equivalent realizations for discrete systems
AM King, UB Desai, RE Skelton
Automatica 24 (4), 507-515, 1988
1241988
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
1212003
Inferring argument size relationships with CLP( )
F Benoy, A King
International Workshop on Logic Programming Synthesis and Transformation …, 1996
1191996
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
1122002
A lack of sexual dimorphism in width-to-height ratio in white European faces using 2D photographs, 3D scans, and anthropometry
RSS Kramer, AL Jones, R Ward
PloS one 7 (8), 2012
73*2012
Binslayer: accurate comparison of binary executables
M Bourquin, A King, E Robbins
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013
682013
Cretaceous of the North Sea
C King, HW Bailey, CA Burton, AD King
Stratigraphical atlas of fossil foraminifera 372, 417, 1989
621989
Automatic abstraction for congruences
A King, H Søndergaard
International Workshop on Verification, Model Checking, and Abstract …, 2010
492010
Schedule analysis of concurrent logic programs
A King, P Soper
Logic Programming: Proceedings of the Joint International Conference on …, 1992
491992
Taming the wrapping of integer arithmetic
A Simon, A King
International Static Analysis Symposium, 121-136, 2007
482007
Depth-k sharing and freeness
A King, P Soper
Logic Programming-Proceedingsof the Eleventh International Conference on …, 1994
481994
Comparative genomics of Toll-like receptor signalling in five species
OC Jann, A King, NL Corrales, SI Anderson, K Jensen, T Ait-Ali, H Tang, ...
BMC genomics 10 (1), 216, 2009
472009
Analyzing string buffers in C
A Simon, A King
International Conference on Algebraic Methodology and Software Technology …, 2002
462002
Existential quantification as incremental SAT
J Brauer, A King, J Kriener
International Conference on Computer Aided Verification, 191-207, 2011
452011
Exploiting sparsity in polyhedral analysis
A Simon, A King
International Static Analysis Symposium, 336-351, 2005
452005
The Bracklesham Beds (Eocene) of Bracklesham Bay and Selsey, Sussex
D Curry, AD King, C King, FC Stinton
Proceedings of the Geologists' Association 88 (4), 243-254, 1977
451977
A backward analysis for constraint logic programs
A King, L Lu
Theory and Practice of Logic Programming 2 (4-5), 517-547, 2002
442002
Automatic abstraction for intervals using Boolean formulae
J Brauer, A King
International Static Analysis Symposium, 167-183, 2010
432010
The system can't perform the operation now. Try again later.
Articles 1–20