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.

Jonathan Kochems
SearchCollections
Map detail
Jonathan Kochems5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipJonathan KochemsAJonathan KochemsResearcherSafety verification of asynchronous pushdown systems with shaped stacksWSafety verification of ...preprint / 2014Decidable Models of Recursive Asynchronous ConcurrencyWDecidable Models of Rec...preprint / 2015Unboundedness and Downward Closures of Higher-Order Pushdown AutomataWUnboundedness and Downw...preprint / 2015Automatic Verification of Erlang-Style ConcurrencyWAutomatic Verification ...preprint / 2013
Person4 links

Jonathan Kochems

Researcher

PaperSafety verification of asynchronous pushdown systems with shaped stacksAuthorship / preprint / 2014PaperDecidable Models of Recursive Asynchronous ConcurrencyAuthorship / preprint / 2015PaperUnboundedness and Downward Closures of Higher-Order Pushdown AutomataAuthorship / preprint / 2015PaperAutomatic Verification of Erlang-Style ConcurrencyAuthorship / preprint / 2013

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)