Andy King
Andy King
Kent Portcullis
Dirección de correo verificada de kent.ac.uk
Título
Citado por
Citado por
Año
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
2642012
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
1272003
A generalized approach to q-Markov covariance equivalent realizations for discrete systems
AM King, UB Desai, RE Skelton
Automatica 24 (4), 507-515, 1988
1271988
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
1182002
Inferring argument size relationships with CLP( )
F Benoy, A King
International Workshop on Logic Programming Synthesis and Transformation …, 1996
1161996
Binslayer: accurate comparison of binary executables
M Bourquin, A King, E Robbins
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013
1012013
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), e42705, 2012
91*2012
Cretaceous of the North Sea
C King, HW Bailey, CA Burton, AD King
Stratigraphical atlas of fossil foraminifera 372, 417, 1989
641989
Analyzing string buffers in C
A Simon, A King
International Conference on Algebraic Methodology and Software Technology …, 2002
522002
Taming the wrapping of integer arithmetic
A Simon, A King
International Static Analysis Symposium, 121-136, 2007
512007
Existential quantification as incremental SAT
J Brauer, A King, J Kriener
International Conference on Computer Aided Verification, 191-207, 2011
502011
Automatic abstraction for congruences
A King, H Søndergaard
International Workshop on Verification, Model Checking, and Abstract …, 2010
502010
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), 1-15, 2009
502009
Schedule analysis of concurrent logic programs
A King, P Soper
Logic Programming: Proceedings of the Joint International Conference on …, 1992
501992
Exploiting sparsity in polyhedral analysis
A Simon, A King
International Static Analysis Symposium, 336-351, 2005
492005
Depth-k sharing and freeness
A King, P Soper
Logic Programming-Proceedingsof the Eleventh International Conference on …, 1994
491994
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
471977
A backward analysis for constraint logic programs
A King, L Lu
arXiv preprint cs/0201011, 2002
462002
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20