Ульянцев Владимир Игоревич Доцент факультета информационных технологий и программирования Руководитель Международной лаборатории «Компьютерные технологии» Руководитель лаборатории «Дискретная оптимизация и формальные методы» Персоналия университета ИТМО Перейти к содержимому страницы.

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

Владимир Ульянцев – кандидат технических наук, руководитель международного научного центра компьютерных технологий, заместитель декана факультета информационных технологий и программирования по научной работе, доцент Университета ИТМО.

В 2007 году окончил физико-математический лицей №239 в Санкт-Петербурге и следующие восемь с половиной лет обучения провел на кафедре компьютерных технологий Университета ИТМО (во время поступления – СПбГУ ИТМО). В 2011 году окончил бакалавриат, а в 2013 – магистратуру кафедры.

Рабочую карьеру начал в 2008 году в должности старшего лаборанта – после приглашения Федора Царева присоединиться к подготовке и проведению олимпиад по программированию. Следующие пять лет активно участвовал в организации олимпиад: придумал около ста задач для школьников, разрабатывал для них тесты и решения, участвовал в организации сборов и соревнований. В соавторстве подготовил 25 статей с разборами школьных задач для журнала «Компьютерные инструменты в школе». Один раз был физруком и три раза преподавал на сменах Летней Компьютерной Школы.

В 2010 году начал привлекаться к научной деятельности под руководством Ф.Н. Царева и А.А. Шалыто, к подаче заявок и выполнению грантов РФФИ и ФЦП «Научные и научно-педагогические кадры инновационной России» по тематике автоматизированного синтеза конечных автоматов. Можно утверждать, что в 2010-2013 годах программа «Кадры» и выигранный в 2012 году «У.М.Н.И.К.» позволили остаться работать в вузе и не искать сторонних источников заработка.

С 2011 года публикует работы в международных изданиях, докладывает результаты на всероссийских и международных конференциях, руководит курсовыми и бакалаврскими проектами. Основная тематика исследований, привнесенная на кафедру из работ иностранных коллег, – применение SAT и CSP решателей для решения NP-трудных задач синтеза дискретных моделей.

В 2013 году начал обучение в аспирантуре со стажировки в НИИ ФХМ (Москва). С того времени наряду с основной тематикой исследований занимался биоинформатикой: разработкой и реализацией алгоритмов для сравнительной метагеномики. В процессе коллаборации с институтом были реализованы программные средства MetaFast и MetaCherchant, вышло несколько работ в ведущих биоинформатических журналах Bioinformatics, BMC Bioinformatics.

В 2013 году одним из первых вошел в состав международной научной лаборатории компьютерных технологий, созданной с началом программы «5-100» на базе кафедры под руководством В.Г. Парфенова. Совместно с Даниилом Чивилихиным с 2014 года руководит научной группой и направлением дискретной оптимизации в лаборатории, а также отдельными проектами по биоинформатике и машинному обучению.

В 2015 году досрочно закончил обучение в аспирантуре и защитил диссертацию на соискание ученой степени кандидата технических наук. Тема диссертации – «Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений», научный руководитель – А.А. Шалыто. С 2016 года занимает должность доцента факультета ИТиП.

С 2014 года руководит проектами, поддерживаемыми научными фондами: РФФИ мол_а 14-07-31337 (2014-2015), РНФ 18-71-00150 (2018-2020), РФФИ А 18-07-01285 (2018-2020). С 2016 по 2019 год являлся ответственным исполнителем по международному проекту ФЦП, совместному с Университетом Аалто, Финляндия. С 2016 года курирует исследования студентов и аспирантов, поддерживаемыми JetBrains Research.

В 2018 году после объединения ряда лабораторий возглавил созданный на их базе международный научный центр компьютерных технологий. В начале 2020 года совместно с Алексеем Сергушичевым и Стивеном О'Брайеном организовал на факультете научно-образовательный центр геномного разнообразия. С 2020 года занимает должность замдекана по науке ФИТиП.

На протяжении последних лет с удовольствием читает научные и научно-популярные лекции в школах и на открытых площадках: в ФМЛ 239, в Сириусе, в лектории на Новой Голландии, фестивале Science Fest, и других. Поддерживает страницы лаборатории в социальной сети ВК.

Соавтор более 35 международных публикаций (Scholar, Scopus) и более 10 свидетельств о регистрации программы для ЭВМ, научный руководитель 25 завершенных бакалаврских и магистерских дипломов студентов, член научных жюри конкурсов и хакатонов, член научно-технического и ученого советов Университета ИТМО, эксперт российских грантовых фондов.

 

Публикации

