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
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 :2
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 :3
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 :4
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 :5
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 :6
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 :7
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 :8
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 :9
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 :10
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 :11
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
10
0.625
* Total H Index Rankings
Ranking Based
On Selection :12
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 :13
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
* Total H Index Rankings
Ranking Based
On Selection :14
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 :15
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 :16
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 :17
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 :18
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 :19
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 :20
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 :21
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
4
0.444
* Total H Index Rankings
Ranking Based
On Selection :22
Computer Science
Quantum Computing
Quantum Information
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
* Total H Index Rankings
Ranking Based
On Selection :23
Probabilistic model checking
DNN verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
* Total H Index Rankings
Ranking Based
On Selection :24
Automated Reasoning
Constraint Programming
Neuro-symbolic Methods
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
6
1.000
* Total H Index Rankings
Ranking Based
On Selection :25
Web Mining
Anomaly Detection
Knowledge Graph
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
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
夏盟佶 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
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
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
Kean Chen
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
Computer Science
Quantum Computing
Quantum Information
Pengfei Yang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
Probabilistic model checking
DNN verification
Minghao Liu
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
6
1.000
Automated Reasoning
Constraint Programming
Neuro-symbolic Methods
Jiaqi Zhu
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
Web Mining
Anomaly Detection
Knowledge Graph