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

Меню

Публикации

1. Шалыто А.А. Автоматное программирование // Известия Уральского государственного университета - 2006. - № 43. - С. 181– 190


2. Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы - 2013. - № 5(66). - С. 43-50


3. Buzdalov M., Buzdalova A., Shalyto A. A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 1, pp. 203-208


4. Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5 (69). - С. 91-95


5. Алексеев С.А., Клебан В.О., Шалыто А.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 37-40


6. Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 2(90). - С. 93-98


7. Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 1185-1188


8. Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики - 2016. - Т. 16. - № 1(101). - С. 108-114


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


10. Vatian A., Dudorov S., Dobrenko N., Mairovich A., Osipov M., Lobantsev A., Shalyto A., Gusarova N. Intellectualization of knowledge acquisition of academic texts as an answer to challenges of modern information society // Communications in Computer and Information Science - 2019, Vol. 947, pp. 138-153


11. Mukhutdinov D., Filchenkov A., Shalyto A., Vyatkin V. Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system // Future Generation Computer Systems - 2019, Vol. 94, pp. 587-600


12. Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник СПбГУ ИТМО - 2010. - № 5 (69). - С. 91 - 95


13. Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А. Автоматное программирование и параллельные вычисления // Известия высших учебных заведений. Приборостроение. - 2009. - Т. 52. - № 10. - С. 66–73


14. Шалыто А.А. 1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение // Информационные технологии. - 2009. - № 12. - С. 38-45


15. Шалыто А.А. Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. - 2008. - № 53. - С. 3-24


16. Шалыто А.А. Применение генетического программирования при решении задачи о флибах // Информационные технологии - 2007. - № 12. - С. 14-17


17. Kravtsov N., Buzdalov M., Buzdalova A., Shalyto A. Worst-Case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives // Mendel - 2014, pp. 111-116


18. Клебан В.О., Шалыто А.А. Разработка системы управления малоразмерным вертолетом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 12-16


19. Тихомиров А.В., Шалыто А.А. Применение генетического подхода для генерации клеточных автоматов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 62-66


20. Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления - 2010. - № 2(2). - С. 100-117


21. Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8855, pp. 165-170


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


23. Savin A.V., Kleban V.O., Shalyto A. Adaptation of object-oriented programming patterns to IEC 61499 applications in a case of “Factory method” design pattern // не указано - 2015, pp. ???


24. Савин А.В., Клебан В.О., Шалыто А.А. Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод” // не указано - 2015. - С. не указаны


25. Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики - 2016. - Т. 16. - № 3(103). - С. 460-466


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


27. Vatian A., Gusarova N., Dobrenko N., Dudorov S., Nigmatullin N., Shalyto A., Lobantsev A. Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images // Proceedings of the 24th Conference of Open Innovations Association FRUCT - 2019, pp. 472-278


28. Vatian A.S., Tatarinova A., Osipov S., Egorov N., Boitsov V., Ryngach E., Treshkur T., Shalyto A., Gusarova N. Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019, Vol. 11871, pp. 166-174


29. Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом // Информационно-управляющие системы - 2011. - № 1. - С. 50-56


30. Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии. - 2010. - № 8. - С. 18 - 22


31. Шалыто А.А., Янкин Ю.Ю. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92 - 103


32. Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2009. - № 6(64). - С. 66-77


33. Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО // Научно–технический вестник СПбГУ ИТМО. - 2009. - № 4 (62). - С. 5–11


34. Шалыто А.А. LabVIEW и SWITCH-технология // Промышленные АСУ и контроллеры - 2006. - № 6. - С. 43–45


35. Kazakov S., Shalyto A. Overlap graph simplification using edge reliability calculation // Proceedings of the European Conference on Data Mining 2014 and International Conferences on Intelligent Systems and Agents 2014 and Theory and Practice in Modern Computing 2014 - Part of the Multi Conference on Computer Science and Information Systems, MCCSIS 2014 - 2014, pp. 222-226


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


37. Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании - 2011. - № 3. - С. 51-59


38. Законов А.Ю., Шалыто А.А. Применение генетических алгоритмов к генерации тестов для автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 66-72


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


