RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Кузьмин Егор Владимирович

В базах данных Math-Net.Ru
Публикаций: 18
Научных статей: 18
Цитированных статей: 12
Ссылок в Math-Net.Ru: 40

Статистика просмотров:
Эта страница:459
Страницы публикаций:1988
Полные тексты:622
Списки литературы:302
доцент
доктор физико-математических наук
E-mail:

http://www.mathnet.ru/rus/person63383
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Построение CFC-программ ПЛК по LTL-спецификации
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 23:2 (2016),  173–184
2. О выразительности подхода к построению ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
Модел. и анализ информ. систем, 22:4 (2015),  507–520
3. Моделирование согласованного поведения ПЛК-датчиков
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
Модел. и анализ информ. систем, 21:4 (2014),  75–90
4. Построение IL-программ ПЛК по LTL-спецификации
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 21:2 (2014),  26–38
5. Построение и верификация LD-программ ПЛК по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
Модел. и анализ информ. систем, 20:6 (2013),  78–94
6. Построение и верификация ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
Модел. и анализ информ. систем, 20:4 (2013),  5–22
7. Моделирование, спецификация и построение программ логических контроллеров
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 20:2 (2013),  104–120
8. Моделирование счетчиковых машин двухголовочными автоматами
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 19:5 (2012),  69–73
9. О построении и верификации программ логических контроллеров
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 19:4 (2012),  25–36
10. О верификации LD-программ логических контроллеров
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 19:2 (2012),  138–144
11. О языках автоматных счетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый
Модел. и анализ информ. систем, 17:2 (2010),  48–71
12. О множестве достижимости автоматных счетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый
Модел. и анализ информ. систем, 17:1 (2010),  52–64
13. О множестве достижимости автоматных трехсчетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый
Модел. и анализ информ. систем, 16:3 (2009),  77–84
14. Об одном классе счетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый
Модел. и анализ информ. систем, 16:2 (2009),  75–82
15. Алгоритмы для проблемы ограниченности счетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый
Модел. и анализ информ. систем, 15:4 (2008),  42–55
16. Проблема ограниченности для счетчиковых машин с потерями
Е. В. Кузьмин
Модел. и анализ информ. систем, 15:3 (2008),  14–27
17. О разрешимости проблем ограниченности для счетчиковых машин Минского
Е. В. Кузьмин, Д. Ю. Чалый
Модел. и анализ информ. систем, 15:1 (2008),  16–26
18. Верификация автоматных программ с использованием LTL
К. А. Васильева, Е. В. Кузьмин
Модел. и анализ информ. систем, 14:1 (2007),  31–43

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017