Bishoksan Kafle

Identifiers

• name variant Bishoksan Kafle 0.60 · backfill

Papers (7)

1. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #1
2. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #1
3. Tree dimension in verification of constrained Horn clauses cs.LO · 2018 · author #1
4. Solving non-linear Horn clauses using a linear solver cs.LO · 2015 · author #1
5. Optimised determinisation and completion of finite tree automata cs.FL · 2015 · author #3
6. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification cs.LO · 2014 · author #1
7. Analysis and Transformation Tools for Constrained Horn Clause Verification cs.PL · 2014 · author #2

Mentions

• 1511.06668 #1 · backfill · confidence 0.70 Bishoksan Kafle
• 1511.03595 #3 · backfill · confidence 0.70 Bishoksan Kafle
• 1412.1154 #1 · backfill · confidence 0.70 Bishoksan Kafle
• 1405.3883 #2 · backfill · confidence 0.70 Bishoksan Kafle

Frequent Coauthors

• John P. Gallagher 5 shared papers
• Graeme Gange 2 shared papers
• Harald Sondergaard 2 shared papers
• Peter J. Stuckey 2 shared papers
• Peter Schachte 2 shared papers
• Mai Ajspur 1 shared papers
• Pierre Ganty 1 shared papers