Patrick Totzke

Cited by

	All	Since 2018
Citations	386	276
h-index	12	10
i10-index	15	13

20082009201020112012201320142015201620172018201920202021202220231 2 1 3 3 16 15 29 35 32 46 38 49 58 53

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Piotrek HofmanUniversity of WarsawVerified email at mimuw.edu.pl
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Mahsa ShirmohammadiUniversity of OxfordVerified email at cs.ox.ac.uk
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Georg ZetzscheMPI-SWS, GermanyVerified email at mpi-sws.org
Slawomir LasotaUniversity of Warsaw, prof. of computer scienceVerified email at mimuw.edu.pl
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
Matthias EnglertUniversity of WarwickVerified email at warwick.ac.uk
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Narayan KumarProfessor, Chennai Mathematical InstituteVerified email at cmi.ac.in
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Karoliina LehtinenCNRS, Aix-Marseille Université, LISVerified email at lis-lab.fr
Louwe B. KuijerUniversity of LiverpoolVerified email at liv.ac.uk
Sougata BoseUniversity of LiverpoolVerified email at liverpool.ac.uk

Patrick Totzke

University of Liverpool

Verified email at liverpool.ac.uk - Homepage

Verification Games Automata


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On the coverability problem for pushdown vector addition systems in one dimension J Leroux, G Sutre, P Totzke Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015	39	2015
Reachability in two-dimensional unary vector addition systems with states is NL-complete M Englert, R Lazić, P Totzke Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	37	2016
Coverability trees for Petri nets with unordered data P Hofman, S Lasota, R Lazić, J Leroux, S Schmitz, P Totzke Foundations of Software Science and Computation Structures: 19th …, 2016	24	2016
Properties of multiset language classes defined by multiset pushdown automata M Kudlek, P Totzke, G Zetzsche Fundamenta Informaticae 93 (1-3), 235-244, 2009	24	2009
Multiset pushdown automata M Kudlek, P Totzke, G Zetzsche Fundamenta Informaticae 93 (1-3), 221-233, 2009	23	2009
Infinite-state energy games PA Abdulla, MF Atig, P Hofman, R Mayr, KN Kumar, P Totzke Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	22	2014
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	17	2016
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	16	2013
What makes Petri nets harder to verify: stack or data? R Lazić, P Totzke Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William …, 2017	15	2017
Trace inclusion for one-counter nets revisited P Hofman, P Totzke Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014	15	2014
Simulation problems over one-counter nets P Hofman, S Lasota, R Mayr, P Totzke Logical Methods in Computer Science 12, 2016	14	2016
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	13	2017
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	12	2017
The reachability problem for two-dimensional vector addition systems with states M Blondin, M Englert, A Finkel, S Göller, C Haase, R Lazić, P McKenzie, ... Journal of the ACM (JACM) 68 (5), 1-43, 2021	10	2021
B\" uchi Objectives in Countable MDPs S Kiefer, R Mayr, M Shirmohammadi, P Totzke arXiv preprint arXiv:1904.11573, 2019	10	2019
Strategy complexity of parity objectives in countable mdps S Kiefer, R Mayr, M Shirmohammadi, P Totzke arXiv preprint arXiv:2007.05065, 2020	9	2020
On boundedness problems for pushdown vector addition systems J Leroux, G Sutre, P Totzke Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland …, 2015	9	2015
How to Play in Infinite MDPs S Kiefer, R Mayr, M Shirmohammadi, P Totzke, D Wojtczak 47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020	8	2020
Simulation over one-counter nets is PSPACE-complete P Hofman, S Lasota, R Mayr, P Totzke arXiv preprint arXiv:1310.6303, 2013	8	2013
History-deterministic timed automata TA Henzinger, K Lehtinen, P Totzke CONCUR, 2022	6	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors