Шалыто Анатолий Абрамович Профессор факультета информационных технологий и программирования Сотрудник международной лаборатории «Компьютерные технологии» Главный научный сотрудник исследовательского центра в сфере искусственного интеллекта «Сильный искусственный интеллект в промышленности» Персоналия университета ИТМО Перейти к содержимому страницы.
  2. Университет
  3. Персоналии (А-Я)
  4. Шалыто Анатолий Абрамович

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

Ученое звание:
профессор
Ученая степень:
доктор технических наук
Должность:
Профессор факультета информационных технологий и программирования
Сотрудник международной лаборатории «Компьютерные технологии»
Главный научный сотрудник исследовательского центра в сфере искусственного интеллекта «Сильный искусственный интеллект в промышленности»

Известный специалист в области методов аппаратной и программной реализации алгоритмов логического управления технологическими процессами.

Лауреат премии Правительства Российской Федерации 2008 года в области образования за научно-практическую и методическую разработку «Инновационная система поиска и подготовки высококвалифицированных специалистов в области производства программного обеспечения на основе проектного и соревновательного подходов» для образовательных учреждений высшего профессионального образования.

Родился в 28 мая 1948 года в Ленинграде. Окончил с отличием Ленинградский электротехнический институт имени В. И. Ульянова (Ленина) по специальности Автоматика и телемеханика (1971).

С 1971 году работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления. Ученый секретарь предприятия. В 1985 году присвоено ученое звание Старший научный сотрудник по специальности Элементы и устройства вычислительной техники и систем управления.

В 1977 году без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977). В 1999 году защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000).

Преподавал в институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград) (1974—1991). В 1991 году присвоено ученое звание Доцент по кафедре Управляющие вычислительные системы.

С 1998 года преподает на кафедре Компьютерные технологии. С 2000 года профессор этой кафедры. В 2001 года присвоено ученое звание профессор по кафедре Компьютерные технологии. Заведующий кафедрой Информационные системы (2001—2004). Ученым советом университета 25 мая 2004 года избран заведующим кафедрой Технологии программирования.

Автор более 70 изобретений. Неоднократно выступал на всесоюзных и международных конференциях с докладами по различным вопросам аппаратной и программной реализации алгоритмов логического управления.

Автор большого числа научных трудов, опубликованных в том числе и в таких журналах Академии наук СССР и России, как «Автоматика и телемеханика», «Автоматика и вычислительная техника», «Известия Академии наук. Техническая кибернетика», «Известия Академии наук. Теория и системы управления», «Проблемы передачи информации», «Автометрия», «Программирование».

В последние годы опубликовал ряд статей в таких журналах, как «Мир ПК» и «Программист».

В 1981 году в соавторстве выпустил книгу «Настраиваемые модули для управляющих логических устройств» (Л.: Энергоиздат, 1981. — 163 с.).

В 1996 году выиграл конкурс издательских проектов Российского фонда фундаментальных исследований и опубликовал книгу «SWITCH-технология. Алгоритмизация и программирование задач логического управления» (СПб.: Наука. 1998. — 628 с.).

В 2000 году при финансовой поддержке Администрации Санкт-Петербурга опубликовал книгу «Логическое управление. Методы аппаратной и программной реализации алгоритмов» (СПб.: Наука. 2000. - 780 с.).

С 2000 года руководит на научно-исследовательской работой по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода», выполняемой в рамках программы фундаментальных исследований Министерства образования Российской Федерации.

В 2002 году получил грант Российского фонда фундаментальных исследований для проведения исследования по теме «Разработка технологии автоматного программирования» (грант N 02-07-90114).

Член редакционной коллегии журнала «Информационно-управляющие системы». Член диссертационных, научно-технических и экспертных советов.

Автор более 200 научных работ.

ПЕРЕЧЕНЬ ОСНОВНЫХ ПУБЛИКАЦИЙ

МОНОГРАФИИ

  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Настраиваемые модули для управляющих логических устройств. Л.: Энергоиздат, 1981. 165 с.
  2. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с. Опиание размещено на сайте http://is.ifmo.ru
  3. Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2000. 780 с. Опиание размещено на сайте http://is.ifmo.ru
РЕЦЕНЗИИ НА КНИГИ А.А.ШАЛЫТО
  1. Герр Р. Новый поворот //PC Magazin/RE. 1998. N10. C.88—90. Реценизия размещена на сайте http://is.ifmo.ru
  2. Лашматкин А. Возрождение автоматов //Компьютер дома и на работе. 2001. N23. Реценизия размещена на сайте http://is.ifmo.ru
  3. Богатырев Р. Об автоматном и асинхронном программировании //Открытые системы. 2001. N3. С.68—69. Реценизия размещена на сайте http://is.ifmo.ru
  4. Рузайкин Г. И. Взгляд на алгоритмы //Мир компьютерной автоматизации 2001. N3. C.48. Реценизия размещена на сайте http://is.ifmo.ru
  5. Д. Гориловский. Рецензия на книгу Шалыто А. А. «Логическое управление. Методы аппаратной и программной реализации алгоритмов» //Компьютерра, 2002, N14, С.59. Реценизия размещена на сайте http://is.ifmo.ru
О А. А. ШАЛЫТО
  1. Приборостроители России. М.— СПб.: Гуманистика, 2001.
АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
  1. Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. I //Автоматика и телемеханика. 1996. N6. C.148-158. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. I. //Automation and Remote Control. 1996. Vol.57. N6. P.890-897.
  2. Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. II //Автоматика и телемеханика. 1996. N7. C.144-169. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. II. //Automation and Remote Control. 1996. Vol.57. N7. P.1027- 1045. Information about magazine "Automation and Remote Control" on http://www.maik.ru/, http://www.wkap.nl/.
  3. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. N9. С.33-37.
  4. Шалыто А. А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. N6. С.63-81. Статья размещена на сайте http://is.ifmo.ru. Shalyto A. A. Software Automation Design: Algorithmization and Programming of Problems of Logical Control //Journal of Computer and Systems Sciences International. 2000. Vol.39. N6. P.899-916. Information about magazine «Journal of Computer and Systems Sciences International» on http://www.maik.ru/.
  5. Шалыто А. А. Реализация алгоритмов логического управления программами на языке функциональных блоков //Промышленные АСУ и контроллеры. 2000. N4. С.45-50. Статья размещена на сайте http://is.ifmo.ru.
  6. Шалыто А. А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем //Промышленные АСУ и контроллеры. 2000. N10. С.44-48.
  7. Шалыто А. А. Алгоритмизация и программирование для систем логического управления и «реактивных» систем //Автоматика и телемеханика. 2001. N1. С.3-39. Статья размещена на сайте Статья размещена на сайте http://is.ifmo.ru. Shalyto A. A. Logic Control and «Reactive» Systems: Algorithmization and Programming //Automation and Remote Control. 2001. Vol.62. N1. P.1-29. Text on http://www.maik.ru/, http://www.wkap.nl/, http://is.ifmo.ru/.
  8. Шалыто А. А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения «реактивных» систем //Программирование. 2001. N5. С.45-62. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A., Tukkel N.I. SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems //Programming and Computer Software. 2001. 27(5). Information about magazine «Programming and Computer Software» on http://www.maik.ru/, http://www.wkap.nl/.
  9. Шалыто А. А., Туккель Н. И. Реализация вычислительных алгоритмов на основе автоматного подхода / /Телекоммуникации и информатизация образования. 2001. N6. С.35-53.
  10. Шалыто А. А., Туккель Н. И. Программирование с явным выделением состояний //Мир ПК. 2001. N8. C.116-121, N9. C.132-138. Статья размещена на сайте http://is.ifmo.ru.
  11. Шалыто А. А., Туккель Н. И. SWITCH-технология - автоматный подход к созданию программного обеспечения «реактивных» систем //Известия высших учебных заведений. Приборостроение. 2001. N9. С.28-35.
  12. Шалыто А. А., Туккель Н. И. От тьюрингова программирования к автоматному //Мир ПК. 2002. N2. С.144-149. Статья размещена на сайте http://is.ifmo.ru.
  13. Шалыто А. А., Туккель Н. И. Реализация автоматов при программировании событийных систем // Программист. 2002. N4. С.74-80. Статья размещена на сайте http://is.ifmo.ru.
  14. Шалыто А. А., Туккель Н. И., Шамгунов Н.Н. Ханойские башни и автоматы //Программист. 2002. N8. С.82-90. Статья размещена на сайте http://is.ifmo.ru.
ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ. ПРОЕКТЫ