40. Vatian A., Ratnikova A., Gruntov A., Osipov S., Shalyto A.A., Gusarova N.F. Using associative links for storing personalized medical information // Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health - 2019, pp. 211-215


41. Суясов Д.И., Шалыто А.А. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками // Информационно-управляющие системы - 2010. - № 4. - С. 39–45


42. Царев Ф.Н., Шалыто А.А. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы - 2010. - № 5. - С. 31-36


43. Шалыто А.А. О проекте Технология автоматного программирования: применение и инструментальные средства // Информационные технологии - 2006. - № 2. - С. -79-83


44. Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY // Информационно-управляющие системы - 2007. - № 4. - С. 22-27


45. Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления - 2013. - № 3. - С. 85-100


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


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


48. Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 6(76). - С. 64-68


49. Polikarpova N.I., Tochilin V.N., Shalyto A.A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming // Journal of Computer and Systems Sciences International - 2010, Vol. 49, No. 2, pp. 265-282


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


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


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


53. Lin H., Sierla S.A., Papakonstantinou N., Shalyto A.A., Vyatkin V.V. Change request management in model-driven engineering of industrial automation software // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1186-1191


54. Arkhipov V.V., Buzdalov M.V., Shalyto A.A. An asynchronous implementation of the limited memory CMA-ES // 14th International Conference on Machine Learning and Applications, ICMLA 2015 - 2015, pp. 707-712


55. Dubinin V.N., Vyatkin V.V., Shalyto A.A. Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems // International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings - 2016, pp. 7491701


56. Shalamov V., Filchenkov A., Shalyto A. Genetic Search of Pickup and Delivery Problem Solutions for Self-Driving Taxi Routing // IFIP International Conference on Artificial Intelligence Applications and Innovations - 2016, Vol. 475, pp. 348-355


57. Грачев П.Г., Муравьёв С.Б., Фильченков А.А., Шалыто А.А. Генерация автоматов на основе рекуррентных нейросетей и автоматического выбора кластеризации [Automata generation based on recurrent neural networks and automated cauterization selection] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] - 2020. - № 1(104). - С. 34-43


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


59. Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания // Информационные технологии - 2011. - № 7. - С. 34-37


60. Шалыто А.А. 1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C // Прикладная дискретная математика. - 2009. - № 1. - С. 81-83


61. Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью // Известия РАН. Теория и системы управления - 2006. - № 1. - С. 78–81


62. Шалыто А.А. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя // Нейрокомпьютеры: разработка, применение - 2007. - № 9. - С. 372-379


63. Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика - 2013. - Т. 13. - № 2-2. - С. 51–57


64. Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 81-85


65. Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 5(75). - С. 81-84


66. Aleksandrov A.V., Tsarev F.N., Kazakov S.V., Sergushichev A.A., Shalyto A.A. The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior // Journal of Computer and Systems Sciences International - 2013, Vol. 52, No. 3, pp. 410-425


67. Zhabelova G., Yang C., Patil S., Pang C., Yan J., Shalyto A., Vyatkin V. Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence // Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - 2014, pp. 411-417


68. Buzdalov M., Shalyto A. A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8672, pp. 528-537


69. Zakonov A., Shalyto A.A. Extracting EFSMs of web applications for formal requirements specification // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2012, Vol. 7612, No. LNCS, pp. 161-172


70. Zakonov A., Shalyto A.A. Automatic extraction and verification of state-models for web applications // Lecture Notes in Electrical Engineering - 2011, Vol. 133, pp. 157-160


71. Buzdalov M., Shalyto A. Hard Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms: Revisited // IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings - 2015, pp. 2121-2128


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


73. Chivilikhin D.S., Shalyto A.A., Patil S., Viatkin V.V. Reconstruction of function block logic using metaheuristic algorithm: Initial explorations // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1239-1242


74. Vatian A., Lobantsev A., Gorokhov N., Mirzayanov M., Korneev G., Gusarova N.F., Shalyto A.A. Data processing approaches for lung CT-image analysis under resource constraints // Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health - 2019, pp. 19-26


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


76. Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 3-11


