Vladimir Ulyantsev

Identifiers

No identifiers captured yet.

Papers (4)

1. Smart Contract Design Meets State Machine Synthesis: Case Studies cs.SE · 2019 · author #2
2. BFS Enumeration for Breaking Symmetries in Graphs cs.DS · 2018 · author #2
3. Symmetry Breaking Predicates for SAT-based DFA Identification cs.FL · 2016 · author #1
4. Exact Finite-State Machine Identification from Scenarios and Temporal Properties cs.SE · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Anatoly Shalyto 2 shared papers
• Dmitrii Suvorov 1 shared papers
• Igor Buzhinsky 1 shared papers
• Ilya Zakirzyanov 1 shared papers
• Vyacheslav Moklev 1 shared papers