RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Kharitonov, Dmitrii Ivanovich

Statistics Math-Net.Ru
Total publications: 5
Scientific articles: 5

Number of views:
This page:120
Abstract pages:608
Full texts:280
References:83
Candidate of technical sciences
E-mail:

http://www.mathnet.ru/eng/person63794
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2018
1. 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  mathnet  elib
2016
2. 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  mathnet
2015
3. 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  mathnet  mathscinet  elib
2011
4. 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  mathnet
2009
5. 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  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020