Patrick Totzke
Patrick Totzke
Verified email at ed.ac.uk - Homepage
TitleCited byYear
Coverability trees for Petri nets with unordered data
P Hofman, S Lasota, R Lazić, J Leroux, S Schmitz, P Totzke
International Conference on Foundations of Software Science and Computation …, 2016
172016
Multiset pushdown automata
M Kudlek, P Totzke, G Zetzsche
Fundamenta Informaticae 93 (1-3), 221-233, 2009
162009
On the coverability problem for pushdown vector addition systems in one dimension
J Leroux, G Sutre, P Totzke
International Colloquium on Automata, Languages, and Programming, 324-336, 2015
152015
Decidability of weak simulation on one-counter nets
P Hofman, R Mayr, P Totzke
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 203-212, 2013
132013
Properties of multiset language classes defined by multiset pushdown automata
M Kudlek, P Totzke, G Zetzsche
Fundamenta Informaticae 93 (1-3), 235-244, 2009
122009
Infinite-state energy games
PA Abdulla, MF Atig, P Hofman, R Mayr, KN Kumar, P Totzke
arXiv preprint arXiv:1405.0628, 2014
102014
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete*
M Englert, R Lazić, P Totzke
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-8, 2016
92016
A polynomial-time algorithm for reachability in branching VASS in dimension one
S Göller, C Haase, R Lazić, P Totzke
arXiv preprint arXiv:1602.05547, 2016
92016
Simulation over one-counter nets is PSPACE-complete
P Hofman, S Lasota, R Mayr, P Totzke
arXiv preprint arXiv:1310.6303, 2013
92013
Trace inclusion for one-counter nets revisited
P Hofman, P Totzke
International Workshop on Reachability Problems, 151-162, 2014
82014
What Makes Petri Nets Harder to Verify: Stack or Data?
R Lazić, P Totzke
Concurrency, Security, and Puzzles, 144-161, 2017
52017
Simulation problems over one-counter nets
P Hofman, S Lasota, R Mayr, P Totzke
arXiv preprint arXiv:1602.00476, 2016
52016
On boundedness problems for pushdown vector addition systems
J Leroux, G Sutre, P Totzke
International Workshop on Reachability Problems, 101-113, 2015
52015
Inclusion problems for one-counter systems
P Totzke
The University of Edinburgh, 2014
52014
Linear combinations of unordered data vectors
P Hofman, J Leroux, P Totzke
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2017
32017
MDPs with energy-parity objectives
R Mayr, S Schewe, P Totzke, D Wojtczak
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
22017
Trace inclusion for one-counter nets revisited
P Hofman, P Totzke
Theoretical Computer Science 735, 50-63, 2018
12018
Branching-time model checking gap-order constraint systems
R Mayr, P Totzke
Fundamenta Informaticae 143 (3-4), 339-353, 2016
12016
Multiset Storage Automata
M Kudlek, P Totzke, G Zetzsche
CS&P, 2008
12008
B\" uchi Objectives in Countable MDPs
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1904.11573, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20