Concepedia

Andy King

AK

15

Publications

440

Citations

12

H-Index

1996

Active since

Affiliations

University of Kent(Current)

City, University of London

Andy King is an author at University of Kent specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSoftware AnalysisFormal VerificationLogic ProgrammingProgram AnalysisVerificationSatisfiability

Publications per year

1996–2016

15

Publications

15

BinSlayer

Martial Bourquin, Andy King, Edward Robbins · 2013 · 116 citations

Malware Inexorably, Engineering, String-searching Algorithm +11

Inferring Argument Size Relationships with CLP(R)

Florence Benoy, Andy King · 1996 · 75 citations

Engineering, Parameterized Complexity, Automated Reasoning +6

A backward analysis for constraint logic programs

Andy King, Lunjin Lu · Theory and Practice of Logic Programming · 2002 · 33 citations

Engineering, Verification, Software Engineering +18

Computing convex hulls with a linear solver

Florence Benoy, Andy King, Fred Mesnard · Theory and Practice of Logic Programming · 2005 · 33 citations

Numerical Analysis, Mathematical Programming, Linear Solver +19

A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading

Richard Jones, Andy King · 2006 · 26 citations

Cluster Computing, Engineering, Computer Architecture +22

Rows per page

1–5 of 15