Ranko Lazić

1. LTL with the Freeze Quantifier and Register Automata
   2006/10/05 by Stéphane Demri, Demri, Stephane, Ranko Lazić +1 · 7 citations
   Computer Science · #Computational Complexity (cs.CC) #F.1.1 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
2. Adversarial Reprogramming Revisited
   2022/06/07 by Matthias Englert, Englert, Matthias, Ranko Lazić +1 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. The reachability problem for vector addition systems with a stack is not elementary
   2013/10/07 by Ranko Lazić, Lazic, Ranko · 2 citations
   Computer Science · #F.3.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
4. Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs
   2023/06/10 by Dmitry Chistikov, Chistikov, Dmitry, Matthias Englert +3 · 2 citations
   Computer Science · Physics and Astronomy · #68Q32 #68T07 #FOS: Computer and information sciences #I.2.6 #Machine Learning (cs.LG) #Machine Learning and ELM #Model Reduction and Neural Networks #Neural Networks and Applications