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.

Patrick Totzke
SearchCollections
Map detail
Patrick Totzke13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPatrick TotzkeAPatrick TotzkeResearcherOptimally Resilient Strategies in Pushdown Safety GamesWOptimally Resilient Str...preprint / 2020Approximating Weak Bisimilarity of Basic Parallel ProcessesWApproximating Weak Bisi...preprint / 2012Branching-Time Model Checking Gap-Order Constraint Systems (Extended Version)WBranching-Time Model Ch...preprint / 2015Trace Inclusion for One-Counter Nets RevisitedWTrace Inclusion for One...preprint / 2015Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNPWSimple Stochastic Games...preprint / 2021Decidability of Weak Simulation on One-counter NetsWDecidability of Weak Si...preprint / 2014On the Coverability Problem for Pushdown Vector Addition Systems in One DimensionWOn the Coverability Pro...preprint / 2015On Boundedness Problems for Pushdown Vector Addition SystemsWOn Boundedness Problems...preprint / 2015Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-CompleteWReachability in Two-Dim...preprint / 2016Linear Combinations of Unordered Data VectorsWLinear Combinations of ...preprint / 2016Strategy Complexity of Parity Objectives in Countable MDPsWStrategy Complexity of ...preprint / 2020Parametrized Universality Problems for One-Counter NetsWParametrized Universali...preprint / 2020
Person12 links

Patrick Totzke

Researcher

PaperOptimally Resilient Strategies in Pushdown Safety GamesAuthorship / preprint / 2020PaperApproximating Weak Bisimilarity of Basic Parallel ProcessesAuthorship / preprint / 2012PaperBranching-Time Model Checking Gap-Order Constraint Systems (Extended Version)Authorship / preprint / 2015PaperTrace Inclusion for One-Counter Nets RevisitedAuthorship / preprint / 2015PaperSimple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNPAuthorship / preprint / 2021PaperDecidability of Weak Simulation on One-counter NetsAuthorship / preprint / 2014PaperOn the Coverability Problem for Pushdown Vector Addition Systems in One DimensionAuthorship / preprint / 2015PaperOn Boundedness Problems for Pushdown Vector Addition SystemsAuthorship / preprint / 2015

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)