УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология /Сб. трудов конф.«Образовательные, научные и инженерные приложения в среде LabVIEW и технологии National Instrument». М.: Российский ун-т дружбы народов. 2005, с.377.

Корнеев Г.А., Шалыто А.А. Преобразование систем конечных автоматов в исполняемый код /Software Engineering Conference (Russia)- 2005. М.: РУССОФТ.

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Исполняемый UML. Проект UniMod /Software Engineering Conference (Russia)- 2005. М.: РУССОФТ.

Корнеев Г.А., Шалыто А.А. Преобразование программ в систему взаимодействующих конечных автоматов /Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». М.: МГУ. 2005, с.385-387 (презентация)

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod: Метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний /Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». М.: МГУ. 2005, с.361-366 (презентация)

Столбов С.А., Шалыто А.А. Метод реализации с использованием клеточных автоматов игр, в которых преобладают локальные взаимодействия /Материалы международной научно-технической конференции «Интеллектуальные и многопроцессорные системы — 2005». Таганрог — Донецк — Минск,ТРТУ. 2005. Т.1, с. 138-141.

Шалыто А.А., Ярцев Б.М. Автоматный подход к разработке управляющих программ для реактивных мультиагентных систем /Материалы международной научно-технической конференции «Интеллектуальные и многопроцессорные системы — 2005». Таганрог — Донецк — Минск, ТРТУ. 2005. Т.2, с. 13-17.

Коротков М.А. Алгоритмы укладки диаграмм состояний /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.5-11.

Шопырин Д.Г. Реализация мультиметодов на языке программирования С++ /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.46-48.

Корнеев Г.А. Технология разработки визуализаторов алгоритмов /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.18-29.

Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.65-72.

Гуров В.С., Мазин М.А. Создание системы автоматического завершения ввода с использованием пакета UniMod /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.73-87.

UniMod: Method and Tool for Development of Reactive Object-Oriented Programs with Explicit States Emphasis
//Proceedings 2005 of St.Petersburg IEEE Chapters "110 Anniversary of Radio Invention". SPb ETU "LETI". V.2, 2005, 106-110. (статья)

Коротков М.А. Разработка алгоритма укладки диаграмм соcтояний //Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.1, с.89-92. http://tm.ifmo.ru

Шопырин Д.Г. Программирование с явным выделением состояний на платформе .NET //Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.1, с.86,87. http://tm.ifmo.ru

Станкевич А.С., Корнеев Г.А., Маврин П.Ю. Использование конечных автоматов с магазинной памятью для автоматизации тестирования программных решений //Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.2, с.510,511. http://tm.ifmo.ru

Гуров В.С., Мазин М.А., Шалыто А.А. Операционная семантика UML-диаграмм состояний в программном пакете UniMod //Труды XII Всероссийской научно-методической конференции "Телематика- 2005". СПб.: СПбГУ ИТМО. Т.1, с.74-76. http://tm.ifmo.ru

Казаков М.А., Шалыто А.А. Технология построения визуализаторов алгоритмов на основе автоматного подхода //Труды XII Всероссийской научно-методической конференции "Телематика- 2005". СПб.: СПбГУ ИТМО. Т.2, с.507-509. http://tm.ifmo.ru

Gurov V.S., Mazin M.A., Narvsky A.S, Shalyto A.A. UniMod: Method and Development of Reactive Object-Oriented Programs with Explicit States Emphasis /Proceedings 2005 of St. Petersburg IEEE Chapters. International Conference "110 Anniversary of Radio Invention". SPb ETU "LETI". 2005, pp.106-110. http://is.ifmo.ru.

Шалыто А.А. Автоматно-ориентированние программирование
//IX Всероссийская конференция по проблемам науки и высшей школы "ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ В ТЕХНИЧЕСКИХ УНИВЕРСИТЕТАХ". СПб.: изд-во Политехнического университета. 2005, с. 44-52.

KIMAS 2005:
Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata
Automata-Based Programming of the Reactive Multi-Agent Control Systems

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Проект с открытым кодом UniMod - инструментальное средство для автоматного программирования на платформе Eclipse //Open Source Forum. М.: Руссофт. 2005.

Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //Open Source Forum. М.: Руссофт. 2005.

