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 27  
    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
    Journal article
    Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak.
    MDPs with Energy-Parity Objectives.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Stefan Göller, Christoph Haase, Ranko Lazic, Patrick Totzke.
    A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    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
    Richard Mayr, Patrick Totzke.
    Branching-Time Model Checking Gap-Order Constraint Systems.
    Fundam. Inform. 2016, Volume 143 (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
    Journal article
    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 27  

    Your query returned 27 matches in the database.