Ranko Lazic

Identifiers

• name variant Ranko Lazic 0.60 · backfill

Papers (8)

1. Mildly Overparameterized ReLU Networks on Orthogonal Data: Incremental Learning and Implicit Bias cs.LG · 2026 · author #5
2. The Reachability Problem for Petri Nets is Not Elementary cs.FL · 2018 · author #3
3. The reachability problem for vector addition systems with a stack is not elementary cs.FL · 2013 · author #1
4. Model checking memoryful linear-time logics over one-counter automata cs.LO · 2008 · author #2
5. Alternating Automata on Data Trees and XPath Satisfiability cs.LO · 2008 · author #2
6. Safety alternating automata on data words cs.LO · 2008 · author #1
7. LTL with the Freeze Quantifier and Register Automata cs.LO · 2006 · author #2
8. On the freeze quantifier in Constraint LTL: decidability and complexity cs.LO · 2006 · author #2

Mentions

• 1310.1767 #1 · backfill · confidence 0.70 Ranko Lazic
• 2605.27097 #5 · arxiv_oai · confidence 0.70 Ranko Lazic
• 0810.5517 #2 · backfill · confidence 0.70 Ranko Lazic
• 0805.0330 #2 · backfill · confidence 0.70 Ranko Lazic
• 0802.4237 #1 · backfill · confidence 0.70 Ranko Lazic

Frequent Coauthors

• Stephane Demri 2 shared papers
• Arnaud Sangnier 1 shared papers
• Ben Lewis 1 shared papers
• David Nowak 1 shared papers
• Etienne Boursier 1 shared papers
• Filip Mazowiecki 1 shared papers
• James Town 1 shared papers
• Jerome Leroux 1 shared papers
• Marcin Jurdzinski 1 shared papers
• Matthias Englert 1 shared papers
• Slawomir Lasota 1 shared papers
• St\'ephane Demri 1 shared papers
• Wojciech Czerwinski 1 shared papers