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

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

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


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