Concepedia

Patrick Totzke

PT

7

Publications

135

Citations

7

H-Index

2009

Active since

Affiliations

University of Edinburgh(Current)

University of Warsaw

University of Warwick

Universität Hamburg

Patrick Totzke is an author at University of Edinburgh specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationDiscrete MathematicsSimulationComputational ComplexityMathematical ProgrammingArtsGames

Publications per year

2009–2017

7

Publications

7

Multiset Pushdown Automata

Manfred Kudlek, Patrick Totzke, Georg Zetzsche · Fundamenta Informaticae · 2009 · 25 citations

Properties of Multiset Language Classes Defined by Multiset Pushdown Automata

Manfred Kudlek, Patrick Totzke, Georg Zetzsche · Fundamenta Informaticae · 2009 · 25 citations

Multiset Language Classes, Language Documentation, Language Classes +15

Simulation Problems Over One-Counter Nets

Piotr Hofman, Sławomir Lasota, Richard Mayr et al. · Logical Methods in Computer Science · 2016 · 21 citations · Full text

Mathematical Programming, Engineering, One-counter Nets +19

Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete

Matthias Englert, Ranko Lazić, Patrick Totzke · 2016 · 21 citations · Full text

Circuit Complexity, Reachability Analysis, Computational Complexity Theory +14

Decidability of Weak Simulation on One-Counter Nets

Piotr Hofman, Richard Mayr, Patrick Totzke · 2013 · 18 citations · Full text

Theory Of Computing, Petri Net, Trace Inclusion +14

Rows per page

1–5 of 7