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.

Martin Zimmermann
SearchCollections
Map detail
Martin Zimmermann13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMartin ZimmermannAMartin ZimmermannResearcherApproximating the Minimal Lookahead Needed to Win Infinite GamesWApproximating the Minim...preprint / 2022Optimal Bounds in Parametric LTL GamesWOptimal Bounds in Param...preprint / 2011Delay Games with WMSO+U Winning ConditionsWDelay Games with WMSO+U...preprint / 2015Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTLWParameterized Linear Te...preprint / 2015Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version)WParameterized Linear Te...preprint / 2016Unbounded Lookahead in WMSO+U GamesWUnbounded Lookahead in ...preprint / 2016Playing Muller Games in a HurryWPlaying Muller Games in...preprint / 2010Playing Pushdown Parity Games in a HurryWPlaying Pushdown Parity...preprint / 2012The Complexity of Counting Models of Linear-time Temporal LogicWThe Complexity of Count...preprint / 2014What are Strategies in Delay Games? Borel Determinacy for Games with LookaheadWWhat are Strategies in ...preprint / 2015Parity and Streett Games with CostsWParity and Streett Game...preprint / 2014Parametric Linear Dynamic Logic (full version)WParametric Linear Dynam...preprint / 2015
Person12 links

Martin Zimmermann

Researcher

PaperApproximating the Minimal Lookahead Needed to Win Infinite GamesAuthorship / preprint / 2022PaperOptimal Bounds in Parametric LTL GamesAuthorship / preprint / 2011PaperDelay Games with WMSO+U Winning ConditionsAuthorship / preprint / 2015PaperParameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTLAuthorship / preprint / 2015PaperParameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version)Authorship / preprint / 2016PaperUnbounded Lookahead in WMSO+U GamesAuthorship / preprint / 2016PaperPlaying Muller Games in a HurryAuthorship / preprint / 2010PaperPlaying Pushdown Parity Games in a HurryAuthorship / 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)