Международная лаборатория «Компьютерные технологии»

Публикации

1. 106Semiletov A., Vatian A., Krychkov M., Khanzhina N., Klochkov A., Zubanenko A., Soldatov R., Shalyto A., Gusarova N. Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021, Vol. 12744, pp. 593-608 [SJR: 0.249]
   подробнее >>
2. 105Грачев П.Г., Муравьёв С.Б., Фильченков А.А., Шалыто А.А. Генерация автоматов на основе рекуррентных нейросетей и автоматического выбора кластеризации [Automata generation based on recurrent neural networks and automated cauterization selection] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] - 2020. - № 1(104). - С. 34-43 [SJR: 0.202]
   подробнее >>
3. 104Aksenov 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 [SJR: 0.249]
   подробнее >>
4. 103Chivilikhin 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 [IF: 6.764, SJR: 2.496]
   подробнее >>
5. 102Mukhutdinov 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 [IF: 3.997, SJR: 1.262]
   подробнее >>
6. 101Vatian 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 [SJR: 0.16]
   подробнее >>
7. 100Vatian 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
   подробнее >>
8. 99Vatian 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 [SJR: 0.268]
   подробнее >>
9. 98Vatian 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
   подробнее >>
10. 97Vatian 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
11. 96Vatian 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
12. 95Vatian 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 [SJR: 0.249]
    подробнее >>
13. 94Аксенов Ю.В., Добренко Н.В., Ватьян А.С., Капустин Р.О., Осипов С.В., Маврин П.Ю., Гусарова Н.Ф., Шалыто А.А. Применение автоматного подхода для персонализированной поддержки клинических процессов в медицине [Automata approach for personalized support of clinical processes in healthcare] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] - 2019. - № 5(102). - С. 64-75 [SJR: 0.202]
    подробнее >>
14. 93Chivilikhin 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
    подробнее >>
15. 92Ovsiannikova 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
    подробнее >>
16. 91Chivilikhin 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.492, SJR: 0.331]
    подробнее >>
17. 90Dubinin 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
    подробнее >>
18. 89Kulakov 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.153]
    подробнее >>
19. 88Shalamov 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.189]
    подробнее >>
20. 87Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2016. - Т. 16. - № 1(101). - С. 108-114
    подробнее >>
21. 86Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2016. - Т. 16. - № 3(103). - С. 460-466
    подробнее >>
22. 85Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика - 2016. - № 3. - С. 137-151 [IF: 0.783]
    подробнее >>
23. 84Arkhipov 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
    подробнее >>
24. 83Buzdalov 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
    подробнее >>
25. 82Buzhinskii 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.484, SJR: 0.333]
    подробнее >>
26. 81Chivilikhin 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
    подробнее >>
27. 80Chivilikhin 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
    подробнее >>
28. 79Chivilikhin 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
    подробнее >>
29. 78Glotov 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.873, SJR: 0.924]
    подробнее >>
30. 77Lin 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
    подробнее >>
31. 76Savin 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, Vol. не указан, No. не указан, pp. ???
32. 75Ulyantsev 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.249]
    подробнее >>
33. 74Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30 [IF: 0.535]
    подробнее >>
34. 73Buzdalov 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.249]
    подробнее >>
35. 72Buzdalov 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.16]
    подробнее >>
36. 71Buzhinsky 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.484, SJR: 0.333]
    подробнее >>
37. 70Chivilikhin 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
    подробнее >>
38. 69Chivilikhin 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 [SJR: 0.11]
    подробнее >>
39. 68Kazakov 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 [SJR: 0.116]
    подробнее >>
40. 67Kravtsov 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.221]
41. 66Lukin 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.249]
    подробнее >>
42. 65Pang 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
    подробнее >>
43. 64Zhabelova 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
    подробнее >>
44. 63Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
    подробнее >>
45. 62Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) - 2014. - С. 3159-3166
46. 61Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2014. - № 2(90). - С. 93-98
    подробнее >>
47. 60Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2014. - № 6(94). - С. 98-105
48. 59Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) - 2014. - С. 4351-4542
49. 58Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2014. - № 6(94). - С. 146-152
50. 57Aleksandrov 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.484, SJR: 0.333]
    подробнее >>
51. 56Arkhipov 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
    подробнее >>
52. 55Buzdalov 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
    подробнее >>
53. 54Buzhinsky 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
    подробнее >>
54. 53Buzhinsky 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
    подробнее >>
55. 52Chivilikhin 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
    подробнее >>
56. 51Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления - 2013. - № 3. - С. 85-100 [IF: 0.535]
    подробнее >>
57. 50Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы - 2013. - № 5(66). - С. 43-50 [IF: 0.104, SJR: 0.202]
58. 49Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика [ Izvestiya of Saratov University. New Series. Series: Mathematics. Mechanics. Informatics] - 2013. - Т. 13. - № 2-2. - С. 51–57
    подробнее >>