Zakharevich N.V., Morozov M.D., Kanaeva V.A., Filippov M.S., Zyubko T.I., Ivanov A.B., Ulyantsev V.I., Klimina K.M., Olekhnovich E.I.

Systemic metabolic depletion of gut microbiome undermines responsiveness to melanoma immunotherapy//Life Science Alliance, 2024, Vol. 7, No. 5, pp. e202302480 Подробнее

Иванов А.Б., Ульянцев В.И.

Модели машинного обучения в задаче генерации реалистичных синтетических метагеномных наборов данных//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО - 2024

Абдурасулова И.Н., Чернявская Е.А., Иванов А.Б., Никитина В.А., Людыно В.И., Нартова А.А., Мацулевич А.В., Скрипченко Е.Ю., Бисага Г.Н., Ульянцев В.И., Дмитриев А.В.

Изменения в таксономическом составе микробиома кишечника и их связь с биосинтезом и метаболизмом витаминов группы в у детей с рассеянным склерозом // Журнал эволюционной биохимии и физиологии [Zhurnal evoliutsionnoi biokhimii i fiziologii] -2024. - Т. 60. - № 1. - С. 114-134 Подробнее

Noskova E., Abramov N., Iliutkin S., Sidorin A., Dobrynin P.V., Ulyantsev V.I.

GADMA2: more efficient and flexible demographic inference from genetic data//GigaScience, 2023, Vol. 12, pp. giad059 Подробнее

Olekhnovich E.I., Ivanov A.B., Babkina A.A., Sokolov A.A., Ulyantsev V.I., Fedorov D.E., Ilina E.N.

Consistent Stool Metagenomic Biomarkers Associated with the Response To Melanoma Immunotherapy//mSystems, 2023, Vol. 8, No. 2 Подробнее

Khachatryan L., Xiang Y., Ivanov A., Glaab E., Graham G., Granata I., Giordano M., Maddalena L., Piccirillo M., Manipur I., Baruzzo G., Cappellato M., Avot B., Stan A., Battey J., Lo Sasso G., Boue S., Ivanov N.V., Peitsch M.C., Hoeng J., Falquet L., Di Camillo B., Guarracino M., Ulyantsev V., Sierro N., Poussin C.

Results and lessons learned from the sbv IMPROVER metagenomics diagnostics for inflammatory bowel disease challenge//Scientific Reports, 2023, Vol. 13, No. 1, pp. 6303 Подробнее

Иванов А.Б., Попов В.В., Ульянцев В.И.

MetaFX: извлечение признаков для сравнительного анализа полногеномных метагеномных данных//Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB'23 - 2023

Иванов А.Б., Ульянцев В.И.

Алгоритмы извлечения признаков из метагеномных данных полногеномного секвенирования и их визуализация на графе де Брейна//Сборник тезисов конференции Геномика, метагеномика и молекулярная биология микроорганизмов - 2023

Zvyagintseva D., Sigurdsson H., Kozin V.K., Iorsh I., Shelykh I.A., Ulyantsev V., Kyriienko O.

Machine learning of phase transitions in nonlinear polariton lattices//Communications Physics, 2022, Vol. 5, No. 1, pp. 8 Подробнее

Mahmoodpoor A., Verkhogliadov G., Melnikov R., Saranin D., Voroshilov P.M., Sapori D., Haroldson R., Nasibulin A., Ishteev A.R., Ulyantsev V., Makarov S.V., Zakhidov A.A.

Ionic Liquid Gating in Perovskite Solar Cells with Fullerene/Carbon Nanotube Collectors//Energy Technology, 2022, Vol. 10, No. 9, pp. 2200485 Подробнее

Kaplina A., Zaikova E., Ivanov A.B., Volkova Y., Alkhova T., Nikiforov V., Latypov A., Khavkina M., Fedoseeva T., Pervunina T., Skorobogatova Y., Volkova S., Ulyantsev V., Kalinina O., Sitkin S., Petrova N.

Intestinal microbiome changes in an infant with right atrial isomerism and recurrent necrotizing enterocolitis: A case report and review of literature//World Journal of Clinical Cases, 2022, Vol. 10, No. 29, pp. 10583–10599 Подробнее

Ivanova V., Chernevskaya E., Vasiluev P., Ivanov A.B., Tolstoganov I., Shafranskaya D., Ulyantsev V., Korobeynikov A., Razin S.V., Beloborodova N., Ulianov S.V., Tyakht A.

Hi-C Metagenomics in the ICU: Exploring Clinically Relevant Features of Gut Microbiome in Chronically Critically Ill Patients//Frontiers in Microbiology, 2022, Vol. 12, pp. 770323 Подробнее

