Patrick Totzke

Cited by

	All	Since 2018
Citations	408	300
h-index	13	11
i10-index	16	14

100

2012201320142015201620172018201920202021202220233 3 16 15 28 34 32 47 37 41 50 93

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Piotrek HofmanUniversity of WarsawVerified email at mimuw.edu.pl
Mahsa ShirmohammadiUniversity of OxfordVerified email at cs.ox.ac.uk
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Stefan KieferProfessor of Computer Science, 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
Matthias EnglertUniversity of WarwickVerified email at warwick.ac.uk
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
Sougata BoseUniversity of LiverpoolVerified email at liverpool.ac.uk
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Louwe B. KuijerUniversity of LiverpoolVerified email at liv.ac.uk
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

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
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	40	2016
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	40	2015
Properties of multiset language classes defined by multiset pushdown automata M Kudlek, P Totzke, G Zetzsche Fundamenta Informaticae 93 (1-3), 235-244, 2009	25	2009
Multiset pushdown automata M Kudlek, P Totzke, G Zetzsche Fundamenta Informaticae 93 (1-3), 221-233, 2009	24	2009
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	23	2016
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	18	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
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	15	2017
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	14	2014
B\" uchi Objectives in Countable MDPs S Kiefer, R Mayr, M Shirmohammadi, P Totzke arXiv preprint arXiv:1904.11573, 2019	13	2019
Simulation problems over one-counter nets P Hofman, S Lasota, R Mayr, P Totzke Logical Methods in Computer Science 12, 2016	13	2016
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	12	2021
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	11	2017
Strategy complexity of parity objectives in countable mdps S Kiefer, R Mayr, M Shirmohammadi, P Totzke arXiv preprint arXiv:2007.05065, 2020	10	2020
HyperLTL Satisfiability is -complete, HyperCTL* Satisfiability is -complete M Fortin, LB Kuijer, P Totzke, M Zimmermann arXiv preprint arXiv:2105.04176, 2021	9	2021
On boundedness problems for pushdown vector addition systems J Leroux, G Sutre, P Totzke International Workshop on Reachability Problems, 101-113, 2015	9	2015
Simulation over one-counter nets is PSPACE-complete P Hofman, S Lasota, R Mayr, P Totzke arXiv preprint arXiv:1310.6303, 2013	8	2013
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	7	2020

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