Linear equations for unordered data vectors in $[D]^k\to{}Z^d von Hofman, Piotr, Różycki, Jakub

Volltext

Relating timed and register automata von FIGUEIRA, DIEGO, HOFMAN, PIOTR, LASOTA, SŁAWOMIR

Volltext

Shortest paths in one-counter systems von Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

Volltext

Simulation Problems Over One-Counter Nets von Hofman, Piotr, Lasota, Slawomir, Mayr, Richard, Totzke, Patrick

Volltext

Trace inclusion for one-counter nets revisited von Hofman, Piotr, Totzke, Patrick

Volltext

Orbit-finite linear programming von Ghosh, Arka, Hofman, Piotr, Lasota, Sławomir

Volltext

Reachability Problem for Weak Multi-Pushdown Automata von Czerwiński, Wojciech, Hofman, Piotr, Lasota, SŁawomir

Volltext

Approximating Weak Bisimilarity of Basic Parallel Processes von Hofman, Piotr, Totzke, Patrick

Volltext

Relating timed and register automata von Figueira, Diego, Hofman, Piotr, Lasota, Sławomir

Volltext

Trace Inclusion for One-Counter Nets Revisited von Hofman, Piotr, Totzke, Patrick

Volltext

A lower bound for the coverability problem in acyclic pushdown VAS von Englert, Matthias, Hofman, Piotr, Lasota, Sławomir, Lazić, Ranko, Leroux, Jérôme, Straszyński, Juliusz

Volltext

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable von Czerwiński, Wojciech, Hofman, Piotr

Volltext

Decidability of Weak Simulation on One-Counter Nets von Hofman, Piotr, Mayr, Richard, Totzke, Patrick

Volltext

Coverability Trees for Petri Nets with Unordered Data von Hofman, Piotr, Lasota, Sławomir, Lazić, Ranko, Leroux, Jérôme, Schmitz, Sylvain, Totzke, Patrick

Volltext

Orbit-finite linear programming von Ghosh, Arka, Hofman, Piotr, Lasota, Sławomir

Volltext

Linear equations for unordered data vectors in $[D]^k\to{}Z^d von Hofman, Piotr, Różycki, Jakub

Volltext bestellen

Bounding Average-Energy Games von Bouyer, Patricia, Hofman, Piotr, Markey, Nicolas, Randour, Mickael, Zimmermann, Martin

Volltext

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes von Czerwiński, Wojciech, Hofman, Piotr, Lasota, Sławomir

Volltext

Linear equations for unordered data vectors in \([D]^k\to{}Z^d\) von Hofman, Piotr, Różycki, Jakub

Volltext

Solvability of orbit-finite systems of linear equations von Ghosh, Arka, Hofman, Piotr, Lasota, Sławomir

Volltext bestellen