Proceedings of the Institute for System Programming of the RAS: Common statistics

Proceedings of the Institute for System Programming of the RAS

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Most published authors (scientific articles only) of the journal
1.	A. V. Khoroshilov	25
2.	I. B. Burdonov	21
3.	A. S. Kosachev	19
4.	D. Yu. Turdakov	19
5.	A. A. Belevancev	18
6.	V. A. Padaryan	17
7.	A. E. Borodin	15
8.	M. G. Babenko	14
9.	A. I. Get'man	14
10.	N. V. Evtushenko	14
11.	V. N. Ignatyev	13
12.	A. S. Kamkin	13
13.	Sh. F. Kurmangaleev	13
14.	A. K. Petrenko	13
15.	A. N. Tchernykh	13
16.	R. A. Buchatskiy	12
17.	V. A. Semenov	12
18.	S. V. Strijhak	12
19.	S. M. Avdoshin	11
20.	A. Yu. Gerasimov	11
21.	P. M. Dovgalyuk	11
22.	M. K. Ermakov	11
23.	S. D. Kuznetsov	11
24.	E. M. Lavrischeva	11
	40 most published authors of the journal

Most cited authors of the journal
1.	A. V. Khoroshilov	41
2.	A. E. Borodin	38
3.	A. A. Belevancev	36
4.	M. N. Goryunov	36
5.	A. G. Matskevich	36
6.	D. A. Rybolovlev	36
7.	E. M. Lavrischeva	35
8.	V. A. Padaryan	34
9.	A. I. Get'man	31
10.	Sh. F. Kurmangaleev	31
11.	N. V. Pakulin	30
12.	V. A. Semenov	28
13.	S. M. Avdoshin	27
14.	V. A. Galaktionov	26
15.	S. V. Zelenov	25
16.	V. K. Koshelev	24
17.	I. B. Burdonov	23
18.	A. S. Kosachev	23
19.	N. V. Evtushenko	22
20.	V. N. Ignatyev	22
21.	M. U. Mandrykin	22
22.	A. K. Petrenko	22
23.	D. Yu. Turdakov	22
24.	A. N. Tchernykh	22
	40 most cited authors of the journal