(Документация размещена на сайте http://is.ifmo.ru/)

  1. Туккель Н. И., Шалыто А. А., Верба М.Т. Пример программной документации на подсистему управления печатью, разработанной на основе SWITCH-технологии. СПб., 2001. 50 с. Проект размещен на сайте http://is.ifmo.ru/
  2. Туккель Н. И., Шалыто А. А., Ваганов С.А. Использование SWITCH- технологии при разработке программ в среде «FLORA/C++». Модель технологического процесса в цехе холодной прокатки. Программная документация. СПб., 2001. 16 с. Проект размещен на сайте http://is.ifmo.ru/
  3. Туккель Н. И., Шалыто А. А. Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний. Программная документация. СПб., 2002. 51 с. Проект размещен на сайте http://is.ifmo.ru/
  4. Туккель Н. И., Шалыто А. А. Система управления танком для игры «Robocode». Объектно- ориентированное программирование с явным выделением состояний. Программная документация. СПб., 2002. 52 с. Проект размещен на сайте http://is.ifmo.ru/
ИССЛЕДОВАНИЕ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ОДНОКОНТУРНЫХ ЛОГИЧЕСКИХ СХЕМАХ
  1. Киселев В. В., Шалыто А. А. Исследование переходных процессов в одноконтурных логических схемах //Известия РАН. Теория и системы управления. 1999. N5. С.22-27. Kiselev V.V., Shalyto A.A. Study of Transidents in One-Contour Logical Circuits //Journal of Computer and Systems Sciences International. 1999. Vol.38. N5.
РЕАЛИЗАЦИЯ БУЛЕВЫХ ФОРМУЛ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ
  1. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ //Известия РАН. Техническая кибернетика. 1994. N5. С.132-142. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. I. Synthesize and Analysis //Journal of Computer and Systems Sciences International. 1994. Vol.33. N5.
  2. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. II. Оценки числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N3. С.144-153. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. II. Estimations of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. N3.
  3. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. III. Оптимизация числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N5. С.214-223. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. III. Optimization of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. N5.
РЕАЛИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ БИНАРНЫМИ ГРАФАМИ
  1. Артюхов В. Л., Кузнецов Б.П., Шалыто А.А. Настраиваемые бинарные программы //Автоматика и телемеханика. 1984. N11. С.112-119. Artyukhov V.L., Kuznetsov B.P., Shalyto A.A. Tunable Binary Procedures and Programs with Loops //Automation and Remote Control. 1984. Vol.45. N11. P.1481-1488.
  2. Кузнецов Б. П., Шалыто А. А. Структурный подход к программной реализации булевых формул // Автоматика и вычислительная техника. 1985. N5. С.84-88. Kuznetsov B.P., Shalyto A.A. Structural Approach to Software Implementation of Boolean Functions //Automatic Control and Computer Sciences. 1985. Vol.26. N5. P.80-83. Information about magazine "Automatic Control and Computer Sciences" on http://www.edi.lv/.
  3. Кузнецов Б. П., Шалыто А. А. Система преобразований некоторых форм представления булевых функций //Автоматика и телемеханика. 1985. N11. С.120-127. Kuznetsov B.P., Shalyto A.A. System of Transformations of Certain Representations of Boolean Functions //Automation and Remote Control. 1985. Vol.46. N11. P.1450-1457.
  4. Рубинов В. И., Шалыто А. А. Метод построения граф-схем простых бинарных программ для систем булевых функций //Автоматика и вычислительная техника. 1986. N4. С.87-92. Rubinov V.I., Shalyto A.A. Method of Constructing Flowcharts of Simple Binary Programs for Systems of Boolean Functions // Automatic Control and Computer Sciences. 1986. Vol.27. N4. P.82-87.
  5. Сагалович Ю. Л., Шалыто А. А. Бинарные программы и их реализация асинхронными автоматами // Проблемы передачи информации. 1987. Вып.1. С.89-96. Sagalovich Yu., Shalyto A.A. Binary Programs and Ther Realization by Asynchronous Automata //Problems of Information Transmission, 1987. N1, P.74-80. Information about magazine "Problems of Information Transmission" on http://www.maik.ru/, http://www.wkap.nl/. 6. Рубинов В.И., Шалыто А.А. Построение граф-схем бинарных программ для систем булевых функций, заданных таблицами истинности //Автоматика и вычислительная техника. 1988. N1. С.87-92. Rubinov V.I., Shalyto A.A. Design of Flowcharts of Binary Programs for Systems of Boolean Functions Specified by Truth Tables //Automatic Control and Computer Sciences. 1988. Vol.29, N1. P.79-83.
  6. Кузнецов Б. П., Шалыто А. А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул //Автоматика и телемеханика. 1998. N9. С.142-154. Kuznetsov B.P., Shalyto A.A. The Method of Independent Fragments for Constraction of Linearized Structured Graf-Charts of Algorithms that Implement Systems of Boolean Formulas //Automation and Remote Control. 1998. Vol.59. N9.
РЕАЛИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ АРИФМЕТИЧЕСКИМИ ПОЛИНОМАМИ
  1. Артюхов В. Л., Кондратьев В. Н., Шалыто А. А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988. N4. С.138-147. Artyukhov V.L., Kondrat`ev V.N., Shalyto A.A. Generating Boolean Functions Via Arithmetic Polinomials //Automation and Remote Control. 1988. Vol.49. N4. P.508-515. Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций с использованием линейных арифметических полиномов //Автоматика и телемеханика. 1993. N3. С.135-151. Kondrat`ev V.N., Shalyto A.A. Realization of Systems of Boolean Functions by Liner Arithmetic Polinomials //Automation and Remote Control. 1993. Vol.54. N3. P.472-488.
  2. Кондратьев В. Н., Шалыто А. А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием //Автоматика и телемеханика. 1996. N1. С.158-170. Kondrat`ev V.N., Shalyto A.A. Realization of Boolean Functions by One Liner Arithmetic Polinomial with Masking // Automation and Remote Control. 1996. Vol.57. N1. P.127-137.
  3. Кондратьев В. Н., Шалыто А. А. Реализация систем булевых функций линейными арифметическими полиномами //Автоматика и телемеханика. 1997. N3. С.200-215. Kondrat`ev V.N., Shalyto A.A. Implementation of Systems of Boolean Functions by Linear Arithmetic Polinomials with Masking // Automation and Remote Control. 1997. Vol.58. N3.
МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Вопросы применения многофункциональных логических модулей /Материалы международного симпозиума "Дискретные системы" (Symposium of International Federation of Automatic Control - IFAC). Рига: Зинатне, 1974, т.1. С.57-67.
  2. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Синтез комбинационных схем из многофункциональных логических модулей //Построение управляющих устройств и систем. М.: Наука, 1974. С.77-83. 3. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Оценка логической эффективности интегральных микросхем //Автоматика и вычислительная техника. 1981. N1. С.38-40. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Estimation of the Logical Efficiency of Integrated Microcircuitry //Automatic Control and Computer Sciences. 1981. Vol.22. N1. P.32-34.
  3. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Об оценках сложности реализации булевых формул древовидными схемами из настраиваемых модулей //Автоматика и телемеханика. 1981. N11. С.124-130. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Bounds on the Realization Complexity of Boolean Formulas by Tree Circuits of Tunable Modyles //Automation and Remote Control. 1982. Vol.42. N11. P.1532-1537.
  4. Шалыто А. А. Модули, универсальные в классе всех булевых функций, с парафазными входными переменными //Известия РАН. Теория и системы управления. 1997. N5. С.150-157. Shalyto A.A. Modules with Paraphase the Input Variables That ave Universal in Class of All Boolean Functions //Journal of Computer and Systems Sciences International. 1997. Vol.36. N5. P.794-801.
  5. Шалыто А. А. Модули, универсальные в классе самодвойственных функций и в "близких" к ним классах //Известия РАН. Теория и системы управления. 2001. N5. С.110-120. Shalyto A.A. Modules which Are Universal in the Class of Self-Dual Functions and in Close Classes //Journal of Computer and Systems Sciences International. 2001. Vol.40. N5. P.782-792.
МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ ИЗ ЭЛЕМЕНТОВ С ДВУСТОРОННЕЙ ПРОВОДИМОСТЬЮ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия высших учебных заведений. Приборостроение. 1981. N4. С.38-41.
ФУНКЦИОНАЛЬНЫЕ ВОЗМОЖНОСТИ МИКРОЭЛЕКТРОННЫХ РЕЗИСТИВНЫХ НАБОРОВ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Функциональные возможности микроэлектронных резистивных наборов //Автометрия. 1979. N3. С.120-122.
ОДНОРОДНЫЕ СТРУКТУРЫ
  1. Артюхов В. Л., Розенблюм Л. Я., Шалыто А. А. Логические возможности некоторых типов каскадных структур //Сети связи и дискретные устройства управления. М.: Наука, 1976. С.138-144.
  2. Артюхов В. Л., Шалыто А. А. Реализация булевых формул однородными мультиплексорными и мажоритарными каскадами //Известия РАН. Теория и системы управления. 1996. N5. С.133-146. Artyukhov V.L., Shalyto A.A. Realization of Boolean Formulas by Uniform Multiplexor and Majority Cascades //Journal of Computer and Systems Sciences International. 1996. Vol.35. N5. P.805-815.
  3. Шалыто А. А. Реализация булевых формул и булевых функций однородными структурами //Известия РАН. Теория и системы управления. 2002. N2. Shalyto A.A.Realization of Boolean Formulas and Boolean Functions by Homogeneous Structures //Journal of Computer and Systems Sciences International. 2002. Vol.41. N2. P.264-273.
ОЦЕНКА ФУНКЦИОНАЛЬНЫХ ВОЗМОЖНОСТЕЙ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ МАТРИЦ
  1. Артюхов В. Л., Кузнецова О. С., Шалыто А. А. Оценка функциональных возможностей программируемых логических матриц //Автоматика и вычислительная техника. 1985. N2. С.58-64. Artyukhov V.L., Shalyto A.A., Kuznetsova O.S. Evaluation of the Functional Capabilities of Programmable Logical Arrays //Automatic Control and Computer Sciences. 1985. Vol.26. N2. P.69-73.
РАЗНОЕ
  1. Шалыто А. А. У нас была Великая эпоха! http://www.computer-museum.ru/histsoft/epoch.php; http://www.softcraft.ru/; http://is.ifmo.ru/.

Публикации

Sidorenko D., Shalyto A.

Knowledge graph construction via pretrained end-to-end transformer model//Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2024, BigDaCI 2024; Connected Smart Cities 2024, CSC 2024; and e-Health 2024, EH 2024, 2024, pp. 244-248

Сидоренко Д.А., Шалыто А.А.

Предсказание связей «ген-болезнь» с помощью гетерогенной графовой нейронной сети [Predicting gene-disease associations using a heterogeneous graph neural network] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2024. - Т. 24. - № 4. - С. 594-601 Подробнее

Sidorenko D., Shalyto A.

Conditional diffusion model for generating biologic data//Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2024, BigDaCI 2024; Connected Smart Cities 2024, CSC 2024; and e-Health 2024, EH 2024, 2024, pp. 229-233

Клеверов Д.А., Шалыто А.А., Артемов М.

Метод построения интерпретируемых скрытых марковских моделей для задачи поиска связываемых участков пептидов в последовательностях белков [A method for constructing interpretable hidden Markov models for the task of identifying binding cores in sequences] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2023. - Т. 23. - № 5(147). - С. 989-1000 Подробнее

Vitian A., Gusarova N., Tomilov I., Shalyto A.

Adversarial Examples in Processing of High-Tech Imaging Using DNN//International Journal of Artificial Intelligence, 2023, Vol. 21, No. 1, pp. 27-54 Подробнее

Шалыто А.А.

Валидация автоматных спецификаций [Validation of state machine specifications] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2023. - Т. 23. - № 2(144). - С. 436-438 Подробнее

Khanzhina N., Filchenkov A., Minaeva N., Novoselova L., Petukhov M., Kharisova I., Pinaeva J., Zamorin G., Putin E.O., Zamyatina E., Shalyto A.A.

Combating data incompetence in pollen images detection and classification for pollinosis prevention//Computers in Biology and Medicine, 2022, Vol. 140, pp. 105064 Подробнее

Shovkoplias G., Strokov D., Kasantsev D., Vatian A., Asadulaev A., Tomilov I., Shalyto A.A., Gusarova N.F.

Improving Sign Language Processing via Few-Shot Machine Learning//Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics], 2022, Vol. 22, No. 3(139), pp. 559-566 Подробнее

Рыбкин К.Е., Фильченков А.А., Азаров А.А., Забашта А.С., Шалыто А.А.

Совместное обучение агентов и векторных представлений графов в задаче управления конвейерными лентами [Joint learning of agents and graph embeddings in a conveyor belt control problem] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2022. - Т. 22. - № 6(142). - С. 1187-1196 Подробнее

Журба Я.С., Фильченков А.А., Азаров А.А., Шалыто А.А.

Алгоритмы непрерывного управления для маршрутизации конвейера на основе мультиагентного глубокого обучения с подкреплением [Continuous control algorithms for conveyer belt routing based on multi-agent deep reinforcement learning] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] -2022. - № 6(121). - С. 10-19 Подробнее

