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.

Michael Greenberg
SearchCollections
Map detail
Michael Greenberg6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael GreenbergAMichael GreenbergResearcherKleene Algebra Modulo TheoriesWKleene Algebra Modulo T...preprint / 2022How to Safely Use Extensionality in Liquid HaskellWHow to Safely Use Exten...preprint / 2022Properties of Full-Flag Johnson GraphsWProperties of Full-Flag...preprint / 2013Measure Transformer Semantics for Bayesian Machine LearningWMeasure Transformer Sem...preprint / 2013SNAP: Stateful Network-Wide Abstractions for Packet ProcessingWSNAP: Stateful Network-...preprint / 2016
Person5 links

Michael Greenberg

Researcher

PaperKleene Algebra Modulo TheoriesAuthorship / preprint / 2022PaperHow to Safely Use Extensionality in Liquid HaskellAuthorship / preprint / 2022PaperProperties of Full-Flag Johnson GraphsAuthorship / preprint / 2013PaperMeasure Transformer Semantics for Bayesian Machine LearningAuthorship / preprint / 2013PaperSNAP: Stateful Network-Wide Abstractions for Packet ProcessingAuthorship / 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)