Andy King

Identifiers

• name variant Andy King 0.60 · backfill

Papers (9)

1. Incrementally Closing Octagons cs.PL · 2016 · author #3
2. RedAlert: Determinacy Inference for Prolog cs.PL · 2011 · author #2
3. Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry cs.PL · 2009 · author #1
4. Convex Hull of Planar H-Polyhedra cs.CG · 2004 · author #2
5. Computing Convex Hulls with a Linear Solver cs.PL · 2003 · author #2
6. Three Optimisations for Sharing cs.PL · 2002 · author #2
7. Efficient Groundness Analysis in Prolog cs.PL · 2002 · author #2
8. A Backward Analysis for Constraint Logic Programs cs.PL · 2002 · author #1
9. Verifying Termination and Error-Freedom of Logic Programs with block Declarations cs.LO · 2000 · author #3

Mentions

• 1109.2548 #2 · backfill · confidence 0.70 Andy King
• 0903.2353 #1 · backfill · confidence 0.70 Andy King

Frequent Coauthors

• Jacob M. Howe 2 shared papers
• Axel Simon 1 shared papers
• Aziem Chawdhary 1 shared papers
• Ed Robbins 1 shared papers
• Florence Benoy 1 shared papers
• Fred Mesnard 1 shared papers
• Jael Kriener 1 shared papers
• Jan-Georg Smaus 1 shared papers
• Lunjin Lu 1 shared papers
• Patricia M. Hill 1 shared papers