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 27 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
    Journal article
    Jérôme Leroux, Grégoire Sutre, Patrick Totzke.
    On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Jérôme Leroux, Grégoire Sutre, Patrick Totzke.
    On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension.
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 2015 (0) 2015
    Journal article
    Jérôme Leroux, Grégoire Sutre, Patrick Totzke.
    On Boundedness Problems for Pushdown Vector Addition Systems.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Jérôme Leroux, Grégoire Sutre, Patrick Totzke.
    On Boundedness Problems for Pushdown Vector Addition Systems.
    Reachability Problems - 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings 2015 (0) 2015
    Journal article
    Piotr Hofman, Patrick Totzke.
    Trace Inclusion for One-Counter Nets Revisited.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke.
    Infinite-State Energy Games.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Piotr Hofman, Patrick Totzke.
    Trace Inclusion for One-Counter Nets Revisited.
    Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke.
    Infinite-state energy games.
    Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 2014 (0) 2014
    Journal article
    Piotr Hofman, Richard Mayr, Patrick Totzke.
    Decidability of Weak Simulation on One-counter Nets
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Richard Mayr, Patrick Totzke.
    Branching-Time Model Checking Gap-Order Constraint Systems.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Richard Mayr, Patrick Totzke.
    Branching-Time Model Checking Gap-Order Constraint Systems.
    Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings 2013 (0) 2013
    Journal article
    Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke.
    Simulation Over One-counter Nets is PSPACE-Complete.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke.
    Simulation Over One-counter Nets is PSPACE-Complete.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India 2013 (0) 2013
    Conference paper
    Piotr Hofman, Richard Mayr, Patrick Totzke.
    Decidability of Weak Simulation on One-Counter Nets.
    28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013 2013 (0) 2013
    Journal article
    Piotr Hofman, Patrick Totzke.
    Approximating Weak Bisimilarity of Basic Parallel Processes
    Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. 2012, Volume 89 (0) 2012
    Conference paper
    Manfred Kudlek, Patrick Totzke, Georg Zetzsche.
    Properties of Multiset Language Classes Defined by Multiset Pushdown Automata.
    Fundam. Inform. 2009, Volume 93 (0) 2009
    Conference paper
    Manfred Kudlek, Patrick Totzke, Georg Zetzsche.
    Multiset Pushdown Automata.
    Fundam. Inform. 2009, Volume 93 (0) 2009
    Show item 1 to 27 of 27  

    Your query returned 27 matches in the database.