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: 26
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: 27
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: 28
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: 29
Web Mining
Anomaly Detection
Knowledge Graph
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
5
0.833
* Total H Index Rankings
Ranking Based
On Selection: 30
complexity theory
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
4
0.667
* Total H Index Rankings
Ranking Based
On Selection: 31
formal methods
formal semantics
theorem proving
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
3
0.500
* Total H Index Rankings
Ranking Based
On Selection: 32
Software Engineering
Static Analysis
Constraint Solving
Software Testing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
* Total H Index Rankings
Ranking Based
On Selection: 33
program analysis
symbolic execution
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
* Total H Index Rankings
Ranking Based
On Selection: 34
Multi-view learning
Deep learning
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
* Total H Index Rankings
Ranking Based
On Selection: 35
Program Analysis
Software Testing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
* Total H Index Rankings
Ranking Based
On Selection: 36
Computer Graphics
Geometry Modeling
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
* Total H Index Rankings
Ranking Based
On Selection: 37
Formal Languages and Automata Theory
Learning Theory
Theoretical Computer Science
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
2
2
1.000
* Total H Index Rankings
Ranking Based
On Selection: 38
mathematical logic
computability theory
algorithmic randomness
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
2
2
1.000
* Total H Index Rankings
Ranking Based
On Selection: 39
Formal Verification
Model Checking
Programming Languages
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
2
2
1.000
* Total H Index Rankings
Ranking Based
On Selection: 40
automated reasoning
program analysis
software testing
constraint solving
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
* Total H Index Rankings
Ranking Based
On Selection: 41
formal verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
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
Shiteng Chen
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
4
0.667
Li Yongjian
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
3
0.500
formal methods
formal semantics
theorem proving
Linjie Pan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
Software Engineering
Static Analysis
Constraint Solving
Software Testing
Xutong Ma
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
5
5
1.000
program analysis
symbolic execution
Runwu Zhou
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
Multi-view learning
Deep learning
Baoquan Cui
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
Program Analysis
Software Testing
Zeyu Shen
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
Computer Graphics
Geometry Modeling
Xiaofan Wang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
2
2
1.000
Formal Languages and Automata Theory
Learning Theory
Theoretical Computer Science
Nan Fang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
2
2
1.000
mathematical logic
computability theory
algorithmic randomness
Weizhi Feng
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
2
2
1.000
Formal Verification
Model Checking
Programming Languages
Jian Zhang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
automated reasoning
program analysis
software testing
constraint solving
Dejin Ren
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000