Научная
деятельность
Университет ИТМО

Меню

Владимир Игоревич Ульянцев

Владимир Игоревич Ульянцев

Публикации

1. Ульянцев В.И., Панченко Е.В. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам // Научно-технический вестник информационных технологий, механики и оптики - 2013. - № 4(86). - С. 151-153


2. Buzhinsky 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


3. Царев Ф.Н., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи «Раскраска кубиков» // Компьютерные инструменты в школе - 2009. - № 5. - С. 19-21


4. Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121


5. Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 96-100


6. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) - 2014. - С. 4351-4542


7. Яковлева Д.В., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «НОД И НОК» // Компьютерные инструменты в школе - 2014. - № 2. - С. 30-33


8. Zhernakova 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


9. Olekhnovich 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


10. Комаров А.В., Ульянцев В.И., Цыпленков А.Е., Цыпленков А.Е., Комаров А.В. Олимпиадные задачи по информатике и программированию. Разбор задачи Рыцарский щит // Компьютерные инструменты в школе - 2010. - № 6. - С. 40-42


11. Царев Ф.Н., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи «Транспортные узлы» // Компьютерные инструменты в школе - 2009. - № 6. - С. 36-37


12. Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 6(82). - С. 72-76


13. Chivilikhin 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


14. Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30


15. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика - 2016. - № 3. - С. 137-151


16. Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Склад Оби-Вана Кеноби». // Компьютерные инструменты в школе - 2012. - № 5. - С. 23-27


17. Ульянцев В.И., Царев Ф.Н. Олимпиадные задачи по информатике и программированию. Разбор задачи Строки Фибоначчи // Компьютерные инструменты в школе - 2010. - № 1. - С. 36-37


18. Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Международная конференция по мягким вычислениям и измерениям - 2012. - Т. 1. - С. 250-253


19. Chivilikhin 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


20. Pavlenko 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


21. Pavlenko 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


22. Колганов Р.А., Поромов С.С., Ульянцев В.И., Царев Ф.Н., Поромов С.С., Колганов Р.А. Олимпиадные задачи по информатике и программированию. Разбор задачи Обобщенные числа-близнецы // Компьютерные инструменты в школе - 2010. - № 4. - С. 43-45


23. Ульянцев В.И., Царев Ф.Н., Цыпленков А.Е., Цыпленков А.Е. Олимпиадные задачи по информатике и программированию. Задача "Производство бензина // Компьютерные инструменты в школе - 2011. - № 1. - С. 33-35


24. Ulyantsev 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


25. Uliantcev 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


26. Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) - 2014. - С. 3159-3166


27. Zakirzyanov 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


28. Melnikov 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


29. Chivilikhin 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


30. Chivilikhin 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


31. Buzhinsky 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


32. Chivilikhin 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


33. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи ЕГЭ. // Компьютерные инструменты в школе - 2012. - № 2. - С. 27-29


34. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Задача "Хвост графа" // Компьютерные инструменты в школе - 2011. - № 6. - С. 53-56


35. Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Починка забора» // Компьютерные инструменты в школе - 2014. - № 1. - С. 22-25


36. Chivilikhin 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


37. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 98-105


38. Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Гонки на подах» // Компьютерные инструменты в школе - 2013. - № 4. - С. 26–28


39. Chivilikhin 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


40. Pavlenko 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


41. Buzhinsky 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


42. Chivilikhin 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


43. Buzhinsky 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


44. Ulyantsev 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


45. Ведерников Н.В., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи Палиндромы // Компьютерные инструменты в школе - 2012. - № 6. - С. 30-33


46. Buzhinsky 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


47. Chivilikhin 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


48. Ovsiannikova 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


49. Ведерников Н.В., Замятин Е.И., Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Штурм» // Компьютерные инструменты в школе - 2013. - № 6. - С. 28–31


50. Chivilikhin 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


51. Chivilikhin 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


52. Комаров А.В., Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Телесъемка» // Компьютерные инструменты в школе - 2013. - № 1. - С. 24–27


53. Chivilikhin 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


54. Chivilikhin 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


55. Замятин Е.И., Филиппов Д.С., Ведерников Н.В., Ульянцев В.И. Задача «Бутерброд для Симбы» // Компьютерные инструменты в школе - 2013. - № 5. - С. 44–46


56. Buzhinskii 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


57. Dubinkina 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