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.

Wolfgang Thomas
SearchCollections
Map detail
Wolfgang Thomas7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWolfgang ThomasAWolfgang ThomasResearcherTrees over Infinite Structures and Path Logics with SynchronizationWTrees over Infinite Str...preprint / 2011Optimal Strategy Synthesis for Request-Response GamesWOptimal Strategy Synthe...preprint / 2014Model Checking Synchronized Products of Infinite Transition SystemsWModel Checking Synchron...preprint / 2007Playing Games in the Baire SpaceWPlaying Games in the Ba...preprint / 2016Connectivity Games over Dynamic NetworksWConnectivity Games over...preprint / 2011Degrees of Lookahead in Regular Infinite GamesWDegrees of Lookahead in...preprint / 2012
Person6 links

Wolfgang Thomas

Researcher

PaperTrees over Infinite Structures and Path Logics with SynchronizationAuthorship / preprint / 2011PaperOptimal Strategy Synthesis for Request-Response GamesAuthorship / preprint / 2014PaperModel Checking Synchronized Products of Infinite Transition SystemsAuthorship / preprint / 2007PaperPlaying Games in the Baire SpaceAuthorship / preprint / 2016PaperConnectivity Games over Dynamic NetworksAuthorship / preprint / 2011PaperDegrees of Lookahead in Regular Infinite GamesAuthorship / 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)