Сотрудник подразделения

Анатолий Абрамович Шалыто

профессор, доктор технических наук

Публикации

  1. 99Chivilikhin 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 [IF: 0.265, SJR: 0.362]
    подробнее >>
  2. 98Dubinin 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
    подробнее >>
  3. 97Kulakov 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 [SJR: 0.368]
    подробнее >>
  4. 96Shalamov 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 [SJR: 0.16]
    подробнее >>
  5. 95Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики - 2016. - Т. 16. - № 1(101). - С. 108-114 [IF: 0.28]
    подробнее >>
  6. 94Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики - 2016. - Т. 16. - № 3(103). - С. 460-466 [IF: 0.28]
    подробнее >>
  7. 93Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика - 2016. - № 3. - С. 137-151 [IF: 0.783]
    подробнее >>
  8. 92Arkhipov 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
    подробнее >>
  9. 91Buzdalov 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
    подробнее >>
  10. 90Buzhinskii 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 [IF: 0.503, SJR: 0.27]
    подробнее >>
  11. 89Chivilikhin 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
    подробнее >>
  12. 88Chivilikhin 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
    подробнее >>
  13. 87Chivilikhin 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
    подробнее >>
  14. 86Glotov 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 [IF: 2.799, SJR: 1.04]
    подробнее >>
  15. 85Lin 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
    подробнее >>
  16. 84Savin 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. ???
  17. 83Ulyantsev 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 [SJR: 0.252]
    подробнее >>
  18. 82Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30 [IF: 0.535]
    подробнее >>
  19. 81Савин А.В., Клебан В.О., Шалыто А.А. Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux // не указано - 2015. - С. не указано
  20. 80Савин А.В., Клебан В.О., Шалыто А.А. Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод” // % - 2015. - С. %
  21. 79Buzdalov 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 [SJR: 0.252]
    подробнее >>
  22. 78Buzdalov 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 [SJR: 0.149]
    подробнее >>
  23. 77Buzhinsky 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 [IF: 0.503, SJR: 0.27]
    подробнее >>
  24. 76Chivilikhin 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
    подробнее >>
  25. 75Chivilikhin 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
    подробнее >>
  26. 74Kazakov 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
    подробнее >>
  27. 73Kravtsov 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 [SJR: 0.225]
  28. 72Lukin 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 [SJR: 0.252]
    подробнее >>
  29. 71Pang 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
    подробнее >>
  30. 70Zhabelova 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
    подробнее >>
  31. 69Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
    подробнее >>
  32. 68Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем // XII Всероссийское совещание по проблемам управления ВСПУ-2014 - 2014. - С. 3159-3166
  33. 67Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 2(90). - С. 93-98 [IF: 0.28]
    подробнее >>
  34. 66Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 98-105 [IF: 0.28]
  35. 65Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 - 2014. - С. 4351-4542
  36. 64Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 146-152 [IF: 0.28]
  37. 63Aleksandrov 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 The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior [IF: 0.503, SJR: 0.27]
    подробнее >>
  38. 62Arkhipov 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
    подробнее >>
  39. 61Buzdalov 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
    подробнее >>
  40. 60Buzhinsky 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 [SJR: 0.228]
    подробнее >>
  41. 59Buzhinsky 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
    подробнее >>
  42. 58Chivilikhin 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 [SJR: 0.228]
    подробнее >>
  43. 57Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления - 2013. - № 3. - С. 85-100 [IF: 0.535]
    подробнее >>
  44. 56Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы - 2013. - № 5(66). - С. 43-50 [IF: 0.104]
  45. 55Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика - 2013. - Т. 13. - № 2-2. - С. 51–57
    подробнее >>
  46. 54Zakonov 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 [SJR: 0.252]
    подробнее >>
  47. 53Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 81-85 [IF: 0.28]
  48. 52Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 90-95 [IF: 0.28]
  49. 51Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 100-105 [IF: 0.28]
  50. 50Zakonov 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 [SJR: 0.122]
    подробнее >>
  51. 49Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 5(75). - С. 81-84
  52. 48Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 3-11
  53. 47Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О. Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг" // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 26-31
  54. 46Алексеев С.А., Клебан В.О., Шалыто А.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 37-40
  55. 45Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания // Информационные технологии - 2011. - № 7. - С. 34-37
  56. 44Данилов В.Р., Шалыто А.А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 54-57
  57. 43Законов А.Ю., Шалыто А.А. Применение генетических алгоритмов к генерации тестов для автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 66-72
  58. 42Казаков С.В., Александров А.В., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник СПбГУ ИТМО - 2011. - № 5. - С. 81-84
  59. 41Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 6(76). - С. 64-68
  60. 40Клебан В.О., Шалыто А.А. Анализ эффективности использования GPU для автоматического анализа системы управления мобильным роботом // Научно-технический вестник СПбГУ ИТМО - 2011. - № 2 (72). - С. 32-36
  61. 39Клебан В.О., Шалыто А.А. Разработка системы управления малоразмерным вертолетом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 12-16
  62. 38Клебан В.О., Шалыто А.А., Сергеев А.А. Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 32-36
  63. 37Тихомиров А.В., Шалыто А.А. Применение генетического подхода для генерации клеточных автоматов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 62-66
  64. 36Трофимов Д.А., Шалыто А.А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 45-49
  65. 35Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании - 2011. - № 3. - С. 51-59
  66. 34Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании - 2011. - № 3. - С. 51-59
  67. 33Шалыто А.А. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92-103
  68. 32Шалыто А.А., Янкин Ю.Ю. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92 - 103
  69. 31Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом // Информационно-управляющие системы - 2011. - № 1. - С. 50-56
  70. 30Polikarpova 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 [IF: 0.503, SJR: 0.27]
    подробнее >>
  71. 29Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник СПбГУ ИТМО - 2010. - № 5 (69). - С. 81 - 86
  72. 28Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник СПбГУ ИТМО - 2010. - № 5 (69). - С. 91 - 95
  73. 27Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления - 2010. - № 2. - С. 100 – 117
  74. 26Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии. - 2010. - № 8. - С. 18 - 22
  75. 25Попов С.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии - 2010. - № 8. - С. 18-22
  76. 24Суясов Д.И., Шалыто А.А. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками // Информационно-управляющие системы - 2010. - № 4. - С. 39–45
  77. 23Царев Ф.Н., Шалыто А.А. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы - 2010. - № 5. - С. 31-36
  78. 22Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления - 2010. - № 2(2). - С. 100-117
  79. 21Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5 (69). - С. 91-95
  80. 20Шалыто А.А., Царев Ф.Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5 (69). - С. 81-86
  81. 19Астафуров А.А., Шалыто А.А. Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY) // Информационно–управляющие системы. - 2009. - № 4. - С. 21–25
  82. 18Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2009. - № 6(64). - С. 66-77
    подробнее >>
  83. 17Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А. Автоматное программирование и параллельные вычисления // Известия высших учебных заведений. Приборостроение. - 2009. - Т. 52. - № 10. - С. 66–73
  84. 16Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО // Научно–технический вестник СПбГУ ИТМО. - 2009. - № 4 (62). - С. 5–11
  85. 15Шалыто А.А. 1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение // Информационные технологии. - 2009. - № 12. - С. 38-45
  86. 14Шалыто А.А. 1_Парадигма автоматного программирования // RSDN Magazinе - 2009. - № 1. - С. 53-58
  87. 13Шалыто А.А. 1_Реализация конечных автоматов на функциональных языках программирования // Информационно-управляющие системы - 2009. - № 6. - С. 15-18
  88. 12Шалыто А.А. 1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C // Прикладная дискретная математика. - 2009. - № 1. - С. 81-83
  89. 11Шалыто А.А. Верификация автоматных программ // Информационно-управляющие системы - 2008. - № 5. - С. 22-30
  90. 10Шалыто А.А. Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. - 2008. - № 53. - С. 3-24
  91. 9Шалыто А.А. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя // Нейрокомпьютеры: разработка, применение - 2007. - № 9. - С. 372-379
  92. 8Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах // Известия РАН. Теория и системы управления - 2007. - № 5. - С. 43-51
  93. 7Шалыто А.А. Применение генетического программирования при решении задачи о флибах // Информационные технологии - 2007. - № 12. - С. 14-17
  94. 6Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах // Компьютерные инструменты в образовани - 2007. - № 4. - С. 13-17
  95. 5Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY // Информационно-управляющие системы - 2007. - № 4. - С. 22-27
  96. 4Шалыто А.А. LabVIEW и SWITCH-технология // Промышленные АСУ и контроллеры - 2006. - № 6. - С. 43–45
  97. 3Шалыто А.А. Автоматное программирование // Известия Уральского государственного университета - 2006. - № 43. - С. 181– 190
  98. 2Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью // Известия РАН. Теория и системы управления - 2006. - № 1. - С. 78–81
  99. 1Шалыто А.А. О проекте Технология автоматного программирования: применение и инструментальные средства // Информационные технологии - 2006. - № 2. - С. -79-83