Vladimir Ulyantsev
Vladimir Ulyantsev
ITMO University
Подтвержден адрес электронной почты в домене itmo.ru - Главная страница
Название
Процитировано
Процитировано
Год
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
472016
Extended finite-state machine induction using SAT-solver
VI Ulyantsev, FN Tsarev
IFAC Proceedings Volumes 45 (6), 236-241, 2012
462012
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
392016
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
302013
BFS-based symmetry breaking predicates for DFA identification
V Ulyantsev, I Zakirzyanov, A Shalyto
International Conference on Language and Automata Theory and Applications …, 2015
252015
Learning finite-state machines with ant colony optimization
D Chivilikhin, V Ulyantsev
International Conference on Swarm Intelligence, 268-275, 2012
222012
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
212018
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
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
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
112012
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
102014
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
92017
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
82019
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
82017
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
82015
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
72014
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
62020
Inferring automata-based programs from specification with mutation-based ant colony optimization
D Chivilikhin, V Ulyantsev
Proceedings of the Companion Publication of the 2014 Annual Conference on …, 2014
62014
Solving five instances of the artificial ant problem with ant colony optimization
DS Chivilikhin, VI Ulyantsev, AA Shalyto
IFAC Proceedings Volumes 46 (9), 1043-1048, 2013
62013
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
DS Chivilikhin, VI Ulyantsev, AA Shalyto
Automation and Remote Control 77 (3), 473-484, 2016
52016
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20