Chivilikhin D., Zakirzyanov I., Ulyantsev V.

BeBoSy: Behavior Examples Meet Bounded Synthesis//IEEE Access, 2021, Vol. 9, pp. 27540-27551 Подробнее

Ustimenko N., Baryshnikova K.V., Melnikov R., Kornovan D., Ulyantsev V., Evlyukhin A.B.

Light focusing by silicon nanosphere structures under conditions of magnetic dipole and quadrupole resonances//Journal of Physics: Conference Series, 2021, Vol. 2015, No. 1, pp. 012160 Подробнее

Устименко Н.А., Барышникова К.В., Мельников Р.В., Корнован Д.Ф., Ульянцев В.И., Евлюхин А.Б.

Оптимизация структур кремниевых наносфер для фокусировки света//ФизикА.СПб: тезисы докладов международной конференции 18–22 октября 2021 г. - 2021. - С. 228-229

Semenov A., Chivilikhin D., Pavlenko A., Otpuschennikov I., Ulyantsev V.I., Ignatiev A.

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms//Leibniz International Proceedings in Informatics, LIPIcs, 2021, Vol. 210, pp. 47 Подробнее

Olekhnovich E.I., Ivanov A.B., Ulyantsev V.I., Ilina E.N.

Separation of donor and recipient microbial diversity allows determination of taxonomic and functional features of gut microbiota restructuring following fecal transplantation//mSystems, 2021, Vol. 6, No. 4, pp. e00811-21 Подробнее

Ustimenko N., Baryshnikova K.V., Melnikov R., Kornovan D.F., Ulyantsev V., Chichkov B., Evlyukhin A.B.

Multipole optimization of light focusing by silicon nanosphere structures//Journal of the Optical Society of America B: Optical Physics, 2021, Vol. 38, No. 10, pp. 3009-3019 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

Abdurasulova I., Tarasova E., Matsulevich A., Ivanov A.B., Ulyantsev V., Bisaga G., Negoreeva I., Stoliarov I.

Immunomodulating and phychomodulating role of intestinal microbiome in multiple scerosis//Журнал эволюционной биохимии и физиологии [Zhurnal evoliutsionnoi biokhimii i fiziologii], 2020, Vol. 56, No. 7, pp. 727 Подробнее

Абдурасулова И.Н., Тарасова Е.А., Серебрякова М.К., Иванов А.Б., Ульянцев В.И., Бисага Г.Н., Ильвес А.Г., Шкильнюк Г.Г., Негореева И.Г., Столяров И.Д., Суворов А.Н.

Типы изменений микробиома кишечника при рассеянном склерозе и их связь с особенностями субпопуляционного состава иммунных клеток // Гастроэнтерология Санкт-Петербурга -2020. - № 1-2. - С. 76

Павлова О.Н., Маятин А.В., Нигматуллин Н.Г., Ульянцев В.И., Парфенов В.Г.

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

Суворов Д.М., Ульянцев В.И.

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

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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. - Т. 20. - № 2. - С. 49

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 Подробнее

Овсянникова П.А., Ульянцев В.И.

Разработка метода автоматической генерации формальных моделей кибер-физических систем на основе активного обучения//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - 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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

Закирзянов И.Т., Ульянцев В.И.

Сравнительный анализ методов задания ограничений типа at­-most-­one на примере задачи построения ДКА с исполь­зованием программных средств решения SAT//Сборник тезисов докладов конгресса молодых ученых. Электронное издание - 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 Подробнее

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 Подробнее

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 Подробнее

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.

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

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 Подробнее

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. - № 6. - С. 17-30 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

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

Яковлева Д.В., Ульянцев В.И.

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

Шовкопляс Г.Ф., Ульянцев В.И.

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

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.

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

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А.

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

Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А.

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

Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А.

Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем//XII Всероссийское совещание по проблемам управления - 2014. - С. 4531-4542

Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

Муравьиный алгоритм для построения автоматных программ по спецификации//XII Всероссийское совещание по проблемам управления - 2014. - С. 3159-3166

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

Ульянцев В.И., Панченко Е.В.

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

Кучеренко Д.С., Ульянцев В.И.

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

Комаров А.В., Кротков П.А., Кучеренко Д.С., Ульянцев В.И.

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

Ведерников Н.В., Замятин Е.И., Шовкопляс Г.Ф., Ульянцев В.И.

Готовимся к олимпиадам по информатике. Задача «Штурм» // Компьютерные инструменты в школе -2013. - № 6. - С. 28–31 Подробнее

Замятин Е.И., Филиппов Д.С., Ведерников Н.В., Ульянцев В.И.

Задача «Бутерброд для Симбы» // Компьютерные инструменты в школе -2013. - № 5. - С. 44–46 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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 Подробнее

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: Материалы всероссийской научной конференции по проблемам информатики - 2013. - С. 511-516

Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

Метод построения конечных автоматов на основе муравьиного алгоритма//Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник тезисов докладов VII-й Международной научно-технической конференции (Коломна, 20-22 мая 2013 г.) - 2013. - Т. 3. - С. 931-942

Ведерников Н.В., Кротков П.А., Ульянцев В.И.

Олимпиадные задачи по информатике и программированию. Разбор задачи ЕГЭ. // Компьютерные инструменты в школе -2012. - № 2. - С. 27-29

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. - Т. 1. - С. 250-253

Кротков П.А., Кучеренко Д.С., Ульянцев В.И.

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

Чивилихин Д.С., Ульянцев В.И.

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

Ульянцев В.И., Царев Ф.Н.

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

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. - № 6. - С. 30-33

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 Подробнее

Ульянцев В.И., Царев Ф.Н., Цыпленков А.Е., Цыпленков А.Е.

Олимпиадные задачи по информатике и программированию. Задача "Производство бензина // Компьютерные инструменты в школе -2011. - № 1. - С. 33-35

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 Подробнее

Ульянцев В.И., Шалыто А.А.

Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы//Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011) - 2011. - Т. 2. - С. 76-80

Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы//Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011) - 2011. - Т. 2. - С. 69-75

Ульянцев В.И., Царев Ф.Н.

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы//Список-2011: материалы межвузовской научной конференции по проблемам информатики - 2011. - С. 356-358

Ведерников Н.В., Кротков П.А., Ульянцев В.И.

Задача "Хвост графа" // Компьютерные инструменты в школе -2011. - № 6. - С. 53-56 Подробнее

Колганов Р.А., Поромов С.С., Ульянцев В.И., Царев Ф.Н., Поромов С.С., Колганов Р.А.

Олимпиадные задачи по информатике и программированию. Разбор задачи Обобщенные числа-близнецы // Компьютерные инструменты в школе -2010. - № 4. - С. 43-45

Комаров А.В., Ульянцев В.И., Цыпленков А.Е., Цыпленков А.Е., Комаров А.В.

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

Ульянцев В.И., Царев Ф.Н.

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

Царев Ф.Н., Ульянцев В.И.

Олимпиадные задачи по информатике и программированию. Разбор задачи «Раскраска кубиков» // Компьютерные инструменты в школе -2009. - № 5. - С. 19-21

Царев Ф.Н., Ульянцев В.И.

Олимпиадные задачи по информатике и программированию. Разбор задачи «Транспортные узлы» // Компьютерные инструменты в школе -2009. - № 6. - С. 36-37

Публикации в репозитории Университета ИТМО

Чивилихин Д. С., Ульянцев В. И., Вяткин В. В., Шалыто А. А.
ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.

Ульянцев В. И., Панченко Е. В.
ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ КВАНТИФИЦИРОВАННОЙ БУЛЕВОЙ ФУНКЦИИ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ И ТЕМПОРАЛЬНЫМ СВОЙСТВАМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(86) за 2013 г.

Чивилихин Д. С., Ульянцев В. И.
МЕТОД ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ НА ОСНОВЕ МУРАВЬИНЫХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(82) за 2012 г.

Ульянцев В. И., Царев Ф. Н.
ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ БУЛЕВОЙ ФОРМУЛЫ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Проекты

Выполнение опережающих исследований и разработок в области алгоритмов сильного искусственного интеллекта
11/02/2021 - 12/31/2022

Методы выделения специфических признаков из графов де Брейна для групп метагеномных образцов и применение машинного обучения для классификации библиотек полногеномного секвенирования
07/27/2021 - 06/30/2023

Разработка эволюционных стратегий поиска декомпозиций трудных вариантов задачи о булевой выполнимости с применением к обращению криптографических функций
07/31/2018 - 06/30/2020

Методы, модели и технологии искусственного интеллекта в биоинформатике, социальных медиа, киберфизических, биометрических и речевых системах
01/01/2018 - 12/31/2020

Разработка методов машинного обучения для синтеза автоматных моделей систем управления с учетом темпоральных свойств и временных отсечек на основе пропорционального кодирования
01/01/2018 - 12/31/2020

Разработка методов автоматизированного построения надёжного программного обеспечения на основе автоматного подхода по обучающим примерам и темпоральным свойствам"
01/01/2014 - 12/31/2015