Naumov L., Korneev G., Shalyto A. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata //2005 International Conference on "Integration of Knowledge Intensive Multi Agent Systems: Modeling, Exploration and Engineering". KIMAS-05. Boston: IEEE Boston Section. 2005, pp.460-465. http://is.ifmo.ru

Yartsev B., Korneev G., Kotov V., Shalyto A. Automata-Based Programming of the Reactive Multi-Agent Control Systems //2005 International Conference on "Integration of Knowledge Intensive Multi Agent Systems: Modeling, Exploration and Engineering". KIMAS-05. Boston: IEEE Boston Section. 2005, pp.449-453. http://is.ifmo.ru

Наумов Л.А., Шалыто А.А. Методы объектно-ориентированной реализации реактивных агентов на основе конечных автоматов /Искусственный интеллект. Интеллектуальные и многопроцессорные системы. Материалы Международной научно-технической конференции. Т.1. Таганрог- Донецк, 2004, с.279-284.

Наумов Л. А., Шалыто А. А. Реализация автоматов в объектно-ориентированных программах //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.332-334. http://tm.ifmo.ru/

Казаков М. А., Шалыто А. А. Реализация визуализаторов на основе автоматного программирования //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.191-193. http://tm.ifmo.ru/

Гуров В. С., Мазин М. А., Шалыто А. А. UNIMOD — программный пакет для разработки объектно-ориентированных приложений на основе автоматного подхода //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.189-191. http://tm.ifmo.ru/

Корнеев Г. А., Шамгунов Н. Н., Шалыто А. А. Обход деревьев на основе автоматного подхода //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.182-183. http://tm.ifmo.ru/

Шамгунов Н. Н., Шалыто А. А. Язык автоматного программирования «STATE» //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.?, с.180-181. http://tm.ifmo.ru/

Шамгунов Н. Н., Шалыто А. А. Язык автоматного программирования с компиляцией в Microsoft CLR //Материалы конференции «Microsoft Research Academic Days in St. Petersburg, April 21-23, 2004»

Шалыто А. А. Новая инициатива в программировании. Движение за открытую проектную документация //Материалы конференции «Microsoft Research Academic Days in St. Petersburg, April 21-23, 2004»

Шалыто А.А. Технология автоматного программирования //Труды Первой Всероссийской научной конференции "Методы и средства обработки информации". (МСО-2003). М.: МГУ. 2003, с.528-535.

Shalyto A.A., Naumov L.A. Automata Theory for Multi-Agent Systems Implementation //Proceedings of Internatinal Conference "Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering".(KIMAS-03). Boston: IEEE Boston Section. 2003, p.65-70.

Шалыто А.А., Туккель Н.И. Автоматное и синхронное программирование //Материалы международной научно-технической конференции "Интеллектуальные и многопроцессорные системы - 2003". (ИМС-2003). Таганрог - Донецк, ТРТУ. 2003, с. 15-17.

Shalyto A.A., Naumov L.A. Automata Programming as a Sort of Synchronous Programming //Proceedings of the EWDTC-03 "East-West Desi_g_n & Test Conference". Yalta: IEEE Ukraian Depatment, 2003.Радиоэлектроника и информатика. 2003. N3, с.140-143. (Украина).

Naumov L.A., Shalyto A.A. Automata theory for applied programming /Вторая международная конференция по проблемам управления. Избранные труды в двух томах. М.: Институт проблем управления. 2003. Т.2, с.86-92.

Гуров В.С., Нарвский А.С., Шалыто А.А. Автоматизация проектирования событийных объектно-ориентированных программ с явным выделением состояний //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. http://tm.ifmo.ru

Шопырин Д.Г., Шалыто А.А. Применение класса "STATE" в объектно-ориентированном программировании с явным выделением состояний //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. http://tm.ifmo.ru

Штучкин А.А., Шалыто А.А. Совместное использование теории построения компиляторов и SWITCH-технологии //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. http://tm.ifmo.ru

Бабаев А.А., Чижова Г.А, Шалыто А.А. Метод создания скелетной анимации на основе автоматного программирования //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. http://tm.ifmo.ru

Корнеев Г.А., Шалыто А.А. Реализация конечных автоматов с использованием объектно-ориентированного программирования //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. http://tm.ifmo.ru

Корнеев Г.А., Казаков М.А., Шалыто А.А. Построение логики работы визуализаторов алгоритмов на основе автоматного подхода //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003, с. 378-379 http://tm.ifmo.ru