Грибанов Т.А., Фильченков А.А., Азаров А.А., Шалыто А.А.

Мультиагентная адаптивная маршрутизация агентами-клонами на основе многоголового внутреннего внимания с использованием обучения с подкреплением [Multi-agent adaptive routing by multi-head-attention-based twin agents using reinforcement learning] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2022. - Т. 22. - № 6(142). - С. 1178-1186 Подробнее

Buzhinskii I.P., Shalyto A.A.

Towards Neural Routing with Verified Bounds on Performance [На пути к нейросетевой маршрутизации с верифицированными границами эффективности]//Моделирование и анализ информационных систем, 2022, Vol. 29, No. 3, pp. 228-245 Подробнее

Беляев Е.А., Шалыто А.А.

Яаков Зив – «отец» современных архиваторов // Виртуальный компьютерный музей. Проект Эдуарда Пройдакова [электронный сайт] -2022 Подробнее

Vitian A., Peredreev D., Rodiontsev K., Murzina A., Klevtsova E., Tatarinova A., Treshkur T., Shalyto A., Gusarova N.

Helping paramedics in assessing a patient's condition based on ECG by means of mobile phone//14th International Conference on ICT, Society, and Human Beings, ICT 2021, 18th International Conference on Web Based Communities and Social Media, WBC 2021 and 13th International Conference on e-Health, EH 2021 - Held at the 15th Multi-Conference on Computer Science and Information Systems, MCCSIS 2021, 2021, pp. 144-151

Suzdaltseva M., Shamakhova A.S., Dobrenko N., Alekseeva O.V., Hammoud J., Gusarova N., Vatian A., Shalyto A.A.

De-Identification of Medical Information for Forming Multimodal Datasets to Train Neural Networks//7th International Conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2021, 2021, pp. 163-170 Подробнее

Shovkoplias G., Tkachenko M., Asadulaev A., Alekseeva O., Dobrenko N., Kazantsev D., Vatian A., Shalyto A., Gusarova N.

Support for communication with deaf and dumb patients via Few-Shot Machine Learning//14th International Conference on ICT, Society, and Human Beings, ICT 2021, 18th International Conference on Web Based Communities and Social Media, WBC 2021 and 13th International Conference on e-Health, EH 2021 - Held at the 15th Multi-Conference on Computer Science and Information Systems, MCCSIS 2021, 2021, pp. 216-220

Hammoud J., Vatian A., Dobrenko N., Vedernikov N., Shalyto A., Gusarova N.

New Arabic Medical Dataset for Diseases Classification//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, Vol. 13113, pp. 196-203 Подробнее

Gainullina A., Shalyto A.A., Sergushichev A.A.

Method for Joint Clustering in Graph and Correlation Spaces//Automatic Control and Computer Sciences, 2021, Vol. 55, No. 7, pp. 647-657 Подробнее

Bassin A., Buzdalov M., Shalyto A.A.

The "One-Fifth Rule" with Rollbacks for Self-Adjustment of the Population Size in the (1+(lambda, lambda)) Genetic Algorithm//Automatic Control and Computer Sciences, 2021, Vol. 55, No. 7, pp. 885-902 Подробнее

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

Басин А., Буздалов М.В., Шалыто А.А.

Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1+(lambda,lambda)) // Моделирование и анализ информационных систем -2020. - Т. 27. - № 4. - С. 488-508 Подробнее

