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

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

Статистика просмотров:
Эта страница:468
Страницы публикаций:2074
Полные тексты:620
Списки литературы:330
доцент
доктор физико-математических наук
E-mail:

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

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

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