Мазин М.А., Парфенов В.Г., Шалыто А.А. Автоматная реализация интерактивных сценариев образовательной анимации //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. http://tm.ifmo.ru

Шалыто А.А., Туккель Н.И. Объектно-ориентированное программирование с явным выделением состояний //Материалы Международной научно-технической конференции "Искусственный интеллект". Т.1. Таганрогский гос. радиотехнический университет, Донецкий гос. институт искусственного интеллекта. 2002.

Шалыто А.А., Туккель Н.И. Объектно-ориентированное программирование с явным выделением состояний //Материалы международной научно-практической конференции "Информационно-телекоммуникационные технологии в образовании". М.: Соврем. гуманит. ун-тет. 2002.

Шалыто А.А., Туккель Н.И., Шамгунов Н.Н. Реализация рекурсивных алгоритмов автоматными программами //Труды Всероссийской научно- методической конференции "Телематика-2002". СПб.: СПбГИТМО (ТУ). 2002.

Шалыто А.А., Туккель Н.И. Проектирование объектно-ориентированных программ с использованием автоматов //Труды Всероссийской научно-методической конференции "Телематика-2002". СПб.: СПбГИТМО (ТУ). 2002.

Шалыто А.А., Туккель Н.И. Разработка программного обеспечения событийных систем на основе программирования с явным выделением состояний //Труды Всероссийской научно-методической конференции "Телематика-2002". СПб.: СПбГИТМО (ТУ). 2002.

Шалыто А.А., Туккель Н.И. Автоматное программирование как практическое развитие тьюрингова программирования //Тезисы докладов международной научной конференции "Интеллектуальные и многопроцессорные системы - 2001". Таганрог, ТРТУ. 2001.

Шалыто А.А., Туккель Н.И. Применение автоматного программирования для создания "реактивных" систем управления //Материалы международной научно-практической конференции "Моделирование в образовании, науке, производстве". Тирасполь: Преднепровский гос. ун-тет. 2001.

Шалыто А.А., Туккель Н.И. Применение SWITCH- технологии для решения классических задач распознавания цепочек символов //Труды международ- ной научно-методической конференции "Телематика- 2001". СПб.: СПбГИТМО (ТУ). 2001.

Шалыто А.А., Туккель Н.И., Ваганов С.А. Повышение централизации управления при программировании "реактивных" систем //Труды международной научно-методической конференции "Телематика-2001". СПб.: СПбГИТМО (ТУ). 2001.

Шалыто А.А., Туккель Н.И., Казаков М.А. Использование автоматного подхода для реализации вычислительных алгоритмов //Труды международной научно-методической конференции "Телематика-2001". СПб.: СПбГИТМО (ТУ). 2001.

Шалыто А.А., Туккель Н.И. Применение SWITCH-технологии автоматный подход к созданию программного обеспечения "реактивных" систем //Материалы международной научно-технической конференции "Кибернетика и технологии ХХI века". Воронеж: Воронежский ГТУ. 2000.

Шалыто А.А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем //Тезисы докладов международной научно-методической конференции "Телематика-2000". СПб.: СПбГИТМО (ТУ). 2000.

Шалыто А.А., Туккель Н.И. Применение SWITCH-технологии для программирования в событийных системах //Труды международной научно-технической конференции "Пятьдесят лет развития кибернетики". СПб.: СПбГТУ. 1999.

Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Тезисы докладов международной конференции по проблемам управления. М.: Институт проблем управления РАН. 1999.

Шалыто А.А., Туккель Н.И. Сравнение событийного и автоматного подходов к программированию задач логического управления //Тезисы докладов Всероссийской научно-методической конференции "Телематика-99". СПб.: СПбГИТМО (ТУ). 1999.

Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Тезисы докладов Всероссийской научно-методической конференции "Телематика-99". СПб.: СПбГИТМО (ТУ). 1999.

Shalyto A.A., Bagluk U.V. SWITCH-technology. Algorithmic and programming methods in solution the logic control problems of shipping equipment //International Conference on Informatics and Control. ICI&C-97. Proceedings. V.1. St. Petersburg. 1997

Shalyto A.A. Cognitive Properties of Hierarchical Representations of Complex Logical Stractures //Proceeding of the 1995 International Symposium on Intelligent Control (ISIC). Workshop. Monterey. California. 1995.