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

Ульянцев Владимир Игоревич
кандидат технических наук
доцент (квалификационная категория "ординарный доцент"), факультет информационных технологий и программирования

Преподаваемые дисциплины в текущем учебном году

  • Метагеномика / Metagenomics

Наименование направления подготовки и (или) специальности

Педагогический стаж

Общий стаж:
10 лет

Публикации

79
Статья
2020 год

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.S., 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.

Статья
2020 год

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.

Статья
2020 год

Noskova 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.

Учебник, учебное пособие
2020 год

Методические рекомендации по подготовке ВКР и ее защите

Статья
2020 год

Ivanov A.B., Ulyantsev V., Abdurasulova I., Tarasova E., Matsulevich A., Bisaga G., Negoreeva I., Stoliarov I. Immunomodulating and phychomodulating role of intestinal microbiome in multiple scerosis. Journal of Evolutionary Biochemistry and Physiology. 2020. Vol. 56. No. 7. pp. 727.

Статья
2019 год

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.

Статья
2019 год

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.

Статья
2019 год

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.

Статья
2019 год

Kazakov S.V., Ulyantsev V.I., Nurk S. Closing gaps in draft genome assemblies using Oxford Nanopore sequencing and Read-Until technology. BMC bioinformatics. 2019. Vol. 20. No. 17(SI). pp. P4.

Статья
2019 год

Суворов Д.М., Ульянцев В.И. Примеры применения методов синтеза конечных автоматов для генерации моделей смарт-контрактов. СПИСОК-2019 Материалы всероссийской научной конференции по проблемам информатики (СПб, 23-26апреля 2019г.). 2019. С. 10-17.

Статья
2019 год

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.

Статья
2019 год

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.

Статья
2018 год

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.

Статья
2018 год

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.

Статья
2018 год

Zakirzyanov I., Shalyto A., Ulyantsev V. Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. Vol. 10729. pp. 117-131.

Тезисы
2018 год

ОЦЕНКА ПОТЕНЦИАЛА КИШЕЧНОЙ МИКРОБИОТЫ К РАСЩЕПЛЕНИЮ ПОЛИСАХАРИДОВ С ПОМОЩЬЮ ГРАФОВОГО МЕТОДА МЕТАГЕНОМОВ

Статья
2018 год

Ulyantsev V.I., Buzhinsky I., Shalyto A.A. Exact finite-state machine identification from scenarios and temporal properties. International Journal on Software Tools for Technology Transfer. 2018. Vol. 20. No. 1. pp. 35-55.

Тезисы
2018 год

Разработка метода автоматической генерации формальных моделей кибер-физических систем на основе активного обучения

Статья
2018 год

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.

Тезисы
2017 год

Сравнительный анализ методов задания ограничений типа at­-most-­one на примере задачи построения ДКА с исполь­зованием программных средств решения SAT

Статья
2017 год

Ovsiannikova P., Chivilikhin D., Ulyantsev V., Shalyto A. Closed-loop verification of a compensating group drive model using synthesized formal plant model. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017). 2017. pp. 1-4.

Статья
2017 год

Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. CSP-based Inference of Function Block Finite-State Models from Execution Traces. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 714-719.

Статья
2017 год

Avdyukhin D., Chivilikhin D., Korneev G., Ulyantsev V., Shalyto A. Plant Trace Generation for Formal Plant Model Inference: Methods and Case Study. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 746-752.

Статья
2017 год

Kachalsky I., Zakirzyanov I., Ulyantsev V. Applying reinforcement learning and supervised learning techniques to play Hearthstone. 16th IEEE International Conference on Machine Learning and Applications, ICMLA-2017. 2017. pp. 1145-1148.

Статья
2016 год

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.

Статья
2016 год

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

Статья
2016 год

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.

Статья
2016 год

Ulyantsev V.I., Kazakov S.V., Dubinkina V.B., Tyakht A.V., Alexeev D.G. MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data. Bioinformatics. 2016. Vol. 32. No. 18. pp. 2760-2767.

Статья
2015 год

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

Статья
2015 год

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.

Статья
2015 год

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.

Статья
2015 год

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.

Статья
2015 год

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.

Тезисы
2014 год

Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем

Статья
2014 год

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.

Статья
2014 год

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.

Статья
2014 год

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.

Статья
2014 год

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

Статья
2014 год

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

Статья
2014 год

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

Статья
2014 год

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.

Тезисы
2014 год

Муравьиный алгоритм для построения автоматных программ по спецификации

Статья
2014 год

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

Статья
2014 год

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 6(94). С. 98-105.

Статья
2014 год

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

Статья
2014 год

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.

Статья
2013 год

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

Статья
2013 год

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

Статья
2013 год

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.

Статья
2013 год

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.

Статья
2013 год

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.

Статья
2013 год

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.

Статья
2013 год

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.

Статья
2013 год

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.

Статья
2013 год

Ульянцев В.И., Панченко Е.В. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2013. № 4(86). С. 151-153.

Тезисы
2013 год

Метод построения конечных автоматов на основе муравьиного алгоритма

Тезисы
2013 год

Построение автоматов управления объектами со сложным поведением по тестам с учетом непрерывных воздействий

Статья
2013 год

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

Статья
2013 год

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

Статья
2012 год

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

Статья
2012 год

Ulyantsev V.I., Tsarev F.N. Extended Finite-State Machine Induction using SAT-Solver. IFAC Proceedings Volumes (IFAC-PapersOnline). 2012. Vol. 14. No. 1. pp. 236-241.

Статья
2012 год

Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2012. № 1(77). С. 96-100.

Статья
2012 год

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

Статья
2012 год

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

Статья
2012 год

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

Статья
2012 год

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.

Статья
2012 год

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.

Статья
2012 год

Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2012. № 6(82). С. 72-76.

Тезисы
2011 год

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы

Тезисы
2011 год

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы

Тезисы
2011 год

Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы

Статья
2011 год

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

Статья
2011 год

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.

Статья
2011 год

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

Статья
2010 год

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

Статья
2010 год

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

Статья
2010 год

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

Статья
2009 год

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

Статья
2009 год

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

Повышение квалификации

Повышение квалификации
2018 год
Культура и технологии современного управления

Российская Федерация, Санкт-Петербург

Тренинг
2018 год
Управление проектами

Российская Федерация, Санкт-Петербург

Повышение квалификации
2018 год
Тренинг по теме "Функциональный менеджмент"

Российская Федерация, Санкт-Петербург

Повышение квалификации
2017 год
Тренинг по теме "Личная эффективность управленца"

Российская Федерация, Санкт-Петербург

Повышение квалификации
2013 год
Совершенствование системы мобильности работников вуза в ведущие учебные и научные центры (2 этап)