Lobantsev A., Shovkoplias G., Tkachenko M., Morokova K., Soldatov R., Zubanenko A., Shalyto A.

Pipeline for control of the dynamics of localized brain pathologies in magnetic resonance images//Proceedings of the 12th IADIS International Conference e-Health 2020, EH 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020, 2020, pp. 19-26

Гайнуллина А.Н., Шалыто А.А., Сергушичев А.А.

Метод совместной кластеризации в графовом и корреляционном пространствах // Моделирование и анализ информационных систем -2020. - Т. 27. - № 2. - С. 180-193 Подробнее

Грачев П.Г., Муравьёв С.Б., Фильченков А.А., Шалыто А.А.

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

Гайнуллина А.Н., Сухов В.Д., Шалыто А.А., Сергушичев А.А.

Применение метода независимых компонент для определения начального приближения при поиске активных модулей в биологических графах [Independent component analysis for initial approximation determination in identification of active modules in biological graphs] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2020. - Т. 20. - № 6(130). - С. 888-892 Подробнее

Gusarova N.F., Klochkov A.P., Lobantcev A.A., Vatian A.S., Kabyshev M.V., Shalyto A.A., Tatarinova A., Treshkur T., Li M.

Generative augmentation to improve lung nodules detection in resource-limited settings [Генеративная аугментация для улучшения обнаружения узелков в легких в условиях ограниченных ресурсов]//Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy], 2020, No. 6(109), pp. 60-69 Подробнее

Lobantsev A., Gusarova N., Vatian A., Капитонов А., Shalyto A.

Comparative assessment of text-image fusion models for medical diagnostics [Cравнительная оценка моделей слияния текста и изображения для медицинской диагностики]//Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy], 2020, No. 5(108), pp. 70-79 Подробнее

Lobantsev A., Beresnev A., Tkachenko M., Alekseeva O., Gusarova N., Vatian A., Shalyto A.

Creation of a Publicly Accessible Resource for Increasing the Volume of Freely Distributed Medical Datasets//Proceedings of the 13th IADIS International Conference ICT, Society and Human Beings 2020, ICT 2020 and Proceedings of the 6th IADIS International Conference Connected Smart Cities 2020, CSC 2020 and Proceedings of the 17th IADIS International Conference Web Based Communities and Social Media 2020, WBC 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020, 2020, pp. 19-26

Shovkoplias G., Smirnov I., Tkachenko M., Gusarova N., Vatian A., Shalyto A., Niyogi R.

Verification of automata models for clinical decision support systems//Proceedings of the 12th IADIS International Conference e-Health 2020, EH 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020, 2020, pp. 10-18

Shovkoplias G., Glekler E., Povyshev V., Hammoud J., Gusarova N., Vatian A., Shalyto A.

Application of automaton model to support rehabilitation of motor skills of patients//Proceedings of the 12th IADIS International Conference e-Health 2020, EH 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020, 2020, pp. 39-46

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

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

Efimova V., Filchenkov A., Shalyto A.

Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection//Communications in Computer and Information Science, 2019, Vol. 794, pp. 15-27 Подробнее

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

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

Shalamov V., Filchenkov A., Shalyto A.A.

Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing//Evolving Systems, 2019, Vol. 10, No. 1, pp. 3-11 Подробнее

Boitsov V., Vatian A., Egorov N., Klochkov A., Lobantsev A., Markova E., Gusarova N., Shalyto A., Zubanenko A., Soldatov R., Niyogi R.

Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist’s Personal Context//Proceedings of the 25th Conference of Open Innovations Association FRUCT, 2019, pp. 64-76 Подробнее

Vatyan A., Dobrenko N., Tkachenko M., Gusarova N., Shalyto A., Boytsov V., Egorov N., Treshkur T., Ryngach E., Tatarinova A., Niyogi R.

Intelligent Support for Clinical Processes Based on Automaton Approach//Proceedings of the 25th Conference of Open Innovations Association FRUCT, 2019, pp. 361-372 Подробнее

Aksenov V., Kuznetsov P., Shalyto A.A.

Parallel combining: Benefits of explicit synchronization//Leibniz International Proceedings in Informatics, LIPIcs, 2019, pp. 11 Подробнее

Павлова О.Н., Станкевич А.С., Чивилихин Д.С., Парфенов В.Г., Шалыто А.А., Сметанников И.Б.

Методические рекомендации по организации и проведению производственной практики обучающихся - 2019

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

Павлова О.Н., Чивилихин Д.С., Станкевич А.С., Парфенов В.Г., Шалыто А.А., Сметанников И.Б.

Методические рекомендации по организации и проведению учебной практики обучающихся - 2019

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

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

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

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

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

Vatian A., Gusarova N., Nigmatullin N., Dudorov S., Shalyto A., Korotaeva D.

Specifics of Transfer Learning in Processing of MRI Brain Images Using Deep Neural Networks//Cambridge Scholars, 2019, pp. in press

Аксенов Ю.В., Добренко Н.В., Ватьян А.С., Капустин Р.О., Осипов С.В., Маврин П.Ю., Гусарова Н.Ф., Шалыто А.А.

Применение автоматного подхода для персонализированной поддержки клинических процессов в медицине [Automata approach for personalized support of clinical processes in healthcare] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] -2019. - № 5(102). - С. 64-75 Подробнее

Саблина М.М., Шалыто А.А.

Программное средство для визуального и интерактивного анализа экспрессии генов // Роспатент -2018. - С. 2018666621 Подробнее

Vatian A., Dobrenko N., Makarenko A., Nigmatullin N., Vedernikov N., Vasilev A., Stankevich A., Gusarova N., Shalyto A.

Adaptation of Algorithms for Medical Information Retrieval for Working on Russian-Language Text Content//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Vol. 11107, pp. 106-114 Подробнее

Vatian A., Dudorov S., Beresnev A., Vasilev A., Nigmatullin N., Vedernikov N., Stankevich A., Gusarova N., Shalyto A.

Topic modeling of text content for monitoring the employee’s efficiency via his internet activity//Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2018, Theory and Practice in Modern Computing 2018 and Connected Smart Cities 2018, MCCSIS 2018, 2018, pp. 43-50

Суворов Д.М., Шалыто А.А.

Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018. - 2018

Путин Е.О., Шалыто А.А.

Нейронная сеть с конкурентным порогом для генерации малых органических молекулярных структур [Adversarial threshold neural computer for small organic molecular structures] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] -2018. - № 4(95). - С. 52-60 Подробнее

