BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bishoksan Kafle
SearchCollections
Map detail
Bishoksan Kafle9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBishoksan KafleABishoksan KafleResearcherConvex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verificationWConvex polyhedral abstr...preprint / 2014Solving non-linear Horn clauses using a linear solverWSolving non-linear Horn...preprint / 2015Decomposition by tree dimension in Horn clause verificationWDecomposition by tree d...preprint / 2015Interpolant Tree Automata and their Application in Horn Clause VerificationWInterpolant Tree Automa...preprint / 2016Solving non-linear Horn clauses using a linear Horn clause solverWSolving non-linear Horn...preprint / 2016Analysis and Transformation Tools for Constrained Horn Clause VerificationWAnalysis and Transforma...preprint / 2014From Big-Step to Small-Step Semantics and Back with Interpreter SpecialisationWFrom Big-Step to Small-...preprint / 2020ENTRA: Whole-Systems Energy TransparencyWENTRA: Whole-Systems En...preprint / 2016
Person8 links

Bishoksan Kafle

Researcher

PaperConvex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verificationAuthorship / preprint / 2014PaperSolving non-linear Horn clauses using a linear solverAuthorship / preprint / 2015PaperDecomposition by tree dimension in Horn clause verificationAuthorship / preprint / 2015PaperInterpolant Tree Automata and their Application in Horn Clause VerificationAuthorship / preprint / 2016PaperSolving non-linear Horn clauses using a linear Horn clause solverAuthorship / preprint / 2016PaperAnalysis and Transformation Tools for Constrained Horn Clause VerificationAuthorship / preprint / 2014PaperFrom Big-Step to Small-Step Semantics and Back with Interpreter SpecialisationAuthorship / preprint / 2020PaperENTRA: Whole-Systems Energy TransparencyAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)