Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Ranko Lazić
Researcher
PaperNon-Elementary Complexities for Branching VASS, MELL, and ExtensionsAuthorship / preprint / 2022PaperLeafy Automata for Higher-Order ConcurrencyAuthorship / preprint / 2021PaperReachability in Two-Dimensional Unary Vector Addition Systems with States is NL-CompleteAuthorship / preprint / 2016PaperReachability in fixed dimension vector addition systems with statesAuthorship / preprint / 2020PaperWhen is Containment Decidable for Probabilistic Automata?Authorship / preprint / 2020PaperA Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension OneAuthorship / preprint / 2016PaperUniversal trees grow inside separating automata: Quasi-polynomial lower bounds for parity gamesAuthorship / preprint / 2018