Кузьмин Егор Владимирович

Публикации в базе данных Math-Net.Ru

1. Обнаружение прямоугольных импульсных помех на вихретоковых дефектограммах рельсов
   
   Модел. и анализ информ. систем, 32:2 (2025),  172–205
2. Применение нейронных сетей семейства YOLO для обнаружения полезных сигналов на вихретоковых дефектограммах рельсов
   
   Труды ИСП РАН, 37:6(2) (2025),  131–150
3. Применение TLA+/TLC для моделирования и верификации криптографических протоколов
   
   Модел. и анализ информ. систем, 31:4 (2024),  446–473
4. LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью
   
   Модел. и анализ информ. систем, 31:3 (2024),  240–279
5. Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах
   
   Модел. и анализ информ. систем, 31:2 (2024),  164–181
6. Верификация декларативной LTL-спецификации поведения управляющих программ
   
   Модел. и анализ информ. систем, 31:2 (2024),  120–141
7. LTL-спецификация для разработки и верификации управляющих программ
   
   Модел. и анализ информ. систем, 30:4 (2023),  308–339
8. Полином Жегалкина многоместного самодостаточного оператора
   
   Модел. и анализ информ. систем, 30:2 (2023),  106–127
9. Применение функций голосования для оценки числа монотонных самодвойственных булевых функций
   
   Модел. и анализ информ. систем, 29:2 (2022),  78–91
10. LTL-спецификация ограниченных счётчиковых машин
    
    Модел. и анализ информ. систем, 29:1 (2022),  44–59
11. Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм
    
    Модел. и анализ информ. систем, 28:2 (2021),  170–185
12. LTL-спецификация счётчиковых машин
    
    Модел. и анализ информ. систем, 28:1 (2021),  104–119
13. Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм
    
    Модел. и анализ информ. систем, 28:1 (2021),  74–88
14. Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах
    
    Модел. и анализ информ. систем, 27:3 (2020),  316–329
15. Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах
    
    Модел. и анализ информ. систем, 25:6 (2018),  667–679
16. Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
    
    Модел. и анализ информ. систем, 25:4 (2018),  382–387
17. Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
    
    Модел. и анализ информ. систем, 24:6 (2017),  760–771
18. Построение CFC-программ ПЛК по LTL-спецификации
    
    Модел. и анализ информ. систем, 23:2 (2016),  173–184
19. О выразительности подхода к построению ПЛК-программ по LTL-спецификации
    
    Модел. и анализ информ. систем, 22:4 (2015),  507–520
20. Моделирование согласованного поведения ПЛК-датчиков
    
    Модел. и анализ информ. систем, 21:4 (2014),  75–90
21. Построение IL-программ ПЛК по LTL-спецификации
    
    Модел. и анализ информ. систем, 21:2 (2014),  26–38
22. Построение и верификация LD-программ ПЛК по LTL-спецификации
    
    Модел. и анализ информ. систем, 20:6 (2013),  78–94
23. Построение и верификация ПЛК-программ по LTL-спецификации
    
    Модел. и анализ информ. систем, 20:4 (2013),  5–22
24. Моделирование, спецификация и построение программ логических контроллеров
    
    Модел. и анализ информ. систем, 20:2 (2013),  104–120
25. Моделирование счетчиковых машин двухголовочными автоматами
    
    Модел. и анализ информ. систем, 19:5 (2012),  69–73
26. О построении и верификации программ логических контроллеров
    
    Модел. и анализ информ. систем, 19:4 (2012),  25–36
27. О верификации LD-программ логических контроллеров
    
    Модел. и анализ информ. систем, 19:2 (2012),  138–144
28. О языках автоматных счетчиковых машин
    
    Модел. и анализ информ. систем, 17:2 (2010),  48–71
29. О множестве достижимости автоматных счетчиковых машин
    
    Модел. и анализ информ. систем, 17:1 (2010),  52–64
30. О множестве достижимости автоматных трехсчетчиковых машин
    
    Модел. и анализ информ. систем, 16:3 (2009),  77–84
31. Об одном классе счетчиковых машин
    
    Модел. и анализ информ. систем, 16:2 (2009),  75–82
32. Алгоритмы для проблемы ограниченности счетчиковых машин
    
    Модел. и анализ информ. систем, 15:4 (2008),  42–55
33. Проблема ограниченности для счетчиковых машин с потерями
    
    Модел. и анализ информ. систем, 15:3 (2008),  14–27
34. О разрешимости проблем ограниченности для счетчиковых машин Минского
    
    Модел. и анализ информ. систем, 15:1 (2008),  16–26
35. Верификация автоматных программ с использованием LTL
    
    Модел. и анализ информ. систем, 14:1 (2007),  31–43