Ulyantsev, Vladimir

1. Smart Contract Design Meets State Machine Synthesis: Case Studies
   2019/06/07 by Dmitrii Suvorov, Suvorov, Dmitrii, Vladimir Ulyantsev +1 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE)
2. Symmetry Breaking Predicates for SAT-based DFA Identification
   2016/02/16 by Ulyantsev, Vladimir, Zakirzyanov, Ilya, Shalyto, Anatoly · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)