59. 48Zakonov 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.249]
    подробнее >>
60. 47Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2012. - № 1(77). - С. 81-85
61. 46Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2012. - № 1(77). - С. 90-95
62. 45Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2012. - № 1(77). - С. 100-105
63. 44Zakonov 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.134]
    подробнее >>
64. 43Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 5(75). - С. 81-84
65. 42Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 3-11
66. 41Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О. Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг" // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 26-31
67. 40Алексеев С.А., Клебан В.О., Шалыто А.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 37-40
68. 39Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания // Информационные технологии - 2011. - № 7. - С. 34-37
69. 38Данилов В.Р., Шалыто А.А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 54-57
70. 37Законов А.Ю., Шалыто А.А. Применение генетических алгоритмов к генерации тестов для автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 66-72
71. 36Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 6(76). - С. 64-68
72. 35Клебан В.О., Шалыто А.А. Разработка системы управления малоразмерным вертолетом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 12-16
73. 34Сергеев А.А., Клебан В.О., Шалыто А.А. Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 32-36
74. 33Тихомиров А.В., Шалыто А.А. Применение генетического подхода для генерации клеточных автоматов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 62-66
75. 32Трофимов Д.А., Шалыто А.А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 45-49
76. 31Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании - 2011. - № 3. - С. 51-59 [IF: 0.104]
77. 30Шалыто А.А., Янкин Ю.Ю. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92-103
78. 29Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом // Информационно-управляющие системы - 2011. - № 1. - С. 50-56
79. 28Polikarpova 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.484, SJR: 0.333]
    подробнее >>
80. 27Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5(69). - С. 81-86
    подробнее >>
81. 26Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5(69). - С. 91-95
    подробнее >>
82. 25Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия Российской академии наук. Теория и системы управления - 2010. - № 2. - С. 100-117 [IF: 0.535]
83. 24Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии - 2010. - № 8. - С. 18-22
84. 23Суясов Д.И., Шалыто А.А. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками // Информационно-управляющие системы - 2010. - № 4. - С. 39–45
85. 22Царев Ф.Н., Шалыто А.А. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы - 2010. - № 5. - С. 31-36
86. 21Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии - 2010. - № 8. - С. 18-22
87. 20Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия Российской академии наук. Теория и системы управления - 2010. - № 2. - С. 100-117 [IF: 0.535]
88. 19Астафуров А.А., Шалыто А.А. Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY) // Информационно–управляющие системы. - 2009. - № 4. - С. 21–25
89. 18Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2009. - № 6(64). - С. 66-77
    подробнее >>
90. 17Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А. Автоматное программирование и параллельные вычисления // Известия высших учебных заведений. Приборостроение. - 2009. - Т. 52. - № 10. - С. 66–73
91. 16Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО // Научно–технический вестник СПбГУ ИТМО. - 2009. - № 4 (62). - С. 5–11
92. 15Шалыто А.А. 1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение // Информационные технологии. - 2009. - № 12. - С. 38-45
93. 14Шалыто А.А. 1_Парадигма автоматного программирования // RSDN Magazinе - 2009. - № 1. - С. 53-58
94. 13Шалыто А.А. 1_Реализация конечных автоматов на функциональных языках программирования // Информационно-управляющие системы - 2009. - № 6. - С. 15-18
95. 12Шалыто А.А. 1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C // Прикладная дискретная математика. - 2009. - № 1. - С. 81-83
96. 11Шалыто А.А. Верификация автоматных программ // Информационно-управляющие системы - 2008. - № 5. - С. 22-30
97. 10Шалыто А.А. Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. - 2008. - № 53. - С. 3-24
98. 9Шалыто А.А. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя // Нейрокомпьютеры: разработка, применение - 2007. - № 9. - С. 372-379
99. 8Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах // Известия РАН. Теория и системы управления - 2007. - № 5. - С. 43-51
100. 7Шалыто А.А. Применение генетического программирования при решении задачи о флибах // Информационные технологии - 2007. - № 12. - С. 14-17
101. 6Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах // Компьютерные инструменты в образовани - 2007. - № 4. - С. 13-17
102. 5Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY // Информационно-управляющие системы - 2007. - № 4. - С. 22-27
103. 4Шалыто А.А. LabVIEW и SWITCH-технология // Промышленные АСУ и контроллеры - 2006. - № 6. - С. 43–45
104. 3Шалыто А.А. Автоматное программирование // Известия Уральского государственного университета - 2006. - № 43. - С. 181– 190
105. 2Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью // Известия РАН. Теория и системы управления - 2006. - № 1. - С. 78–81
106. 1Шалыто А.А. О проекте Технология автоматного программирования: применение и инструментальные средства // Информационные технологии - 2006. - № 2. - С. -79-83