ru

Person Profile

Publications

  1. 31Melnikov R., Baryshnikova K.V., Petrov M.I., Ulyantsev V., Evlyukhin A.B., Chichkov B. Evolutionary and genetic algorithms for design of metadevices working on electric dipole resonance // Journal of Physics: Conference Series - 2020, Vol. 1461, No. 1, pp. 012011 [SJR: 0.221]
    more >>
  2. 30Noskova E., Ulyantsev V., Koepfli K., O'Brien S.J., Dobrynin P.V. GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data // GigaScience - 2020, Vol. 9, No. 3, pp. giaa005 [IF: 6.871, SJR: 4.726]
    more >>
  3. 29Zhernakova D.A., Brukhin V., Malov S., Oleksyk T., Koepfli K., Zhuk A., Dobrynin P., Klivera S., Cherkasov N., Tamazian G., Rotkevich M., Krasheninnikova K., Evsyukov I., Sidorov S., Gorbunova A., Chernyaeva E., Shevchenko A., Kolchanova S., Komissarov A., Simonov S., Antonik A., Logachev A., Polevh D., Pavlovah O., Glotov A., Ulantsev V., Noskova E., Davydova T., Sivtseva T., Limborska S., Balanovsky O., Osakovsky V., Novozhilov A., Puzyrev V., O'Brien S. Genome-wide sequence analyses of ethnic populations across Russia // Genomics - 2020, Vol. 112, No. 1, pp. 442-458
    more >>
  4. 28Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. Function block finite-state model identification using SAT and CSP solvers // IEEE Transactions on Industrial Informatics - 2019, Vol. 15, No. 8, pp. 4558-4568 [IF: 6.764]
    more >>
  5. 27Pavlenko A., Buzdalov M., Ulyantsev V. Fitness Comparison by Statistical Testing in Construction of SAT-Based Guess-and-Determine Cryptographic Attacks // GECCO 2019 - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion - 2019, pp. 312-320
    more >>
  6. 26Pavlenko A., Semenov A., Ulyantsev V.I., Zaikin O. Parallel Framework for Evolutionary Black-box Optimization with Application to Algebraic Cryptanalysis // 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) - 2019, pp. 1144-1149
    more >>
  7. 25Pavlenko A.L., Semenov A., Ulyantsev V. Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019, Vol. 11454, pp. 237-253
    more >>
  8. 24Zakirzyanov I., Morgado A., Ignatiev A., Ulyantsev V., Marques-Silva J. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019, Vol. 11417, pp. 159-173
    more >>
  9. 23Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. Counterexample-guided inference of controller logic from execution traces and temporal formulas // Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation (EFTA) - 2018, pp. 91-98
    more >>
  10. 22Olekhnovich E.I., Vasilyev A.T., Ulyantsev V.I., Kostryukova E.S., Tyakht A.V. MetaCherchant: analyzing genomic context of antibiotic resistance genes in gut microbiota // Bioinformatics - 2018, Vol. 34, No. 3, pp. 434-444 [IF: 7.307, SJR: 4.549]
    more >>
  11. 21Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems // Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018 - 2018, pp. 719-724
    more >>
  12. 20Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas // Automation and Remote Control - 2016, Vol. 77, No. 3, pp. 473-484 [IF: 0.492, SJR: 0.346]
    more >>
  13. 19Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G. Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis // BMC bioinformatics - 2016, Vol. 17, No. 1, pp. 38 [IF: 2.448, SJR: 1.374]
    more >>
  14. 18Buzhinskii I.P., Kazakov S.V., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Modification of the method of generation of control finite-state machines with continuous actions based on training examples // Journal of Computer and Systems Sciences International - 2015, Vol. 54, No. 6, pp. 853-865 [IF: 0.484, SJR: 0.3]
    more >>
  15. 17Buzhinsky I.P., Ulyantsev V.I., Veijalainen J., Viatkin V.V. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1213-1218
    more >>
  16. 16Ulyantsev V., Melnik M. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 9199, pp. 141-153 [SJR: 0.283]
    more >>
  17. 15Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-Based Symmetry Breaking Predicates for DFA Identification // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 8977, pp. 611-622 [SJR: 0.283]
    more >>
  18. 14Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F. Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 1037-1040 [SJR: 0.158]
    more >>
  19. 13Buzhinsky I.P., Ulyantsev V.I., Chivilikhin D.S., Shalyto A.A. Inducing finite state machines from training samples using ant colony optimization // Journal of Computer and Systems Sciences International - 2014, Vol. 53, No. 2, pp. 256-266 [IF: 0.484, SJR: 0.3]
    more >>
  20. 12Chivilikhin D., Ulyantsev V. Inferring Automata-Based Programs from Specification With Mutation-Based Ant Colony Optimization // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 67-68 [SJR: 0.158]
    more >>
  21. 11Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 350-355
    more >>
  22. 10Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms // Proceedings of the Student Workshop on Bioinspired Optimization Methods and their Applications, BIOMA 2014 - 2014, pp. 117-126 [SJR: 0.11]
    more >>
  23. 9Buzhinsky I.P., Ulyantsev V.I., Shalyto A.A. Test-based induction of finite-state machines with continuous output actions // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1049-1054
    more >>
  24. 8Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Search-based construction of finite-state machines with real-valued actions: New representation model // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 199-200
    more >>
  25. 7Chivilikhin D., Ulyantsev V. Learning finite-state machines with classical and mutation-based ant colony optimization: Experimental evaluation // Proceedings of the 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013 - 2013, pp. 528-533
    more >>
  26. 6Chivilikhin D.S., Ulyantsev V.I. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 2, pp. 90-95
    more >>
  27. 5Chivilikhin D.S., Ulyantsev V.I. MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 511-518 MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
    more >>
  28. 4Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Solving five instances of the artificial ant problem with ant colony optimization // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1043-1048
    more >>
  29. 3Chivilikhin D.S., Ulyantsev V.I. Learning Finite-State Machines with Ant Colony Optimization // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2012, Vol. 7461, No. LNCS, pp. 268-275 [SJR: 0.283]
    more >>
  30. 2Chivilikhin D.S., Ulyantsev V.I., Tsarev F.N. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization // GECCO 2012 Proceedings of the 14th annual conference companion on Genetic and evolutionary computation - 2012, pp. 603-606
    more >>
  31. 1Uliantcev V.I., Tsarev F.N. Extended Finite-State Machine Induction using SAT-Solver // Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011 - 2011, Vol. 2, pp. 346–349
    more >>