Lobantsev A., Vatian A., Dobrenko N., Stankevich A., Kaznacheeva A.O., Parfenov V., Shalyto A., Gusarova N.

Specifics Analysis of Medical Communities in Social Network Services//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Vol. 11314, pp. 195-203 Подробнее

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

Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V.

Counterexample-guided inference of controller logic from execution traces and temporal formulas//Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation (EFTA), 2018, pp. 91-98 Подробнее

Zakirzyanov I., Shalyto A., Ulyantsev V.

Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Vol. 10729, pp. 117-131 Подробнее

Ulyantsev V.I., Buzhinsky I., Shalyto A.A.

Exact finite-state machine identification from scenarios and temporal properties//International Journal on Software Tools for Technology Transfer, 2018, Vol. 20, No. 1, pp. 35-55 Подробнее

Kochetov K., Putin E., Balashov M., Filchenkov A., Shalyto A.

Noise Masking Recurrent Neural Network for Respiratory Sound Classification//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Vol. 11141, pp. 208-217 Подробнее

Ovsiannikova P., Chivilikhin D., Ulyantsev V., Shalyto A.

Closed-loop verification of a compensating group drive model using synthesized formal plant model//22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017), 2017, pp. 1-4 Подробнее

Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V.

CSP-based Inference of Function Block Finite-State Models from Execution Traces//Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN), 2017, pp. 714-719 Подробнее

Chivilikhin D., Shalyto A., Patil S., Vyatkin V.

Reconstruction of Function Block Logic using Metaheuristic Algorithm//IEEE Transactions on Industrial Informatics, 2017, Vol. 13, No. 4, pp. 1763-1771 Подробнее

Авдюхин Д.А., Буздалова А.С., Казаков С.В., Миронович В.А., Шалыто А.А.

Экспериментальное исследование методов генерации монолитной модели объекта управления на примере симуляционной модели лифта//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - 2017

Суворов Д.М., Шалыто А.А.

Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2017. - 2017

Петрова И.А., Буздалова А.С., Шалыто А.А.

Теоретический анализ метода выбора переключающихся вспомогательных критериев на задаче XdivK // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2017. - Т. 17. - № 3(109). - С. 409–416 Подробнее

Буланова Н.С., Буздалова А.С., Шалыто А.А.

Метод адаптивного выбора операторов мутации искусственных иммунных систем и локального поиска // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2017. - Т. 17. - № 6(112). - С. 1100-1106 Подробнее

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

Sokolov B., Gnidenko A., Shalyto A.

Models and algorithms of operational planning and control of dynamical objects with application of the Pontryagin's Maximum principle//5th IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE), 2017, pp. 1-5 Подробнее

Александров А.В., Шалыто А.А.

Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2016. - Т. 16. - № 1(101). - С. 108-114 Подробнее

Антипов Д.С., Шалыто А.А.

Теоретический анализ времени работы эволюционных алгоритмов при генерации тестов // Сборник тезисов докладов конгресса молодых ученых (V Всероссийский конгресс молодых ученых, 12-15 апреля 2016 г.). Электронное издание -2016. - С. Электронное издание

Ефимова В.А., Фильченков А.А., Шалыто А.А.

Применение обучения с подкреплением для одновременного выбора модели алгоритма классификации и ее структурных параметров // Машинное обучение и анализ данных -2016. - Т. 2. - № 2. - С. 244-254 Подробнее

Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V.

Reconstruction of Function Block Controllers Based on Test Scenarios and Verification//Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016), 2016, pp. 646-651 Подробнее

Efimova V.A., Filchenkov A.A., Shalyto A.A.

Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection//Asian workshop on reinforcement learning at Asian conference on machine learning (accepted), 2016, pp. (accepted)

Pavlov A.N., Pashchenko A.E., Sokolov B.V., Shalyto A.A., Maklakov G.

Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems//8th IEEE International Conference on Intelligent Systems, IS 2016, 2016, pp. 402-408 Подробнее

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

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

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

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

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

Петрова И.А., Буздалова А.С., Шалыто А.А.

Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2016. - Т. 16. - № 3(103). - С. 460-466 Подробнее

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

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

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

Vyatkin V., Shalyto A.A.

Message from the DIAS 2015 Workshop Chairs (Editorial)//14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings, 2015, Vol. 3, pp. 7345620 Подробнее

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

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

Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления -2015. - № 6. - С. 17-30 Подробнее

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

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

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

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, Vol. не указан, No. не указан, pp. ???

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

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

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

Buzdalov M., Shalyto A.

Hard Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms: Revisited//IEEE Congress on Evolutionary Computation, CEC 2015, 2015, pp. 2121-2128 Подробнее

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

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

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

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

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

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

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

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

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

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

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

Янкин Ю.Ю., Шалыто А.А.

Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 6(94). - С. 146-152

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

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

Тихомиров А.В., Шалыто А.А.

Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 2(90). - С. 93-98 Подробнее

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Шалыто А.А.

Worst-case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives//Proceedings of 20th International Conference on Soft Computing MENDEL, 2014

Шалыто А.А.

Cyber-Phisical Components for Heterogeous Modelin, Validation and Implementation of Smart Grid Intelligence//12th IEEE International Conference on Industrial Informatics (INDIN 2014), 2014

Шалыто А.А.

A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting//Proceedings of 13th International Conference on Parallel Problem Solving from Nature, 2014

Шалыто А.А.

A Portability Study of IEC 61499: Semantics and Tools//12th IEEE International Conference on Industrial Informatics (INDIN 2014), 2014

Шалыто А.А.

Overlap Graph Simplification Using Edge Reliability Calculation//8th International Conference Intelligent Systems and Agents, 2014

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

Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А.

Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома [Combining De Bruijn Graphs, Overlap Graphs and Microassembly for De Novo Genome Assembly] // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика [ Izvestiya of Saratov University. New Series. Series: Mathematics. Mechanics. Informatics] -2013. - Т. 13. - № 2-2. - С. 51–57 Подробнее

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

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

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

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

Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A.

Search-based construction of finite-state machines with real-valued actions: New representation model//GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference, 2013, pp. 199-200 Подробнее

Buzhinsky I.P., Ulyantsev V.I., Shalyto A.A.

Test-based induction of finite-state machines with continuous output actions//IFAC Proceedings Volumes (IFAC-PapersOnline), 2013, Vol. 9, No. 1, pp. 1049-1054 Подробнее

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

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

