|
|
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
|
|
2011 |
5. |
G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov, “On a function representation in an imperative program model specified by Petri nets”, Model. Anal. Inform. Sist., 18:2 (2011), 18–38 |
1
|
|
2009 |
6. |
D. I. Kharitonov, “Separable object-oriented program verification with C++ class protocol definition in terms of Petri nets”, Model. Anal. Inform. Sist., 16:1 (2009), 92–111 |
2
|
|
Organisations |
|
|
|
|