author-photo

Vladimir Ulyantsev

48

Papers

339

Citations

Citation Trend

Filter By

Papers (30) Sort By

Journal Conference Others

Multipole optimization of light focusing by silicon nanosphere structures.

2021 arXiv: Optics
Show All
- Source
- Cite
- Save
Citations (1)
Gut microbiota alterations due to fecal transplant

2020 bioRxiv
Show All
- Source
- Cite
- Save
Citations (0)
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis.

2019
Show All
- Source
- Cite
- Save
Citations (10)
GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data

2019 bioRxiv
Show All
- Source
- Cite
- Save
Citations (3)
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks

2019 GECCO | Genetic and Evolutionary Computation Conference
Show All
- Source
- Cite
- Save
Citations (4)
Smart Contract Design Meets State Machine Synthesis: Case Studies

2019 arXiv: Software Engineering
- Dmitrii Suvorov
- Vladimir Ulyantsev
Show All
- Source
- Cite
- Save
Citations (2)
Function block finite-state model identification using SAT and CSP solvers

2019 IEEE Transactions on Industrial Informatics
Show All
- Source
- Cite
- Save
Citations (6)
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

2019 LATA | Language and Automata Theory and Applications
Show All
- Source
- Cite
- Save
Citations (8)
BFS Enumeration for Breaking Symmetries in Graphs.

2018 arXiv: Data Structures and Algorithms
- Vyacheslav Moklev
- Vladimir Ulyantsev
Show All
- Source
- Cite
- Save
Citations (0)
GADMA: Genetic Algorithm for Automatic Inferring Joint Demographic History of Multiple Populations from Allele Frequency Spectrum

2018 bioRxiv
Show All
- Source
- Cite
- Save
Citations (1)