|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
1. |
D. V. Leontyev, D. I. Kharitonov, “Constructing of the brief reachability tree for program models in terms of Petri nets”, Sistemy i Sredstva Inform., 32:2 (2022), 23–35 |
|
2018 |
2. |
D. I. Kharitonov, G. V. Tarasov, D. V. Leontyev, “Software implementation of a method for generation of Petri nets of large size”, Sistemy i Sredstva Inform., 28:2 (2018), 99–115 |
|
2016 |
3. |
D. I. Kharitonov, G. V. Tarasov, D. V. Leontyev, R. V. Parakhin, V. V. Gribova, “State of the art and development prospects of the Shared Resource Center "Far Eastern Computing Resource" IACP FEB RAS”, Program Systems: Theory and Applications, 7:4 (2016), 197–208 |
1
|
|
2015 |
4. |
D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev, “A method of sample models of program construction in terms of Petri nets”, Model. Anal. Inform. Sist., 22:4 (2015), 563–577 |
4
|
|
Organisations |
|
|
|
|