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.

Rajeev Gore
SearchCollections
Map detail
Rajeev Gore11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRajeev GoreARajeev GoreResearcherCut-Elimination and Proof Search for Bi-Intuitionistic Tense LogicWCut-Elimination and Pro...preprint / 2010On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense LogicsWOn the Correspondence b...preprint / 2011A decidable policy language for history-based transaction monitoringWA decidable policy lang...preprint / 2009A Proof Theoretic Analysis of Intruder TheoriesWA Proof Theoretic Analy...preprint / 2010Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision ProceduresWGrammar Logics in Neste...preprint / 2012Proof search for propositional abstract separation logics via labelled sequentsWProof search for propos...preprint / 2013Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended VersionWAnnotation-Free Sequent...preprint / 2013A Labelled Sequent Calculus for BBI: Proof Theory and Proof SearchWA Labelled Sequent Calc...preprint / 2015Formal Certification of Android BytecodeWFormal Certification of...preprint / 2016N-PAT: A Nested Model-CheckerWN-PAT: A Nested Model-C...preprint / 2020
Person10 links

Rajeev Gore

Researcher

PaperCut-Elimination and Proof Search for Bi-Intuitionistic Tense LogicAuthorship / preprint / 2010PaperOn the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense LogicsAuthorship / preprint / 2011PaperA decidable policy language for history-based transaction monitoringAuthorship / preprint / 2009PaperA Proof Theoretic Analysis of Intruder TheoriesAuthorship / preprint / 2010PaperGrammar Logics in Nested Sequent Calculus: Proof Theory and Decision ProceduresAuthorship / preprint / 2012PaperProof search for propositional abstract separation logics via labelled sequentsAuthorship / preprint / 2013PaperAnnotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended VersionAuthorship / preprint / 2013PaperA Labelled Sequent Calculus for BBI: Proof Theory and Proof SearchAuthorship / preprint / 2015

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)