77. Данилов В.Р., Шалыто А.А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 54-57


78. Vatian A., Gusarova N., Dobrenko N., Klochkov A., Nigmatullin N., Lobantsev A., Shalyto A. Fusing of Medical Images and Reports in Diagnostics of Brain Diseases // ACM International Conference Proceeding Series - 2019, pp. 102-108


79. Клебан В.О., Шалыто А.А. Анализ эффективности использования GPU для автоматического анализа системы управления мобильным роботом // Научно-технический вестник СПбГУ ИТМО - 2011. - № 2 (72). - С. 32-36


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


81. Клебан В.О., Шалыто А.А., Сергеев А.А. Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 32-36


82. Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 90-95


83. Шалыто А.А., Царев Ф.Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5 (69). - С. 81-86


84. Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantics and Tools // Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - 2014, pp. 440-445


85. Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm // Communications in Computer and Information Science - 2014, Vol. 472, pp. 1-10


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


87. Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании - 2011. - № 3. - С. 51-59


88. Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник СПбГУ ИТМО - 2010. - № 5 (69). - С. 81 - 86


89. Шалыто А.А. 1_Реализация конечных автоматов на функциональных языках программирования // Информационно-управляющие системы - 2009. - № 6. - С. 15-18


90. Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах // Известия РАН. Теория и системы управления - 2007. - № 5. - С. 43-51


91. Шалыто А.А. Верификация автоматных программ // Информационно-управляющие системы - 2008. - № 5. - С. 22-30


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


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


94. Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О. Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг" // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 26-31


95. Казаков С.В., Александров А.В., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник СПбГУ ИТМО - 2011. - № 5. - С. 81-84


96. Glotov A.S., Kazakov S., Zhukova E.A., Alexandrov A., Glotov O.S., Pakin V.S., Danilova M.M., Poliakova I.V., Niyazova S.S., Chakova N.N., Komissarova S.M., Kurnikova E.A., Sarana A.M., Sherbak S.G., Sergushichev A., Shalyto A., Baranov V.S. Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group // Clinica Chimica Acta - 2015, Vol. 446, pp. 132-140


97. Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 146-152


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


99. Савин А.В., Клебан В.О., Шалыто А.А. Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux // не указано - 2015. - С. не указано


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


101. Kulakov F.M., Sokolov B., Shalyto A.A., Alferov G. Robot master slave and supervisory control with large time delays of control signals and feedback // Applied Mathematical Sciences - 2016, Vol. 10, No. 33-36, pp. 1783-1796


102. Aksenov V.E., Kuznetsov P., Shalyto A.A. On Helping and Stacks // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019, Vol. 11028, pp. 107-121


103. Аксенов Ю.В., Добренко Н.В., Ватьян А.С., Капустин Р.О., Осипов С.В., Маврин П.Ю., Гусарова Н.Ф., Шалыто А.А. Применение автоматного подхода для персонализированной поддержки клинических процессов в медицине [Automata approach for personalized support of clinical processes in healthcare] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] - 2019. - № 5(102). - С. 64-75


104. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления - 2010. - № 2. - С. 100 – 117


105. Астафуров А.А., Шалыто А.А. Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY) // Информационно–управляющие системы. - 2009. - № 4. - С. 21–25


106. Шалыто А.А. 1_Парадигма автоматного программирования // RSDN Magazinе - 2009. - № 1. - С. 53-58


107. Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах // Компьютерные инструменты в образовани - 2007. - № 4. - С. 13-17


108. Трофимов Д.А., Шалыто А.А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 45-49


109. Попов С.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии - 2010. - № 8. - С. 18-22


110. Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 100-105


111. Шалыто А.А. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92-103


112. Arkhipov V., Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 2, pp. 108-111


113. Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks // 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings - 2015, Vol. 3, pp. 307-312


114. Vatian A., Dudorov S., Ivchenko A., Smirnov K., Chikshova E., Lobantsev A., Parfenov V., Shalyto A., Gusarova N. Design Patterns for Personalization of Healthcare Process // ACM International Conference Proceeding Series - 2019, Vol. F148261, pp. 83-88