Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Patrick
    Last name: Totzke
    DBLP: 51/7221
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 29  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ranko Lazic, Patrick Totzke.
    What Makes Petri Nets Harder to Verify: Stack or Data?
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak.
    MDPs with Energy-Parity Objectives.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak.
    MDPs with energy-parity objectives.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Piotr Hofman, Jérôme Leroux, Patrick Totzke.
    Linear combinations of unordered data vectors.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Matthias Englert, Ranko Lazic, Patrick Totzke.
    Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke.
    Coverability Trees for Petri Nets with Unordered Data.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke.
    Simulation Problems Over One-Counter Nets.
    Logical Methods in Computer Science 2016, Volume 12 (0) 2016
    Conference paper
    Stefan Göller, Christoph Haase, Ranko Lazic, Patrick Totzke.
    A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Matthias Englert, Ranko Lazic, Patrick Totzke.
    Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Conference paper
    Piotr Hofman, Jérôme Leroux, Patrick Totzke.
    Linear Combinations of Unordered Data Vectors.
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 10 of 29  

    Your query returned 29 matches in the database.