Bishoksan Kafle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Regular path clauses and their application in solving loops	2024-12-03	Paper
Transformation-Enabled Precondition Inference Theory and Practice of Logic Programming	2023-12-12	Paper
scientific article; zbMATH DE number 7453190 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453190 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
Solving non-linear Horn clauses using a linear Horn clause solver	2021-12-07	Paper
Solving non-linear Horn clauses using a linear Horn clause solver (available as arXiv preprint)	2021-12-07	Paper
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification	2021-06-28	Paper
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification (available as arXiv preprint)	2021-06-28	Paper
An iterative approach to precondition inference using constrained Horn clauses Theory and Practice of Logic Programming	2018-12-04	Paper
Tree dimension in verification of constrained Horn clauses Theory and Practice of Logic Programming	2018-05-31	Paper
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement Computer Languages, Systems & Structures	2018-01-30	Paper
A Benders decomposition approach to deciding modular linear integer arithmetic	2017-11-15	Paper
Tree automata-based refinement with application to Horn clause verification Lecture Notes in Computer Science	2015-02-04	Paper

Research outcomes over time

This page was built for person: Bishoksan Kafle