Лукин М.А., Шалыто А.А.

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

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

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

Шалыто А.А.

Extracting EFSMs of web applications for formal requirements specification//Lecture Notes in Computer Science, 2012, Vol. 7612, pp. 161-172

Бердичевский В.А., Быковский С.В., Казин Ф.А., Кузнецов А.О., Куликов А.В., Муромцев Д.И., Румянцев А.С., Серебрякова В.С., Тойвонен Н.Р., Царев М.Н., Царев Ф.Н., Шалыто А.А.

Проектный менеджмент в ВУЗе. Учебные кейсы - 2012

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

Степанов Д.В., Шалыто А.А.

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

Тихомиров А.В., Шалыто А.А.

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

Ахи А.А., Станкевич А.С., Шалыто А.А.

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

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

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

Горлушкина Н.Н., Гугель Ю.В., Иванов А.В., Иванов А.Ю., Ижванов Ю.Л., Колесников Ю.Л., Куркин А.В., Леонтьева О.А., Лисицына Л.С., Мальцева Н.К., Никифоров В.О., Парфенов В.Г., Тарлыков В.А., Тихонов А.Н., Хоружников С.Э., Шалыто А.А., Шехонин А.А., Щербакова И.Ю.

Университет XXI века // Серия "НИУ ИТМО: Годы и люди" -2011. - Вып. 5

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

Шалыто А.А.

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

Клебан В.О., Шалыто А.А.

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

Трофимов Д.А., Шалыто А.А.

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

Алексеев С.А., Клебан В.О., Шалыто А.А.

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

Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О.

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

Сергеев А.А., Клебан В.О., Шалыто А.А.

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

Шалыто А.А., Янкин Ю.Ю.

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

Тихомиров А.В., Шалыто А.А.

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

Законов А.Ю., Шалыто А.А.

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

Шалыто А.А.

Верификация автоматных программ - 2011

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.

Верификация автоматных программ -2011

Казаков С.В., Царев Ф.Н., Шалыто А.А.

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

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

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

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

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

Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

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

Данилов В.Р., Шалыто А.А.

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

Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю.

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

Ахи А.А., Станкевич А.С., Шалыто А.А.

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

Попов С.И., Попов Ю.И., Шалыто А.А.

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

Егоров К.В., Царев Ф.Н., Шалыто А.А.

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

Шалыто А.А.

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

Клебанов А.А., Степанов О.Г., Шалыто А.А.

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

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

Поликарпова Н.И., Шалыто А.А.

Автоматное программирование -2010

Поликарпова Н.И., Шалыто А.А., Точилин В.Н.

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

Шалыто А.А.

Применение шаблонов требований к формальной спецификации и верификации автоматных программ//Труды семинара "Семантика, спецификация и верификация программ: теория и приложения" - 2010. - С. 124-130

Шалыто А.А.

Автоматный подход к созданию программного обеспечения боевой информационно-управляющей системы//Сборник докладов научно-технической конференции "Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов" - 2010. - С. 155-159

Шалыто А.А.

GA-Based and Design by Contract Approach to Test Generation for EFSMs//Proceedings of IEEE East-West Design & Test Symposium (EWDTS`10), 2010, pp. 152-155

Шалыто А.А.

A GA-Based Approach for Test Generation for Automata-Based Programs//Proceeding of the 4 Spring/Summer Young Researcher's Colloquium on Software Engineering (SYRCoSE 2010), 2010, pp. 37-42

Шалыто А.А.

Верификация автоматных программ//Сборник докладов научно-технической конференции "Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов" - 2010. - С. 90-98

Суясов Д.И., Шалыто А.А.

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

Царев Ф.Н., Шалыто А.А.

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

Парфенов В.Г., Шалыто А.А.

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

Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А.

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

Астафуров А.А., Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Вельдер С.Э., Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Шалыто А.А.

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

Shalyto A.A.

Multifunctional logic modules consisting of elements with bilateral conductance//Journal of Computer and Systems Sciences International, 2006, Vol. 45  , No. 1  , pp. 73-76

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

Сидоренко Д. А., Шалыто А. А.
Предсказание связей «ген-болезнь» с помощью гетерогенной графовой нейронной сети

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(156) за 2024 г.
Клеверов Д. А., Шалыто А. А., Артемов М.
Метод построения интерпретируемых скрытых марковских моделей для задачи поиска связываемых участков пептидов в последовательностях белков

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(151) за 2023 г.
Шалыто А. А.
Валидация автоматных спецификаций

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(148) за 2023 г.
Рыбкин К. Е., Фильченков А. А., Азаров А. А., Забашта А. ., Шалыто А. А.
Совместное обучение агентов и векторных представлений графов в задаче управления конвейерными лентами

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(146) за 2022 г.
Грибанов Т. А., Фильченков А. А., Азаров А. А., Шалыто А. А.
Мультиагентная адаптивная маршрутизация агентами-клонами на основе многоголового внутреннего внимания с использованием обучения с подкреплением

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(146) за 2022 г.
Шовкопляс Г. Ф., Строков Д. А., Казанцев Д. В., Ватьян А. С., Асадулаев А. А., Томилов И. В., Шалыто А. А., Гусарова Н. Ф.
Повышение эффективности обработки жестового языка посредством малокадрового машинного обучения

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

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(130) за 2020 г.
Буланова Н. С., Буздалова А. С., Шалыто А. А.
МЕТОД АДАПТИВНОГО ВЫБОРА ОПЕРАТОРОВ МУТАЦИИ ИСКУССТВЕННЫХ ИММУННЫХ СИСТЕМ И ЛОКАЛЬНОГО ПОИСКА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(112) за 2017 г.
Петрова . И., Буздалова А. С., Шалыто А. А.
ТЕОРЕТИЧЕСКИЙ АНАЛИЗ МЕТОДА ВЫБОРА ПЕРЕКЛЮЧАЮЩИХСЯ ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ НА ЗАДАЧЕ XdivK
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(109) за 2017 г.
Петрова . И., Буздалова А. С., Шалыто А. А.
МЕТОД ДИНАМИЧЕСКОГО ВЫБОРА ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ В МНОГОКРИТЕРИАЛЬНЫХ ЭВОЛЮЦИОННЫХ АЛГОРИТМАХ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(103) за 2016 г.
Александров А. В., Шалыто А. А.
МЕТОД ИСПРАВЛЕНИЯ ОШИБОК ВСТАВКИ И УДАЛЕНИЯ В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(101) за 2016 г.
Янкин Ю. Ю., Шалыто А. А.
РАЗРАБОТКА РЕЗЕРВИРОВАННОГО БЛОКА УПРАВЛЕНИЯ ЭЛЕКТРОПРИВОДОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.
Чивилихин Д. С., Ульянцев В. И., Вяткин В. В., Шалыто А. А.
ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.
Тихомиров А. В., Шалыто А. А.

