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

В базах данных Math-Net.Ru
Публикаций: 7
Научных статей: 7
Цитированных статей: 1
Ссылок в Math-Net.Ru: 1

Статистика просмотров:
Эта страница:415
Страницы публикаций:646
Полные тексты:202
Списки литературы:46
профессор
доктор физико-математических наук

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

Публикации в базе данных Math-Net.Ru
1. Использование журналов событий для локальной корректировки моделей процессов
А. А. Мицюк, И. А. Ломазова, В. М. ван дер Аалст
Модел. и анализ информ. систем, 24:4 (2017),  459–480
2. Discovering high-level process models from event logs
A. K. Begicheva, I. A. Lomazova
Модел. и анализ информ. систем, 24:2 (2017),  125–140
3. Using interface patterns for compositional discovery of distributed system models
R. A. Nesterov, I. A. Lomazova
Труды ИСП РАН, 29:4 (2017),  21–38
4. Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток
В. О. Ермакова, И. А. Ломазова
Труды ИСП РАН, 28:4 (2016),  115–136
5. Does your event log fit the high-level process model?
A. K. Begicheva, I. A. Lomazova
Модел. и анализ информ. систем, 22:3 (2015),  392–403
6. О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом
В. А. Башкин, И. А. Ломазова
Модел. и анализ информ. систем, 20:4 (2013),  23–40
7. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
Л. В. Дворянский, И. А. Ломазова
Модел. и анализ информ. систем, 19:5 (2012),  115–130
8. К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов
И. А. Ломазова
Ж. вычисл. матем. и матем. физ., 27:10 (1987),  1585–1589

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