|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
N. M. Suvorov, I. A. Lomazova, “Relaxed lazy soundness verification for data Petri nets”, Труды ИСП РАН, 37:4(2) (2025), 69–84 |
|
2021 |
| 2. |
N. M. Suvorov, L. N. Lyadova, “A multilayer approach to subgraph matching in HP-graphs”, Труды ИСП РАН, 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”, Труды ИСП РАН, 32:2 (2020), 149–160 |
2
|
|
1976 |
| 4. |
Н. М. Суворов, Н. И. Крючков, “Примеры некоторых квазигрупп и луп, допускающих только дискретную топологизацию”, Сиб. матем. журн., 17:2 (1976), 471–473 ; N. M. Suvorov, N. I. Kryuchkov, “Examples of certain quasigroups and loops that permit only the discrete topologization”, Siberian Math. J., 17:2 (1976), 367–369 |
6
|
|