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 Lazic
Researcher
PaperSafety alternating automata on data wordsAuthorship / preprint / 2010PaperThe reachability problem for vector addition systems with a stack is not elementaryAuthorship / preprint / 2013PaperSuccinct progress measures for solving parity gamesAuthorship / preprint / 2018PaperModel checking memoryful linear-time logics over one-counter automataAuthorship / preprint / 2010PaperAlternating Automata on Data Trees and XPath SatisfiabilityAuthorship / preprint / 2010PaperHuman-like Relational Models for Activity Recognition in VideoAuthorship / preprint / 2022PaperA pseudo-quasi-polynomial algorithm for solving mean-payoff parity gamesAuthorship / preprint / 2018