Most cited articles of the journal
1.	Synthesis of a machine learning model for detecting computer attacks based on the CICIDS2017 dataset M. N. Goryunov, A. G. Matskevich, D. A. Rybolovlev Proceedings of ISP RAS, 2020, 32:5, 81–94	25
2.	An overview of modern methods for motion planning K. A. Kazakov, V. A. Semenov Proceedings of ISP RAS, 2016, 28:4, 241–294	20
3.	A static analysis tool Svace as a collection of analyzers with various complexity levels A. Borodin, A. Belevancev Proceedings of ISP RAS, 2015, 27:6, 111–134	17
4.	A survey and an experimental comparison of methods for text clustering: application to scientific articles P. A. Parhomenko, A. A. Grigorev, N. A. Astrakhantsev Proceedings of ISP RAS, 2017, 29:2, 161–200	15
5.	Predicate abstractions memory modeling method with separation into disjoint regions A. Volkov, M. Mandrykin Proceedings of ISP RAS, 2017, 29:4, 203–216	13
6.	The current state of the methods for calculating global illumination in tasks of realistic computer graphics V. A. Frolov, A. G. Voloboy, S. V. Ershov, V. A. Galaktionov Proceedings of ISP RAS, 2021, 33:2, 7–48	11
7.	Analysis of methods for assessing the reliability of equipment and systems. Practice of methods N. V. Pakulin, E. M. Lavrischeva, A. G. Ryzhov, S. V. Zelenov Proceedings of ISP RAS, 2018, 30:3, 99–120	11
8.	Design and architecture of real-time operating system K. M. Mallachiev, N. V. Pakulin, A. V. Khoroshilov Proceedings of ISP RAS, 2016, 28:2, 181–192	11
9.	Integration of micro-services as components in modeling environments for low code development H. A. A. Chaudhary, T. Margaria Proceedings of ISP RAS, 2021, 33:4, 19–30	10
10.	Using of convolutional neural networks for steganalysis of digital images A. A. Polunin, E. A. Yandashevskaya Proceedings of ISP RAS, 2020, 32:4, 155–164	10
11.	The method of converting an expert opinion to Z-number E. A. Glukhoded, S. I. Smetanin Proceedings of ISP RAS, 2016, 28:3, 7–20	10
12.	Application of the grid-characteristic method for solving the problems of the propagation of dynamic wave disturbances in high-performance computing systems N. I. Khokhlov, I. B. Petrov Proceedings of ISP RAS, 2019, 31:6, 237–252	9
13.	A survey of problems and solution methods in network traffic classification A. I. Get'man, Yu. V. Markin, E. F. Evstropov, D. O. Obidenkov Proceedings of ISP RAS, 2017, 29:3, 117–150	9
14.	Certifiable onboard real-time operation system JetOS for Russian aircrafts design Yu. A. Solodelov, N. K. Gorelits Proceedings of ISP RAS, 2017, 29:3, 171–178	9
15.	Verification and analysis of variable operating systems V. V. Kulyamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko Proceedings of ISP RAS, 2016, 28:3, 189–208	9
16.	Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov Proceedings of ISP RAS, 2015, 27:5, 59–86	9
17.	Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution E. Beresneva, S. Avdoshin Proceedings of ISP RAS, 2018, 30:3, 233–250	8
18.	Towards a cloud computing paradigm for big data analysis in smart cities Renzo Massobrio, Sergio Nesmachnow, Andrei Tchernykh, Arutyun Avetisyan, Gleb Radchenko Proceedings of ISP RAS, 2016, 28:6, 121–140	8
19.	C# static analysis framework V. K. Koshelev, V. N. Ignatyev, A. I. Borzilov Proceedings of ISP RAS, 2016, 28:1, 21–40	8
20.	Comparison of high-level synthesis and hardware construction tools A. S. Kamkin, M. M. Chupilko, M. S. Lebedev, S. A. Smolov, G. Gaydadjiev Proceedings of ISP RAS, 2022, 34:5, 7–22	7
21.	Requirements traceability as the basis for designing a functional and logical architecture of a software system B. A. Pozin, G. N. Tsiperman Proceedings of ISP RAS, 2022, 34:1, 23–34	7
22.	A survey of network traffic classification methods using machine learning A. I. Getman, M. K. Ikonnikova Proceedings of ISP RAS, 2020, 32:6, 137–154	7
23.	Development of iceFoam solver for modeling ice accretion K. B. Koshelev, V. G. Melnikova, S. V. Strijhak Proceedings of ISP RAS, 2020, 32:4, 217–234	7
24.	Application of computer techniques and systems in the study of law, intellectual analysis and modeling of legal activity: a systematic review E. V. Trofimov, O. G. Metsker Proceedings of ISP RAS, 2020, 32:3, 147–170	7
25.	Rendering system for the aircraft real-time OS JetOS B. Kh. Barladian, L. Z. Shapiro, K. A. Mallachiev, A. V. Khoroshilov, Y. A. Solodelov, A. G. Voloboy, V. A. Galaktionov, I. V. Koverninskiy Proceedings of ISP RAS, 2020, 32:1, 57–70	7
26.	Supporting Java programming in the Svace static analyzer A. P. Merkulov, S. A. Polyakov, A. A. Belevantsev Proceedings of ISP RAS, 2017, 29:3, 57–74	7
27.	Software product lines modeling K. M. Lavrischeva, A. K. Petrenko Proceedings of ISP RAS, 2016, 28:6, 49–64	7
28.	Software defect severity estimation in presence of modern defense mechanisms A. N. Fedotov, V. A. Padaryan, V. V. Kaushan, Sh. F. Kurmangaleev, A. V. Vishnyakov, A. R. Nurmukhametov Proceedings of ISP RAS, 2016, 28:5, 73–92	7
29.	Using unreachable code analysis in static analysis tool for finding defects in source code R. R. Mulyukov, A. E. Borodin Proceedings of ISP RAS, 2016, 28:5, 145–158	7
30.	MHD supersonic flow control: OpenFOAM simulation A. I. Ryakhovskiy, A. A. Shmidt Proceedings of ISP RAS, 2016, 28:1, 197–206	7
31.	Expansion of reference model for the cloud computing environment in the concept of large-scale scientific researches A. Skatkov, V. Shevchenko Proceedings of ISP RAS, 2015, 27:6, 285–306	7
32.	Spectral analytical method of recognition of inexact repeats in character sequences A. N. Pankratov, R. K. Tetuev, M. I. Pyatkov, V. P. Toigildin, N. N. Popova Proceedings of ISP RAS, 2015, 27:6, 335–344	7
	40 most cited articles of the journal

Proceedings of the Institute for System Programming of the RAS

Coverage:

2015–2025

Total publications:	1067
Scientific articles:	1062
Authors:	1683
Citations:	1216
Cited articles:	452

	Most published authors
	Most cited authors
	Most cited articles
	Most requested articles

Registration to the website

Logotypes