Ломазова Ирина Александровна

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

1. Relaxed lazy soundness verification for data Petri nets
   
   Труды ИСП РАН, 37:4(2) (2025),  69–84
2. Синтез иерархических моделей процессов: подход на основе разбиения событий на множества
   
   Модел. и анализ информ. систем, 31:3 (2024),  294–315
3. Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов
   
   Труды ИСП РАН, 36:4 (2024),  155–168
4. Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды
   
   Модел. и анализ информ. систем, 29:4 (2022),  286–314
5. Simulating behavior of multi-agent systems with acyclic interactions of agents
   
   Труды ИСП РАН, 30:3 (2018),  285–302
6. Использование журналов событий для локальной корректировки моделей процессов
   
   Модел. и анализ информ. систем, 24:4 (2017),  459–480
7. Discovering high-level process models from event logs
   
   Модел. и анализ информ. систем, 24:2 (2017),  125–140
8. Using interface patterns for compositional discovery of distributed system models
   
   Труды ИСП РАН, 29:4 (2017),  21–38
9. Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток
   
   Труды ИСП РАН, 28:4 (2016),  115–136
10. Does your event log fit the high-level process model?
    
    Модел. и анализ информ. систем, 22:3 (2015),  392–403
11. О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом
    
    Модел. и анализ информ. систем, 20:4 (2013),  23–40
12. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
    
    Модел. и анализ информ. систем, 19:5 (2012),  115–130
13. К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов
    
    Ж. вычисл. матем. и матем. физ., 27:10 (1987),  1585–1589


14. Борис Абрамович Трахтенброт (к столетию со дня рождения)
    
    УМН, 77:1(463) (2022),  191–195