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.

Christian Haack
SearchCollections
Map detail
Christian Haack3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipChristian HaackAChristian HaackResearcherPermission-Based Separation Logic for Multithreaded Java ProgramsWPermission-Based Separa...preprint / 2015Digital Contact Tracing Service: An improved decentralized design for privacy and effectivenessWDigital Contact Tracing...preprint / 2020
Person2 links

Christian Haack

Researcher

PaperPermission-Based Separation Logic for Multithreaded Java ProgramsAuthorship / preprint / 2015PaperDigital Contact Tracing Service: An improved decentralized design for privacy and effectivenessAuthorship / 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)