ПРИМЕНЕНИЕ НАПРАВЛЕННОЙ МУТАЦИИ ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ


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

Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.
Сергеев А. А., Клебан В. О., Шалыто А. А.
АНАЛИЗ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ GPU ДЛЯ АВТОМАТИЧЕСКОГО СИНТЕЗА СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.
Трофимов Д. А., Шалыто А. А.
МЕТОДЫ ОПТИМИЗАЦИИ СТРАТЕГИЙ В ИГРАХ ДЛЯ ДВУХ УЧАСТНИКОВ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.
Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПОДХОДА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.
Клебанов А. А., Шалыто А. А.
ПРИМЕНЕНИЕ ШАБЛОНОВ ТРЕБОВАНИЙ К ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ И ВЕРИФИКАЦИИ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.
Егоров К. В., Царев Ф. Н., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ УПРАВЛЕНИЯ СИСТЕМАМИ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ И СПЕЦИФИКАЦИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.
Вельдер С. Э., Шалыто А. А.
ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(64) за 2009 г.
Васильев В. Н., Парфенов В. Г., Шалыто А. А.
ИННОВАЦИОННАЯ СИСТЕМА ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ПРОИЗВОДСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СПбГУ ИТМО
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(62) за 2009 г.
Шалыто А. А., Мандриков Е. А., Чеботарева Ю. К.
АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ И ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 10(52) за 2009 г.
Шалыто А. А.
ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Клебан В. О., Парфенов В. Г., Шалыто А. А.
ПОСТРОЕНИЕ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Лобанов П. Г., Сытник С. А., Шалыто А. А.
ПОСТРОЕНИЕ АВТОПИЛОТА ДЛЯ УПРОЩЕННОЙ МОДЕЛИ ВЕРТОЛЕТА С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО АЛГОРИТМА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е.
ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.
Вельдер С. Э., Шалыто А. А.
МЕТОДЫ ВЕРИФИКАЦИИ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Шалыто А. А., Рубинов К. В.
О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(46) за 2008 г.
Егоров К. В., Шалыто А. А.
РАЗРАБОТКА ВЕРИФИКАТОРА АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Шалыто А. А., Царев М. Н., Царев Ф. Н.
ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(52) за 2008 г.
Гуров В. С., Мазин М. А., Шалыто А. А.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Поликарпова Н. И., Точилин В. , Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ГЕНЕРАЦИИ АВТОМАТОВ С БОЛЬШИМ ЧИСЛОМ ВХОДНЫХ ПЕРЕМЕННЫХ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Шалыто А. А., Суясов Д. И.
ВЫДЕЛЕНИЕ СТРУКТУРНЫХ ПРИЗНАКОВ РАСПОЗНАВАЕМЫХ СИМВОЛОВ НА ОСНОВЕ НАБОРА КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.
Бедный Ю. , Шалыто А. А.
СОЗДАНИЕ СИСТЕМЫ УПРАВЛЕНИЯ ТАНКОМ ДЛЯ ИГРЫ ROBOCODE С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е.
ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.
Шалыто А. А., Лукин М. А.
ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Клебанов А. А., Шалыто А. А.
РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.
Лобанов П. Г., Шалыто А. А.
ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.
Вельдер С. Э., Шалыто А. А.
ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.
Гуров В. С., Мазин М. А., Шалыто А. А.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.
Корнеев Г. А., Шалыто А. А.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.
Гуров В. С., Мазин М. А., Шалыто А. А.
UNIMOD – инструментальное средство для автоматного программировани
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(30) за 2006 г.
Шалыто А. А., Корнеев Г. А.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.
Корнеев Г. А., Шалыто А. А.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
Корнеев Г. А., Шалыто А. А.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
Шалыто А. А.
Автоматно-ориентированное программирование
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(21) за 2005 г.
Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С.
Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(16) за 2004 г.

Проекты

Мультиагентные алгоритмы машрутизации на основе глубоких нейронных сетей с подкреплением и их верификация
06/01/2020 - 12/31/2022
Разработка алгоритмов распознавания медико-биологических объектов методом переноса знаний с использованием глубоких нейронных сетей
05/01/2019 - 12/31/2021
Ведущие исследователи на постоянной основе
01/26/2017 - 12/31/2019
Разработка алгоритмов анализа метаболических и сигнальных сетей для идентификации модулей, регулирующих клеточную адаптацию
01/01/2017 - 12/31/2019
Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем
07/28/2016 - 12/31/2018
Методы синтеза интеллектуальной информационной технологии мониторинга, прогноза и управления ресурсами и реконфигурацией многофункциональных группировок динамических объектов наземного и космического базирования
01/21/2016 - 12/31/2018
Технология разработки программного обеспечения систем управления ответственными объектами на основе методов машинного обучения и конечных автоматов
07/18/2014 - 12/31/2016
Организация проведения научных исследований
02/28/2014 - 12/31/2021
Разработка муравьиных алгоритмов для построения управляющих конечных автоматов
02/17/2014 - 12/31/2016
Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений
09/01/2012 - 11/15/2013
Разработка методов сборки генома, сборки транскриптома и динамического анализа протеома
09/01/2012 - 11/15/2013
Разработка алгоритмов генетического программирования и сборки генома
01/01/2012 - 12/31/2013
Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности
08/19/2011 - 08/02/2012
Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям
05/16/2011 - 11/19/2013
Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов
05/13/2011 - 11/19/2013
Разработка методов машинного обучения на основе генетического программирования для построения управляющих конечных автоматов
01/01/2010 - 12/31/2011
Разработка основных положений применения искусственного интеллекта и верификации моделей для создания программных систем со сложным поведением на основе автоматного подхода
01/01/2010 - 12/31/2011
Применение методов искуственного интеллекта в разработке управляющих программных систем
11/11/2009 - 08/10/2011