Основные темы научной работы |
Параллельное программирование, распределенные системы, информационные системы, локальные и глобальные вычислительные сети. |
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
Д. В. Леонтьев, Д. И. Харитонов, “Построение сокращенного дерева достижимости для моделей программ в терминах сетей Петри”, Системы и средства информ., 32:2 (2022), 23–35  |
|
2018 |
| 2. |
Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев, “Программная реализация метода генерации сетей Петри большого размера”, Системы и средства информ., 28:2 (2018), 99–115  |
|
2016 |
| 3. |
Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев, Р. В. Парахин, В. В. Грибова, “Текущее состояние и перспективы развития центра коллективного пользования «Дальневосточный Вычислительный Ресурс»”, Программные системы: теория и приложения, 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”, Модел. и анализ информ. систем, 22:4 (2015), 563–577  |
4
|
|
2011 |
| 5. |
Г. В. Тарасов, Д. И. Харитонов, Е. А. Голенков, “Об одном представлении функции в модели императивной программы, заданной сетями Петри”, Модел. и анализ информ. систем, 18:2 (2011), 18–38 |
1
|
|
2009 |
| 6. |
Д. И. Харитонов, “Раздельная верификация объектно-ориентированных программ с построением протокола С++ класса в терминах сетей Петри”, Модел. и анализ информ. систем, 16:1 (2009), 92–111 |
2
|
|
Обратная связь: