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

Должность: доцент

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

Уч. степень: кандидат технических наук

Стаж: 8 лет

Условие работы: Основное место работы

Трудовой договор: с 11/16/2018 по 03/01/2020

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: Прикладная матетатика и информатика; Квалификация: магистр;

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

Преподаваемые дисциплины:

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

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

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Тренинг
Управление проектами
2018
Российская Федерация
Санкт-Петербург
2
Повышение квалификации
Тренинг по теме "Функциональный менеджмент"
2018
Российская Федерация
Санкт-Петербург
3
Повышение квалификации
Тренинг по теме "Личная эффективность управленца"
2017
Российская Федерация
Санкт-Петербург
4
Повышение квалификации
Совершенствование системы мобильности работников вуза в ведущие учебные и научные центры (2 этап)
2013
Совершенствование системы мобильности работников вуза в ведущие учебные и научные центры (2 этап)

Список трудов:

  1. ОЦЕНКА ПОТЕНЦИАЛА КИШЕЧНОЙ МИКРОБИОТЫ К РАСЩЕПЛЕНИЮ ПОЛИСАХАРИДОВ С ПОМОЩЬЮ ГРАФОВОГО МЕТОДА МЕТАГЕНОМОВ [Тип: Тезисы, Год: 2018]
  2. 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]
  3. 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]
  4. Разработка метода автоматической генерации формальных моделей кибер-физических систем на основе активного обучения [Тип: Тезисы, Год: 2018]
  5. 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]
  6. Ovsiannikova P., Shalyto A., Chivilikhin D., Ulyantsev V., Vyatkin V., Stankevich A. Active learning of plant models for cyber-physical systems. 16th IEEE International Conference on Industrial Informatics. 2018. pp. 1-6. [Тип: Статья, Год: 2018]
  7. 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]
  8. 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]
  9. 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]
  10. 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. [Тип: Статья, Год: 2017]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам. Автоматика и телемеханика. 2016. № 3. С. 137-151. [Тип: Статья, Год: 2016]
  16. 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]
  17. Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам. Известия Российской академии наук. Теория и системы управления. 2015. № 6. С. 17-30. [Тип: Статья, Год: 2015]
  18. 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]
  19. 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]
  20. 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. [Тип: Статья, Год: 2015]
  21. 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]
  22. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации. XII Всероссийское совещание по проблемам управления ВСПУ-2014. 2014. С. 4351-4542. [Тип: Статья, Год: 2014]
  23. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94). С. 98-105. [Тип: Статья, Год: 2014]
  24. Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем. XII Всероссийское совещание по проблемам управления ВСПУ-2014. 2014. С. 3159-3166. [Тип: Статья, Год: 2014]
  25. 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]
  26. 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]
  27. 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. [Тип: Статья, Год: 2014]
  28. 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]
  29. Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма. Известия Российской академии наук. Теория и системы управления. 2014. № 2. С. 111-121. [Тип: Статья, Год: 2014]
  30. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем [Тип: Тезисы, Год: 2014]
  31. Муравьиный алгоритм для построения автоматных программ по спецификации [Тип: Тезисы, Год: 2014]
  32. Яковлева Д.В., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «НОД И НОК». Компьютерные инструменты в школе. 2014. № 2. С. 30-33. [Тип: Статья, Год: 2014]
  33. Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Починка забора». Компьютерные инструменты в школе. 2014. № 1. С. 22-25. [Тип: Статья, Год: 2014]
  34. 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]
  35. Построение автоматов управления объектами со сложным поведением по тестам с учетом непрерывных воздействий [Тип: Тезисы, Год: 2013]
  36. Метод построения конечных автоматов на основе муравьиного алгоритма [Тип: Тезисы, Год: 2013]
  37. Ульянцев В.И., Панченко Е.В. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам. Научно-технический вестник информационных технологий, механики и оптики. 2013. № 4(86). С. 151-153. [Тип: Статья, Год: 2013]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. Замятин Е.И., Филиппов Д.С., Ведерников Н.В., Ульянцев В.И. Задача «Бутерброд для Симбы». Компьютерные инструменты в школе. 2013. № 5. С. 44–46. [Тип: Статья, Год: 2013]
  44. Ведерников Н.В., Замятин Е.И., Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Штурм». Компьютерные инструменты в школе. 2013. № 6. С. 28–31. [Тип: Статья, Год: 2013]
  45. Комаров А.В., Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Телесъемка». Компьютерные инструменты в школе. 2013. № 1. С. 24–27. [Тип: Статья, Год: 2013]
  46. Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Гонки на подах». Компьютерные инструменты в школе. 2013. № 4. С. 26–28. [Тип: Статья, Год: 2013]
  47. 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]
  48. Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов. Научно-технический вестник информационных технологий, механики и оптики. 2012. № 6(82). С. 72-76. [Тип: Статья, Год: 2012]
  49. 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]
  50. Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров. Международная конференция по мягким вычислениям и измерениям. 2012. Т. 1. С. 250-253. [Тип: Статья, Год: 2012]
  51. Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Склад Оби-Вана Кеноби».. Компьютерные инструменты в школе. 2012. № 5. С. 23-27. [Тип: Статья, Год: 2012]
  52. Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы. Научно-технический вестник информационных технологий, механики и оптики. 2012. № 1(77). С. 96-100. [Тип: Статья, Год: 2012]
  53. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи ЕГЭ.. Компьютерные инструменты в школе. 2012. № 2. С. 27-29. [Тип: Статья, Год: 2012]
  54. 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]
  55. Ведерников Н.В., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи Палиндромы. Компьютерные инструменты в школе. 2012. № 6. С. 30-33. [Тип: Статья, Год: 2012]
  56. 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]
  57. Ульянцев В.И., Царев Ф.Н., Цыпленков А.Е., Цыпленков А.Е. Олимпиадные задачи по информатике и программированию. Задача "Производство бензина. Компьютерные инструменты в школе. 2011. № 1. С. 33-35. [Тип: Статья, Год: 2011]
  58. Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы [Тип: Тезисы, Год: 2011]
  59. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы [Тип: Тезисы, Год: 2011]
  60. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Задача "Хвост графа". Компьютерные инструменты в школе. 2011. № 6. С. 53-56. [Тип: Статья, Год: 2011]
  61. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы [Тип: Тезисы, Год: 2011]
  62. Комаров А.В., Ульянцев В.И., Цыпленков А.Е., Цыпленков А.Е., Комаров А.В. Олимпиадные задачи по информатике и программированию. Разбор задачи Рыцарский щит. Компьютерные инструменты в школе. 2010. № 6. С. 40-42. [Тип: Статья, Год: 2010]
  63. Ульянцев В.И., Царев Ф.Н. Олимпиадные задачи по информатике и программированию. Разбор задачи Строки Фибоначчи. Компьютерные инструменты в школе. 2010. № 1. С. 36-37. [Тип: Статья, Год: 2010]
  64. Колганов Р.А., Поромов С.С., Ульянцев В.И., Царев Ф.Н., Поромов С.С., Колганов Р.А. Олимпиадные задачи по информатике и программированию. Разбор задачи Обобщенные числа-близнецы. Компьютерные инструменты в школе. 2010. № 4. С. 43-45. [Тип: Статья, Год: 2010]
  65. Царев Ф.Н., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи «Раскраска кубиков». Компьютерные инструменты в школе. 2009. № 5. С. 19-21. [Тип: Статья, Год: 2009]
  66. Царев Ф.Н., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи «Транспортные узлы». Компьютерные инструменты в школе. 2009. № 6. С. 36-37. [Тип: Статья, Год: 2009]