The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bishoksan Kafle" ( http://dblp.L3S.de/Authors/Bishoksan_Kafle )

  Author page on DBLP  Author page in RDF  Community of Bishoksan Kafle in ASPL-2

Publication years (Num. hits)
2014 (2) 2015 (5) 2016 (5) 2017 (3) 2018 (6)
Publication types (Num. hits)
article(13) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Mai Ajspur, Bishoksan Kafle An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1John P. Gallagher, Bishoksan Kafle Analysis and Transformation Tools for Constrained Horn Clause Verification. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Constraint specialisation in Horn clause verification. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Constraint Specialisation in Horn Clause Verification. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Decomposition by tree dimension in Horn clause verification. Search on Bibsonomy VPT@ETAPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Interpolant tree automata and their application in Horn clause verification. Search on Bibsonomy VPT@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Mai Ajspur, Bishoksan Kafle Optimised determinisation and completion of finite tree automata. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Precondition Inference via Partitioning of Initial States. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, José F. Morales Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Solving non-linear Horn clauses using a linear Horn clause solver. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle Solving non-linear Horn clauses using a linear solver. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Tree Automata-Based Refinement with Application to Horn Clause Verification. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license