Institute for System Programming Russian Academy of Sciences is a
prestigious institution university
established in 2015 in Russia. It is represented
by 76 scientists in the AD Scientific Index. The
university’s scientists are particularly concentrated in
Engineering & Technology (27 scientists), Architecture and Design (2 scientists), and Medical and Health Sciences (0 scientists).
* Total H Index Rankings
Ranking Based
On Selection: 1
базы данных
операционные системы
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
30
15
0.500
* Total H Index Rankings
Ranking Based
On Selection: 2
верификация программ
тестирование программ
разработка программ
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
7
0.350
* Total H Index Rankings
Ranking Based
On Selection: 3
Verification & Validation
Formal Methods
Test Generation
High-Level Synthesis
Logic Synthesis
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
6
0.429
* Total H Index Rankings
Ranking Based
On Selection: 4
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
6
0.429
* Total H Index Rankings
Ranking Based
On Selection: 5
compiler optimizations
static analysis
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
9
0.692
* Total H Index Rankings
Ranking Based
On Selection: 6
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
8
0.615
* Total H Index Rankings
Ranking Based
On Selection: 7
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
7
0.583
* Total H Index Rankings
Ranking Based
On Selection: 8
compiler technologies
software security
binary code analysis
parallel programming
emulation and virtualization
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
6
0.500
* Total H Index Rankings
Ranking Based
On Selection: 9
Формальные методы
Formal Methods
model based testing
тестирование
testing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
6
0.545
* Total H Index Rankings
Ranking Based
On Selection: 10
Open Source Software
Multiscale simulations
numerical simulation
compressible flows
multiphase flows
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
10
1.000
* Total H Index Rankings
Ranking Based
On Selection: 11
static analysis
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
6
0.667
* Total H Index Rankings
Ranking Based
On Selection: 12
Hardware Verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
5
0.556
* Total H Index Rankings
Ranking Based
On Selection: 13
Обфускация
вычисления над зашифрованными данными...
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
6
0.750
* Total H Index Rankings
Ranking Based
On Selection: 14
compiler technology
optimizations
llvm
mlir
jit
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
6
0.750
* Total H Index Rankings
Ranking Based
On Selection: 15
анализ бинарного кода
анализ сетевого трафика
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
5
0.625
* Total H Index Rankings
Ranking Based
On Selection: 16
Exploratory search
academic search
graph databases
data integration
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
6
0.857
* Total H Index Rankings
Ranking Based
On Selection: 17
компиляторы
обфускация
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
5
0.714
* Total H Index Rankings
Ranking Based
On Selection: 18
Анализ кода
клоны кода
нахождение ошибок
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
5
0.714
* Total H Index Rankings
Ranking Based
On Selection: 19
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
3
0.429
* Total H Index Rankings
Ranking Based
On Selection: 20
program analysis
static analysis
symbolic execution
SMT solvers
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
* Total H Index Rankings
Ranking Based
On Selection: 21
Formal verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
* Total H Index Rankings
Ranking Based
On Selection: 22
dbms
xml
openstack
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
* Total H Index Rankings
Ranking Based
On Selection: 23
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
4
0.667
* Total H Index Rankings
Ranking Based
On Selection: 24
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
* Total H Index Rankings
Ranking Based
On Selection: 25
dynamic symbolic execution
Java analysis
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
Сергей Кузнецов
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
30
15
0.500
Alexander Kosachev
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
7
0.350
Alexander Kamkin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
6
0.429
Verification & Validation
Formal Methods
Test Generation
High-Level Synthesis
Logic Synthesis
Игорь Бурдонов
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
6
0.429
Andrey Belevantsev
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
9
0.692
Vadim Mutilin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
8
0.615
Sergey Zelenov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
7
0.583
Vartan Padaryan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
6
0.500
compiler technologies
software security
binary code analysis
parallel programming
emulation and virtualization
Nikolay Pakulin (Николай Пакулин)
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
6
0.545
Формальные методы
Formal Methods
model based testing
тестирование
testing
Matvey Kraposhin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
10
1.000
Open Source Software
Multiscale simulations
numerical simulation
compressible flows
multiphase flows
Alexey Borodin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
6
0.667
Mikhail Chupilko
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
5
0.556
Alexander Shokurov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
6
0.750
Ruben Buchatskiy
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
6
0.750
Гетьман Александр Игоревич
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
5
0.625
Yaroslav Nedumov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
6
0.857
Exploratory search
academic search
graph databases
data integration
Курмангалеев
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
5
0.714
Hayk Aslanyan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
5
0.714
Andrei Tatarnikov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
7
3
0.429
Irina Dudina
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
program analysis
static analysis
symbolic execution
SMT solvers
İlya Shchepetkov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
Oleg Borisenko
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
Юрий Витальевич Маркин
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
4
0.667
Evgeny Karpulevich
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
Sergey Vartanov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000