Folgen
Andy King
Andy King
Kent Portcullis
Bestätigte E-Mail-Adresse bei kent.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Binslayer: accurate comparison of binary executables
M Bourquin, A King, E Robbins
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013
1392013
A generalized approach to q-Markov covariance equivalent realizations for discrete systems
AM King, UB Desai, RE Skelton
Automatica 24 (4), 507-515, 1988
1321988
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
1302003
Two variables per linear inequality as an abstract domain
A Simon, A King, JM Howe
Logic Based Program Synthesis and Transformation: 12th International …, 2003
1262003
Inferring argument size relationships with CLP ()
F Benoy, A King
Logic Program Synthesis and Transformation: 6th International Workshop …, 2005
1252005
Existential quantification as incremental SAT
J Brauer, A King, J Kriener
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
562011
Analyzing string buffers in C
A Simon, A King
AMAST 2, 365-379, 2002
552002
Taming the wrapping of integer arithmetic
A Simon, A King
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007
542007
Depth-k sharing and freeness
A King, P Soper
Logic Programming-Proceedingsof the Eleventh International Conference on …, 1994
531994
Schedule analysis of concurrent logic programs
A King, P Soper
Logic Programming: Proceedings of the Joint International Conference on …, 1992
521992
Exploiting sparsity in polyhedral analysis
A Simon, A King
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
512005
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 congruences
A King, H Søndergaard
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
452010
Widening polyhedra with landmarks
A Simon, A King
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 2006
432006
Automatic Abstraction for Intervals Using Boolean Formulae.
J Brauer, A King
SAS 6337, 167-183, 2010
422010
A synergistic analysis for sharing and groundness which traces linearity
A King
Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 2005
422005
Logahedra: A new weakly relational domain
JM Howe, A King
Automated Technology for Verification and Analysis: 7th International …, 2009
402009
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20