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.

Roland Meyer
SearchCollections
Map detail
Roland Meyer13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRoland MeyerARoland MeyerResearcherMunchausen IterationWMunchausen Iterationpreprint / 2016Liveness in Broadcast NetworksWLiveness in Broadcast N...preprint / 2020Fine-Grained Complexity of Safety VerificationWFine-Grained Complexity...preprint / 2020Robustness against Power is PSPACE-completeWRobustness against Powe...preprint / 2014A Polynomial Translation of pi-calculus FCPs to Safe Petri NetsWA Polynomial Translatio...preprint / 2013Summaries for Context-Free GamesWSummaries for Context-F...preprint / 2016Safety Verification of Parameterized Systems under Release-AcquireWSafety Verification of ...preprint / 2022Checking Robustness against TSOWChecking Robustness aga...preprint / 2012Petri Net Reachability Graphs: Decidability Status of First Order PropertiesWPetri Net Reachability ...preprint / 2012Pointer Race FreedomWPointer Race Freedompreprint / 2015A Theory of Partitioned Global Address SpacesWA Theory of Partitioned...preprint / 2013Lazy TSO ReachabilityWLazy TSO Reachabilitypreprint / 2015
Person12 links

Roland Meyer

Researcher

PaperMunchausen IterationAuthorship / preprint / 2016PaperLiveness in Broadcast NetworksAuthorship / preprint / 2020PaperFine-Grained Complexity of Safety VerificationAuthorship / preprint / 2020PaperRobustness against Power is PSPACE-completeAuthorship / preprint / 2014PaperA Polynomial Translation of pi-calculus FCPs to Safe Petri NetsAuthorship / preprint / 2013PaperSummaries for Context-Free GamesAuthorship / preprint / 2016PaperSafety Verification of Parameterized Systems under Release-AcquireAuthorship / preprint / 2022PaperChecking Robustness against TSOAuthorship / preprint / 2012

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)