Vladimir Ulyantsev
Vladimir Ulyantsev
ITMO University
Verified email at itmo.ru - Homepage
Title
Cited by
Cited by
Year
Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis
VB Dubinkina, DS Ischenko, VI Ulyantsev, AV Tyakht, DG Alexeev
BMC bioinformatics 17 (1), 1-11, 2016
552016
Extended finite-state machine induction using SAT-solver
VI Ulyantsev, FN Tsarev
IFAC Proceedings Volumes 45 (6), 236-241, 2012
512012
MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data
VI Ulyantsev, SV Kazakov, VB Dubinkina, AV Tyakht, DG Alexeev
Bioinformatics 32 (18), 2760-2767, 2016
422016
MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines
D Chivilikhin, V Ulyantsev
Proceedings of the 15th annual conference on Genetic and evolutionary†…, 2013
312013
BFS-based symmetry breaking predicates for DFA identification
V Ulyantsev, I Zakirzyanov, A Shalyto
International Conference on Language and Automata Theory and Applications†…, 2015
292015
Exact finite-state machine identification from scenarios and temporal properties
V Ulyantsev, I Buzhinsky, A Shalyto
International Journal on Software Tools for Technology Transfer 20 (1), 35-55, 2018
272018
Learning finite-state machines with ant colony optimization
D Chivilikhin, V Ulyantsev
International Conference on Swarm Intelligence, 268-275, 2012
222012
MetaCherchant: analyzing genomic context of antibiotic resistance genes in gut microbiota
EI Olekhnovich, AT Vasilyev, VI Ulyantsev, ES Kostryukova, AV Tyakht
Bioinformatics 34 (3), 434-444, 2018
172018
MoG-VQE: Multiobjective genetic variational quantum eigensolver
D Chivilikhin, A Samarin, V Ulyantsev, I Iorsh, AR Oganov, O Kyriienko
arXiv preprint arXiv:2007.04424, 2020
122020
Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization
D Chivilikhin, V Ulyantsev, F Tsarev
Proceedings of the 14th annual conference companion on Genetic and†…, 2012
122012
Evolutionary computation techniques for constructing SAT-based attacks in algebraic cryptanalysis
A Pavlenko, A Semenov, V Ulyantsev
International Conference on the Applications of Evolutionary Computation†…, 2019
112019
Applying reinforcement learning and supervised learning techniques to play Hearthstone
I Kachalsky, I Zakirzyanov, V Ulyantsev
2017 16th IEEE International Conference on Machine Learning and Applications†…, 2017
112017
Combining exact and metaheuristic techniques for learning extended finite-state machines from test scenarios and temporal properties
D Chivilikhin, V Ulyantsev, A Shalyto
2014 13th International Conference on Machine Learning and Applications, 350-355, 2014
112014
Efficient symmetry breaking for SAT-based minimum DFA inference
I Zakirzyanov, A Morgado, A Ignatiev, V Ulyantsev, J Marques-Silva
International Conference on Language and Automata Theory and Applications†…, 2019
102019
Finding all minimum-size DFA consistent with given examples: SAT-based approach
I Zakirzyanov, A Shalyto, V Ulyantsev
International Conference on Software Engineering and Formal Methods, 117-131, 2017
102017
Evolutionary approach to coverage testing of IEC 61499 function block applications
I Buzhinsky, V Ulyantsev, J Veijalainen, V Vyatkin
2015 IEEE 13th International Conference on Industrial Informatics (INDIN†…, 2015
92015
GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data
E Noskova, V Ulyantsev, KP Koepfli, SJ O’Brien, P Dobrynin
GigaScience 9 (3), giaa005, 2020
82020
Inducing finite state machines from training samples using ant colony optimization
IP Buzhinsky, VI Ulyantsev, DS Chivilikhin, AA Shalyto
Journal of Computer and Systems Sciences International 53 (2), 256-266, 2014
82014
Function block finite-state model identification using SAT and CSP solvers
D Chivilikhin, V Ulyantsev, A Shalyto, V Vyatkin
IEEE Transactions on Industrial Informatics 15 (8), 4558-4568, 2019
72019
Genome-wide sequence analyses of ethnic populations across Russia
DV Zhernakova, V Brukhin, S Malov, TK Oleksyk, KP Koepfli, A Zhuk, ...
Genomics 112 (1), 442-458, 2020
62020
The system can't perform the operation now. Try again later.
Articles 1–20