Суворов Николай Михайлович

Публикации в базе данных Math-Net.Ru

1. Relaxed lazy soundness verification for data Petri nets
   
   Труды ИСП РАН, 37:4(2) (2025),  69–84
2. A multilayer approach to subgraph matching in HP-graphs
   
   Труды ИСП РАН, 33:4 (2021),  163–176
3. HP-graph as a basis of a DSM platform visual model editor
   
   Труды ИСП РАН, 32:2 (2020),  149–160
4. Примеры некоторых квазигрупп и луп, допускающих только дискретную топологизацию
   
   Сиб. матем. журн., 17:2 (1976),  471–473