Ranko Lazi\'c

Identifiers

No identifiers captured yet.

Papers (2)

1. A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One cs.FL · 2016 · author #3
2. Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Patrick Totzke 2 shared papers
• Christoph Haase 1 shared papers
• Matthias Englert 1 shared papers
• Stefan G\"oller 1 shared papers