Binslayer: accurate comparison of binary executables M Bourquin, A King, E Robbins Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013 | 171 | 2013 |
A generalized approach to q-Markov covariance equivalent realizations for discrete systems AM King, UB Desai, RE Skelton Automatica 24 (4), 507-515, 1988 | 135 | 1988 |
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 | 134 | 2003 |
Two variables per linear inequality as an abstract domain A Simon, A King, JM Howe Logic Based Program Synthesis and Transformation: 12th International …, 2003 | 132 | 2003 |
Inferring argument size relationships with CLP () F Benoy, A King International Workshop on Logic Programming Synthesis and Transformation …, 1996 | 131 | 1996 |
Existential quantification as incremental SAT J Brauer, A King, J Kriener Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 61 | 2011 |
Analyzing string buffers in C A Simon, A King International Conference on Algebraic Methodology and Software Technology …, 2002 | 56 | 2002 |
Taming the wrapping of integer arithmetic A Simon, A King International Static Analysis Symposium, 121-136, 2007 | 54 | 2007 |
Schedule analysis of concurrent logic programs A King, P Soper Logic Programming: Proceedings of the Joint International Conference on …, 1992 | 52 | 1992 |
Depth-k sharing and freeness A King, P Soper | 51 | 1994 |
Automatic abstraction for congruences A King, H Søndergaard International Workshop on Verification, Model Checking, and Abstract …, 2010 | 50 | 2010 |
Exploiting sparsity in polyhedral analysis A Simon, A King International Static Analysis Symposium, 336-351, 2005 | 50 | 2005 |
A backward analysis for constraint logic programs A King, L Lu Theory and Practice of Logic Programming 2 (4-5), 517-547, 2002 | 46 | 2002 |
Automatic abstraction for intervals using boolean formulae J Brauer, A King International Static Analysis Symposium, 167-183, 2010 | 45 | 2010 |
Logahedra: A new weakly relational domain JM Howe, A King International Symposium on Automated Technology for Verification and …, 2009 | 45 | 2009 |
Widening polyhedra with landmarks A Simon, A King Asian Symposium on Programming Languages and Systems, 166-182, 2006 | 44 | 2006 |
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 | 41 | 2005 |
A synergistic analysis for sharing and groundness which traces linearity A King European Symposium on Programming, 363-378, 1994 | 41 | 1994 |
Lower-bound time-complexity analysis of logic programs A King, K Shen, F Benoy | 38 | 1997 |
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 | 36 | 2016 |