RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Ломазова Ирина Александровна

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 9

Статистика просмотров:
Эта страница:657
Страницы публикаций:1551
Полные тексты:517
Списки литературы:170
профессор
доктор физико-математических наук

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

Публикации в базе данных Math-Net.Ru
2018
1. R. A. Nesterov, A. A. Mitsyuk, I. A. Lomazova, “Simulating behavior of multi-agent systems with acyclic interactions of agents”, Труды ИСП РАН, 30:3 (2018),  285–302  mathnet  elib
2017
2. А. А. Мицюк, И. А. Ломазова, В. М. ван дер Аалст, “Использование журналов событий для локальной корректировки моделей процессов”, Модел. и анализ информ. систем, 24:4 (2017),  459–480  mathnet  elib
3. A. K. Begicheva, I. A. Lomazova, “Discovering high-level process models from event logs”, Модел. и анализ информ. систем, 24:2 (2017),  125–140  mathnet  elib
4. R. A. Nesterov, I. A. Lomazova, “Using interface patterns for compositional discovery of distributed system models”, Труды ИСП РАН, 29:4 (2017),  21–38  mathnet  elib
2016
5. В. О. Ермакова, И. А. Ломазова, “Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток”, Труды ИСП РАН, 28:4 (2016),  115–136  mathnet  elib
2015
6. A. K. Begicheva, I. A. Lomazova, “Does your event log fit the high-level process model?”, Модел. и анализ информ. систем, 22:3 (2015),  392–403  mathnet  mathscinet  elib
2013
7. В. А. Башкин, И. А. Ломазова, “О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом”, Модел. и анализ информ. систем, 20:4 (2013),  23–40  mathnet
2012
8. Л. В. Дворянский, И. А. Ломазова, “Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools”, Модел. и анализ информ. систем, 19:5 (2012),  115–130  mathnet
1987
9. И. А. Ломазова, “К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов”, Ж. вычисл. матем. и матем. физ., 27:10 (1987),  1585–1589  mathnet  mathscinet  zmath; I. A. Lomazova, “On the problem of the existence of a complete axiomatic program semantics that does not admit side effects”, U.S.S.R. Comput. Math. Math. Phys., 27:5 (1987), 206–209

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