Institute of Software, Chinese Academy of Sciences is a
prestigious institution university
established in 1985 in China. It is represented
by 41 scientists in the AD Scientific Index. The
university’s scientists are particularly concentrated in
Engineering & Technology (36 scientists), Natural Sciences (4 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
108
90
0.833
* Total H Index Rankings
Ranking Based
On Selection :2
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
35
25
0.714
* Total H Index Rankings
Ranking Based
On Selection :3
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
34
30
0.882
* Total H Index Rankings
Ranking Based
On Selection :4
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
30
22
0.733
* Total H Index Rankings
Ranking Based
On Selection :5
Software Engineering
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
16
0.727
* Total H Index Rankings
Ranking Based
On Selection :6
software testing
static analysis
software evolution
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
13
0.591
* Total H Index Rankings
Ranking Based
On Selection :7
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
21
17
0.810
* Total H Index Rankings
Ranking Based
On Selection :8
Software engineering
Computer science
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
14
0.737
* Total H Index Rankings
Ranking Based
On Selection :9
Formal Methods
Autonomous Systems
AI
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
16
0.941
* Total H Index Rankings
Ranking Based
On Selection :10
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
13
0.765
* Total H Index Rankings
Ranking Based
On Selection :11
Formal Verification
Probabilistic Systems
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
13
0.765
* Total H Index Rankings
Ranking Based
On Selection :12
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
9
0.529
* Total H Index Rankings
Ranking Based
On Selection :13
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
10
0.625
* Total H Index Rankings
Ranking Based
On Selection :14
Artificial Intelligence
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
13
0.867
* Total H Index Rankings
Ranking Based
On Selection :15
Quantum computing
Formal Verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
14
1.000
* Total H Index Rankings
Ranking Based
On Selection :16
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
* Total H Index Rankings
Ranking Based
On Selection :17
Computational Logic
Program Analysis and Verification
Automata Theory
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
* Total H Index Rankings
Ranking Based
On Selection :18
Interactive Theorem Proving
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
12
1.000
* Total H Index Rankings
Ranking Based
On Selection :19
software engineering
heuristic algorithm
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
12
1.000
* Total H Index Rankings
Ranking Based
On Selection :20
Quantum computation and information
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total H Index Rankings
Ranking Based
On Selection :21
Model Checking
Software Testing
Formal Methods
Machine Learning
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
8
0.800
* Total H Index Rankings
Ranking Based
On Selection :22
software testing
fault localization
software debugging
combinatorial testing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
7
0.700
* Total H Index Rankings
Ranking Based
On Selection :23
Software Testing
Program Analysis
Mobile Application
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
9
1.000
* Total H Index Rankings
Ranking Based
On Selection :24
SAT
SMT
EDA
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
9
1.000
* Total H Index Rankings
Ranking Based
On Selection :25
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
4
0.444
Lijun Zhang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
108
90
0.833
Yi-Dong Shen
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
35
25
0.714
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
Shaowei Cai
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
34
30
0.882
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
Naijun Zhan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
30
22
0.733
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
Jun Yan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
16
0.727
Zhenyu (Charles) Zhang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
13
0.591
software testing
static analysis
software evolution
Yan Cai
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
21
17
0.810
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
Haiming Chen
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
14
0.737
Software engineering
Computer science
Bai Xue
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
16
0.941
Formal Methods
Autonomous Systems
AI
Wencheng Wang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
13
0.765
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
Andrea Turrini
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
13
0.765
Formal Verification
Probabilistic Systems
George Barmpalias
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
17
9
0.529
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
夏盟佶 Xia, Mingji
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
10
0.625
Feifei Ma
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
13
0.867
Li Zhou
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
14
1.000
Rongjie Yan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
Zhilin Wu
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
Computational Logic
Program Analysis and Verification
Automata Theory
Bohua Zhan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
12
1.000
Interactive Theorem Proving
Jinkun Lin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
12
1.000
software engineering
heuristic algorithm
Ji Guan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Peng Wu
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
8
0.800
Model Checking
Software Testing
Formal Methods
Machine Learning
Zhiqiang Zhang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
7
0.700
software testing
fault localization
software debugging
combinatorial testing
Jiwei Yan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
9
1.000
Software Testing
Program Analysis
Mobile Application
Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
9
1.000
Xue-Yang Zhu
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
4
0.444