Graeme Gange

Identifiers

• name variant Graeme Gange 0.60 · backfill

Papers (5)

1. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #2
2. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #3
3. A Complete Refinement Procedure for Regular Separability of Context-Free Languages cs.FL · 2014 · author #1
4. A Partial-Order Approach to Array Content Analysis cs.PL · 2014 · author #1
5. Fast Set Bounds Propagation Using a BDD-SAT Hybrid cs.AI · 2014 · author #1

Mentions

• 1411.5131 #1 · backfill · confidence 0.70 Graeme Gange
• 1408.1754 #1 · backfill · confidence 0.70 Graeme Gange
• 1401.3846 #1 · backfill · confidence 0.70 Graeme Gange

Frequent Coauthors

• Harald Sondergaard 4 shared papers
• Peter J. Stuckey 4 shared papers
• Peter Schachte 4 shared papers
• Bishoksan Kafle 2 shared papers
• Jorge A. Navas 2 shared papers
• John P. Gallagher 1 shared papers
• Peter James Stuckey 1 shared papers
• Vitaly Lagoon 1 shared papers