|
|
|
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  |
|
2021 |
| 2. |
N. M. Suvorov, L. N. Lyadova, “A multilayer approach to subgraph matching in HP-graphs”, Proceedings of ISP RAS, 33:4 (2021), 163–176 |
2
|
|
2020 |
| 3. |
N. M. Suvorov, L. N. Lyadova, “HP-graph as a basis of a DSM platform visual model editor”, Proceedings of ISP RAS, 32:2 (2020), 149–160 |
2
|
|
1976 |
| 4. |
N. M. Suvorov, N. I. Kryuchkov, “Examples of certain quasigroups and loops that permit only the discrete topologization”, Sibirsk. Mat. Zh., 17:2 (1976), 471–473   ; Siberian Math. J., 17:2 (1976), 367–369  |
6
|
|
| Organisations |
|
|
