|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
А. К. Бегичева, И. А. Ломазова, Р. А. Нестеров, “Синтез иерархических моделей процессов: подход на основе разбиения событий на множества”, Модел. и анализ информ. систем, 31:3 (2024), 294–315  |
1
|
| 2. |
И. Д. Дерезовский, Н. Д. Шаимов, И. А. Ломазова, А. А. Мицюк, “Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов”, Труды ИСП РАН, 36:4 (2024), 155–168 |
|
2022 |
| 3. |
Н. Д. Шаимов, И. А. Ломазова, А. А. Мицюк, И. Ю. Самоненко, “Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды”, Модел. и анализ информ. систем, 29:4 (2022), 286–314  |
1
|
|
2018 |
| 4. |
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  |
2
|
|
2017 |
| 5. |
А. А. Мицюк, И. А. Ломазова, В. М. ван дер Аалст, “Использование журналов событий для локальной корректировки моделей процессов”, Модел. и анализ информ. систем, 24:4 (2017), 459–480 |
1
|
| 6. |
A. K. Begicheva, I. A. Lomazova, “Discovering high-level process models from event logs”, Модел. и анализ информ. систем, 24:2 (2017), 125–140 |
10
|
| 7. |
R. A. Nesterov, I. A. Lomazova, “Using interface patterns for compositional discovery of distributed system models”, Труды ИСП РАН, 29:4 (2017), 21–38 |
1
|
|
2016 |
| 8. |
В. О. Ермакова, И. А. Ломазова, “Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток”, Труды ИСП РАН, 28:4 (2016), 115–136 |
2
|
|
2015 |
| 9. |
A. K. Begicheva, I. A. Lomazova, “Does your event log fit the high-level process model?”, Модел. и анализ информ. систем, 22:3 (2015), 392–403 |
4
|
|
2013 |
| 10. |
В. А. Башкин, И. А. Ломазова, “О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом”, Модел. и анализ информ. систем, 20:4 (2013), 23–40 |
|
2012 |
| 11. |
Л. В. Дворянский, И. А. Ломазова, “Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools”, Модел. и анализ информ. систем, 19:5 (2012), 115–130 |
1
|
|
1987 |
| 12. |
И. А. Ломазова, “К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов”, Ж. вычисл. матем. и матем. физ., 27:10 (1987), 1585–1589  ; 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 |
|
|
|
2022 |
| 13. |
С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022), 191–195 ; S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Russian Math. Surveys, 77:1 (2022), 183–188  |
|
Обратная связь: