|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
N. M. Suvorov, I. A. Lomazova, “Relaxed lazy soundness verification for data Petri nets”, Proceedings of ISP RAS, 37:4(2) (2025), 69–84  |
|
2024 |
| 2. |
A. K. Begicheva, I. A. Lomazova, R. A. Nesterov, “Discovering hierarchical process models: an approach based on events partitioning”, Model. Anal. Inform. Sist., 31:3 (2024), 294–315 |
1
|
| 3. |
I. D. Derezovskiy, N. D. Shaimov, I. A. Lomazova, A. A. Mitsyuk, “Merging Directly-Follows Graphs and sankey diagrams for visualizing acyclic processes”, Proceedings of ISP RAS, 36:4 (2024), 155–168 |
|
2022 |
| 4. |
N. D. Shaimov, I. A. Lomazova, A. A. Mitsyuk, I. Yu. Samonenko, “Analysis of students' academic performance using LMS event logs”, Model. Anal. Inform. Sist., 29:4 (2022), 286–314  |
2
|
|
2018 |
| 5. |
R. A. Nesterov, A. A. Mitsyuk, I. A. Lomazova, “Simulating behavior of multi-agent systems with acyclic interactions of agents”, Proceedings of ISP RAS, 30:3 (2018), 285–302  |
2
|
|
2017 |
| 6. |
A. A. Mitsyuk, I. A. Lomazova, W. M. van der Aalst, “Using event logs for local correction of process models”, Model. Anal. Inform. Sist., 24:4 (2017), 459–480 |
1
|
| 7. |
A. K. Begicheva, I. A. Lomazova, “Discovering high-level process models from event logs”, Model. Anal. Inform. Sist., 24:2 (2017), 125–140 |
10
|
| 8. |
R. A. Nesterov, I. A. Lomazova, “Using interface patterns for compositional discovery of distributed system models”, Proceedings of ISP RAS, 29:4 (2017), 21–38 |
1
|
|
2016 |
| 9. |
V. O. Ermakova, I. A. Lomazova, “Translation of nested Petri nets into classical Petri nets for unfoldings verification”, Proceedings of ISP RAS, 28:4 (2016), 115–136 |
2
|
|
2015 |
| 10. |
A. K. Begicheva, I. A. Lomazova, “Does your event log fit the high-level process model?”, Model. Anal. Inform. Sist., 22:3 (2015), 392–403 |
4
|
|
2013 |
| 11. |
V. A. Bashkin, I. A. Lomazova, “On the Decidability of Soundness of Workflow Nets with an Unbounded Resource”, Model. Anal. Inform. Sist., 20:4 (2013), 23–40 |
|
2012 |
| 12. |
L. W. Dworzánski, I. A. Lomazova, “CPN Tools-Assisted Simulation and Verification of Nested Petri Nets”, Model. Anal. Inform. Sist., 19:5 (2012), 115–130 |
1
|
|
1987 |
| 13. |
I. A. Lomazova, “On the problem of the existence of a complete axiomatic program semantics that does not admit side effects”, Zh. Vychisl. Mat. Mat. Fiz., 27:10 (1987), 1585–1589  ; U.S.S.R. Comput. Math. Math. Phys., 27:5 (1987), 206–209 |
|
|
|
2022 |
| 14. |
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)”, Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195 ; Russian Math. Surveys, 77:1 (2022), 183–188  |
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
| |
|
|
Contact us: