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.

Ori Lahav
SearchCollections
Map detail
Ori Lahav8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOri LahavAOri LahavResearcherIt ain't necessarily so: Basic sequent systems for negative modalitiesWIt ain't necessarily so...preprint / 2016Abstraction for Crash-Resilient Objects (Extended Version)WAbstraction for Crash-R...preprint / 2022Verifying Isolation Properties in the Presence of MiddleboxesWVerifying Isolation Pro...preprint / 2014On Constructive Connectives and SystemsWOn Constructive Connect...preprint / 2010Verifying Reachability in Networks with Mutable DatapathsWVerifying Reachability ...preprint / 2016View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)WView-Based Owicki-Gries...preprint / 2022Reconciling Event Structures with Modern MultiprocessorsWReconciling Event Struc...preprint / 2020
Person7 links

Ori Lahav

Researcher

PaperIt ain't necessarily so: Basic sequent systems for negative modalitiesAuthorship / preprint / 2016PaperAbstraction for Crash-Resilient Objects (Extended Version)Authorship / preprint / 2022PaperVerifying Isolation Properties in the Presence of MiddleboxesAuthorship / preprint / 2014PaperOn Constructive Connectives and SystemsAuthorship / preprint / 2010PaperVerifying Reachability in Networks with Mutable DatapathsAuthorship / preprint / 2016PaperView-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)Authorship / preprint / 2022PaperReconciling Event Structures with Modern MultiprocessorsAuthorship / preprint / 2020

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)