„Vector Addition Systems“

Suchergebnisse

53 Treffer

• Unboundedness Problems for Languages of Vector Addition Systems
  Czerwinski, Wojciech ; Hofman, Piotr ; Zetzsche, Georg 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One
  Figueira, Diego ; Lazic, Ranko ; Leroux, Jérôme ; Mazowiecki, Filip ; Sutre, Grégoire 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Separability of Parikh Automata
  Clemente, Lorenzo ; Czerwinski, Wojciech ; Lasota, Slawomir ; Paperman, Charles 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Separability of Reachability Sets of Vector Addition Systems
  Clemente, Lorenzo ; Czerwinski, Wojciech ; Lasota, Slawomir ; Paperman, Charles 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
  Göller, Stefan ; Haase, Christoph ; Lazic, Ranko ; Totzke, Patrick 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Ideal Decompositions for Vector Addition Systems (Invited Talk)
  Leroux, Jérôme ; Schmitz, Sylvain 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Place-Boundedness for Vector Addition Systems with one zero-test
  Bonnet, Rémi ; Finkel, Alain ; Leroux, Jérôme ; Zeitoun, Marc 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Covering and Boundedness Problems for Branching Vector Addition Systems
  Demri, Stéphane ; Jurdzinski, Marcin ; Lachish, Oded ; Lazic, Ranko 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)
  Esparza, Javier ; Finkel, Alain ; McKenzie, Pierre ; Ouaknine, Joel
• Conjugacy of vector fields respecting additional properties
  Bonckaert, P.
• Encoding of parallel program schemata by vector addition systems
  Thayse, A.
• Rational index of Vector Addition Systems languages
  Pierre, Laurent ; Schwer, Sylviane R.
• On scatter properties of modular addition operation over imprimitivity systems of the translation group of the binary vector space
  Burov, Dmitry A.