Patrick Totzke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
8
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | History-Constrained Systems. | Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke |
| 2026 | ICALP | Optimal Sequential Flows. | Hugo Gimbert, Corto Mascle, Patrick Totzke |
| 2026 | ICALP | Optimally Controlling a Random Population. | Hugo Gimbert, Corto Mascle, Patrick Totzke |
| 2025 | CONCUR | Temporal Explorability Games. | Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke |
| 2025 | CONCUR | Resolving Nondeterminism by Chance. | Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen |
| 2024 | CONCUR | The Power of Counting Steps in Quantitative Games. | Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove |
| 2024 | FOSSACS | Parity Games on Temporal Graphs. | Pete Austin, Sougata Bose, Patrick Totzke |
| 2024 | LICS | Bounded-Memory Strategies in Partial-Information Games. | Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke |
| 2023 | CONCUR | History-Deterministic Vector Addition Systems. | Sougata Bose, David Purser, Patrick Totzke |
| 2022 | CONCUR | History-Deterministic Timed Automata. | Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke |
| 2022 | MDM | Making Sense of Heterogeneous Maritime Data. | Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke, Simon Lee |
| 2021 | CONCUR | Transience in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2021 | FOSSACS | Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2021 | MFCS | HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. | Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann |
| 2020 | CONCUR | Parametrized Universality Problems for One-Counter Nets. | Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke |
| 2020 | CONCUR | Strategy Complexity of Parity Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2020 | ICALP | How to Play in Infinite MDPs (Invited Talk). | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak |
| 2020 | MFCS | Optimally Resilient Strategies in Pushdown Safety Games. | Daniel Neider, Patrick Totzke, Martin Zimmermann |
| 2019 | CONCUR | Timed Basic Parallel Processes. | Lorenzo Clemente, Piotr Hofman, Patrick Totzke |
| 2019 | ICALP | Bchi Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2018 | CONCUR | Universal Safety for Timed Petri Nets is PSPACE-complete. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke |
| 2017 | LICS | Linear combinations of unordered data vectors. | Piotr Hofman, Jrme Leroux, Patrick Totzke |
| 2017 | LICS | MDPs with energy-parity objectives. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2016 | FOSSACS | Coverability Trees for Petri Nets with Unordered Data. | Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jrme Leroux, Sylvain Schmitz, Patrick Totzke |
| 2016 | ICALP | A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One. | Stefan Gller, Christoph Haase, Ranko Lazic, Patrick Totzke |
| 2016 | LICS | Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. | Matthias Englert, Ranko Lazic, Patrick Totzke |
| 2015 | ICALP | On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension. | Jrme Leroux, Grgoire Sutre, Patrick Totzke |
| 2014 | CSL | Infinite-state energy games. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke |
| 2013 | LICS | Decidability of Weak Simulation on One-Counter Nets. | Piotr Hofman, Richard Mayr, Patrick Totzke |