Rankings for Scientist

University, Subject, Country, Region, World

Institute of Software, Chinese Academy of Sciences Scientists Engineering & Technology / Computer Science Rankings 2024

The international independent ranking organisation AD Scientific Index is more than an ordinary "Ranking". The "AD Scientific Index" analyses the academic work of scientists using the H-index, i10 index and number of citations, and provides results that can be used to evaluate the productivity and efficiency of individuals and institutions. In addition to ranking according to "total H-index" for individuals and institutions, you can also see the ranking and analyses according to "last 6 years H-index", "total i10 Productivity index", "last 6 years i10 Productivity index", "total citations" and "last 6 years citations" only in "AD Scientific Index". See also: Subject Rankings, University Subject Rankings and  Universities Rankings 2024 (Sort by: Last 6 years H Index).   Click here for individual or institutional registration.

map
×
Total 38 scientist
Yi-Dong Shen
Yi-Dong Shen
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
H-Index Rankings
University / Institution:
# 2
Country:
# 9,340
Region:
# 31,198
World:
# 187,320
H-Index
Total:
34
Last 6 Year:
24
Last 6 Year/Total:
0.706
i10 Index
Total:
75
Last 6 Year:
41
Last 6 Year/Total:
0.547
Citation
Total:
4,954
Last 6 Year:
3,040
Last 6 Year/Total:
0.614
Shaowei Cai
Shaowei Cai
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
H-Index Rankings
University / Institution:
# 3
Country:
# 9,619
Region:
# 32,383
World:
# 193,585
H-Index
Total:
33
Last 6 Year:
30
Last 6 Year/Total:
0.909
i10 Index
Total:
74
Last 6 Year:
67
Last 6 Year/Total:
0.905
Citation
Total:
3,166
Last 6 Year:
2,225
Last 6 Year/Total:
0.703
Naijun Zhan
Naijun Zhan
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
H-Index Rankings
University / Institution:
# 4
Country:
# 12,880
Region:
# 44,864
World:
# 254,226
H-Index
Total:
29
Last 6 Year:
20
Last 6 Year/Total:
0.690
i10 Index
Total:
70
Last 6 Year:
51
Last 6 Year/Total:
0.729
Citation
Total:
2,733
Last 6 Year:
1,551
Last 6 Year/Total:
0.568
Zhenyu (Charles) Zhang
Zhenyu (Charles) Zhang
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
software testing
static analysis
software evolution
H-Index Rankings
University / Institution:
# 5
Country:
# 20,411
Region:
# 77,838
World:
# 405,662
H-Index
Total:
22
Last 6 Year:
13
Last 6 Year/Total:
0.591
i10 Index
Total:
30
Last 6 Year:
17
Last 6 Year/Total:
0.567
Citation
Total:
1,955
Last 6 Year:
565
Last 6 Year/Total:
0.289
Yan Cai
Yan Cai
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
H-Index Rankings
University / Institution:
# 6
Country:
# 21,533
Region:
# 82,279
World:
# 422,898
H-Index
Total:
21
Last 6 Year:
17
Last 6 Year/Total:
0.810
i10 Index
Total:
29
Last 6 Year:
22
Last 6 Year/Total:
0.759
Citation
Total:
1,241
Last 6 Year:
835
Last 6 Year/Total:
0.673
Jun Yan
Jun Yan
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Software Engineering
H-Index Rankings
University / Institution:
# 7
Country:
# 21,608
Region:
# 82,810
World:
# 425,142
H-Index
Total:
21
Last 6 Year:
16
Last 6 Year/Total:
0.762
i10 Index
Total:
34
Last 6 Year:
24
Last 6 Year/Total:
0.706
Citation
Total:
1,613
Last 6 Year:
802
Last 6 Year/Total:
0.497
Haiming Chen
Haiming Chen
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Software engineering
Computer science
H-Index Rankings
University / Institution:
# 8
Country:
# 26,117
Region:
# 105,713
World:
# 525,952
H-Index
Total:
18
Last 6 Year:
13
Last 6 Year/Total:
0.722
i10 Index
Total:
30
Last 6 Year:
21
Last 6 Year/Total:
0.700
Citation
Total:
1,182
Last 6 Year:
608
Last 6 Year/Total:
0.514
Bai Xue
Bai Xue
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Formal Methods
Autonomous Systems
AI
H-Index Rankings
University / Institution:
# 9
Country:
# 26,880
Region:
# 109,770
World:
# 544,252
H-Index
Total:
17
Last 6 Year:
16
Last 6 Year/Total:
0.941
i10 Index
Total:
25
Last 6 Year:
24
Last 6 Year/Total:
0.960
Citation
Total:
776
Last 6 Year:
652
Last 6 Year/Total:
0.840
Wencheng Wang
Wencheng Wang
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
H-Index Rankings
University / Institution:
# 10
Country:
# 27,542
Region:
# 113,466
World:
# 559,630
H-Index
Total:
17
Last 6 Year:
13
Last 6 Year/Total:
0.765
i10 Index
Total:
38
Last 6 Year:
19
Last 6 Year/Total:
0.500
Citation
Total:
1,117
Last 6 Year:
554
Last 6 Year/Total:
0.496
Andrea Turrini
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Formal Verification
Probabilistic Systems
H-Index Rankings
University / Institution:
# 11
Country:
# 27,592
Region:
# 113,893
World:
# 561,243
H-Index
Total:
17
Last 6 Year:
13
Last 6 Year/Total:
0.765
i10 Index
Total:
26
Last 6 Year:
14
Last 6 Year/Total:
0.538
Citation
Total:
933
Last 6 Year:
609
Last 6 Year/Total:
0.653
Adscientificindex
Adscientificindex

Click for INSTITUTIONAL BULK REGISTRATION and PREMIUM MEMBERSHIP advantages

夏盟佶 Xia, Mingji
夏盟佶 Xia, Mingji
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
H-Index Rankings
University / Institution:
# 12
Country:
# 29,476
Region:
# 125,691
World:
# 614,098
H-Index
Total:
16
Last 6 Year:
10
Last 6 Year/Total:
0.625
i10 Index
Total:
18
Last 6 Year:
10
Last 6 Year/Total:
0.556
Citation
Total:
787
Last 6 Year:
276
Last 6 Year/Total:
0.351
Feifei Ma
Feifei Ma
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Artificial Intelligence
H-Index Rankings
University / Institution:
# 14
Country:
# 32,703
Region:
# 142,305
World:
# 681,350
H-Index
Total:
14
Last 6 Year:
12
Last 6 Year/Total:
0.857
i10 Index
Total:
21
Last 6 Year:
16
Last 6 Year/Total:
0.762
Citation
Total:
926
Last 6 Year:
793
Last 6 Year/Total:
0.856
Rongjie Yan
Rongjie Yan
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
H-Index Rankings
University / Institution:
# 15
Country:
# 33,037
Region:
# 144,923
World:
# 691,842
H-Index
Total:
14
Last 6 Year:
11
Last 6 Year/Total:
0.786
i10 Index
Total:
18
Last 6 Year:
11
Last 6 Year/Total:
0.611
Citation
Total:
699
Last 6 Year:
385
Last 6 Year/Total:
0.551
Zhilin Wu
Zhilin Wu
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Computational Logic
Program Analysis and Verification
Automata Theory
H-Index Rankings
University / Institution:
# 16
Country:
# 33,092
Region:
# 145,416
World:
# 694,234
H-Index
Total:
14
Last 6 Year:
11
Last 6 Year/Total:
0.786
i10 Index
Total:
16
Last 6 Year:
11
Last 6 Year/Total:
0.688
Citation
Total:
527
Last 6 Year:
361
Last 6 Year/Total:
0.685
Jinkun Lin
Jinkun Lin
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
software engineering
heuristic algorithm
H-Index Rankings
University / Institution:
# 18
Country:
# 38,883
Region:
# 178,774
World:
# 827,811
H-Index
Total:
11
Last 6 Year:
11
Last 6 Year/Total:
1.000
i10 Index
Total:
11
Last 6 Year:
11
Last 6 Year/Total:
1.000
Citation
Total:
414
Last 6 Year:
331
Last 6 Year/Total:
0.800
Bohua Zhan
Bohua Zhan
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Interactive Theorem Proving
H-Index Rankings
University / Institution:
# 19
Country:
# 39,099
Region:
# 179,882
World:
# 830,712
H-Index
Total:
11
Last 6 Year:
10
Last 6 Year/Total:
0.909
i10 Index
Total:
14
Last 6 Year:
12
Last 6 Year/Total:
0.857
Citation
Total:
398
Last 6 Year:
360
Last 6 Year/Total:
0.905
Peng Wu
Peng Wu
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Model Checking
Software Testing
Formal Methods
Machine Learning
H-Index Rankings
University / Institution:
# 20
Country:
# 42,353
Region:
# 199,756
World:
# 903,703
H-Index
Total:
10
Last 6 Year:
8
Last 6 Year/Total:
0.800
i10 Index
Total:
12
Last 6 Year:
6
Last 6 Year/Total:
0.500
Citation
Total:
403
Last 6 Year:
142
Last 6 Year/Total:
0.352
Zhiqiang Zhang
Zhiqiang Zhang
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
software testing
fault localization
software debugging
combinatorial testing
H-Index Rankings
University / Institution:
# 21
Country:
# 45,387
Region:
# 219,266
World:
# 972,425
H-Index
Total:
9
Last 6 Year:
7
Last 6 Year/Total:
0.778
i10 Index
Total:
9
Last 6 Year:
6
Last 6 Year/Total:
0.667
Citation
Total:
436
Last 6 Year:
178
Last 6 Year/Total:
0.408
Xue-Yang Zhu
Xue-Yang Zhu
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
H-Index Rankings
University / Institution:
# 22
Country:
# 45,820
Region:
# 224,171
World:
# 993,920
H-Index
Total:
9
Last 6 Year:
4
Last 6 Year/Total:
0.444
i10 Index
Total:
8
Last 6 Year:
1
Last 6 Year/Total:
0.125
Citation
Total:
257
Last 6 Year:
55
Last 6 Year/Total:
0.214
Pengfei Yang
Pengfei Yang
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Probabilistic model checking
DNN verification
H-Index Rankings
University / Institution:
# 24
Country:
# 47,219
Region:
# 230,329
World:
# 1,013,112
H-Index
Total:
8
Last 6 Year:
8
Last 6 Year/Total:
1.000
i10 Index
Total:
7
Last 6 Year:
7
Last 6 Year/Total:
1.000
Citation
Total:
281
Last 6 Year:
273
Last 6 Year/Total:
0.972
Jiwei Yan
Jiwei Yan
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Software Testing
Program Analysis
Mobile Application
H-Index Rankings
University / Institution:
# 25
Country:
# 47,484
Region:
# 231,716
World:
# 1,016,770
H-Index
Total:
8
Last 6 Year:
8
Last 6 Year/Total:
1.000
i10 Index
Total:
7
Last 6 Year:
6
Last 6 Year/Total:
0.857
Citation
Total:
196
Last 6 Year:
176
Last 6 Year/Total:
0.898
Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻
Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
SAT
SMT
EDA
H-Index Rankings
University / Institution:
# 26
Country:
# 47,597
Region:
# 232,373
World:
# 1,018,545
H-Index
Total:
8
Last 6 Year:
8
Last 6 Year/Total:
1.000
i10 Index
Total:
7
Last 6 Year:
7
Last 6 Year/Total:
1.000
Citation
Total:
152
Last 6 Year:
152
Last 6 Year/Total:
1.000
Kean Chen
Kean Chen
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Computer Science
Quantum Computing
Quantum Information
H-Index Rankings
University / Institution:
# 27
Country:
# 49,167
Region:
# 246,842
World:
# 1,070,171
H-Index
Total:
7
Last 6 Year:
7
Last 6 Year/Total:
1.000
i10 Index
Total:
7
Last 6 Year:
7
Last 6 Year/Total:
1.000
Citation
Total:
590
Last 6 Year:
589
Last 6 Year/Total:
0.998
Heng Pan
Heng Pan
Institute of Computing Technology, Chinese Academy of Sciences
Institute of Computing Technology, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Software-defined networking
network virtualization
cloud computing
H-Index Rankings
University / Institution:
# 176
Country:
# 51,403
Region:
# 259,187
World:
# 1,103,829
H-Index
Total:
7
Last 6 Year:
7
Last 6 Year/Total:
1.000
i10 Index
Total:
4
Last 6 Year:
4
Last 6 Year/Total:
1.000
Citation
Total:
166
Last 6 Year:
120
Last 6 Year/Total:
0.723
Minghao Liu
Minghao Liu
Institute of Software, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
China
Engineering & Technology / Computer Science
Automated Reasoning
Constraint Programming
Neuro-symbolic Methods
H-Index Rankings
University / Institution:
# 28
Country:
# 55,422
Region:
# 292,376
World:
# 1,204,951
H-Index
Total:
6
Last 6 Year:
6
Last 6 Year/Total:
1.000
i10 Index
Total:
2
Last 6 Year:
2
Last 6 Year/Total:
1.000
Citation
Total:
70
Last 6 Year:
70
Last 6 Year/Total:
1.000
AD Scientific Index - World Scientists Rankings - 2024 H INDEX i10 INDEX CITATION
University /
Institution 		Country Region World Name Country University / Institution Subject Total Last 6 year Last 6 year/total Total Last 6 year Last 6 year/total Total Last 6 year Last 6 year/total
2 9,340 31,198 187,320
Yi-Dong ShenYi-Dong Shen
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Artificial Intelligence | Semantic Web | Data Mining | Logic Programming |

34 24 0.706 75 41 0.547 4,954 3,040 0.614
3 9,619 32,383 193,585
Shaowei CaiShaowei Cai
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Satisfiability | Constraint Solving | Combinatorial Optimization | Heuristic Search |

33 30 0.909 74 67 0.905 3,166 2,225 0.703
4 12,880 44,864 254,226
Naijun ZhanNaijun Zhan
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Formal Methods | Real-time | embedded and hybrid systems | Program Verification |

29 20 0.690 70 51 0.729 2,733 1,551 0.568
5 20,411 77,838 405,662
Zhenyu (Charles) ZhangZhenyu (Charles) Zhang
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

software testing | static analysis | software evolution |

22 13 0.591 30 17 0.567 1,955 565 0.289
6 21,533 82,279 422,898
Yan CaiYan Cai
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Software Engineering | Programming Languages | Concurrency | Multithreading | Security |

21 17 0.810 29 22 0.759 1,241 835 0.673
7 21,608 82,810 425,142
Jun YanJun Yan
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Software Engineering |

21 16 0.762 34 24 0.706 1,613 802 0.497
8 26,117 105,713 525,952
Haiming ChenHaiming Chen
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Software engineering | Computer science |

18 13 0.722 30 21 0.700 1,182 608 0.514
9 26,880 109,770 544,252
Bai XueBai Xue
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Formal Methods | Autonomous Systems | AI |

17 16 0.941 25 24 0.960 776 652 0.840
10 27,542 113,466 559,630
Wencheng WangWencheng Wang
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Visualization | Virtual Reality | Computer Graphics | Rendering | Imaging |

17 13 0.765 38 19 0.500 1,117 554 0.496
11 27,592 113,893 561,243
Andrea TurriniAndrea Turrini
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Formal Verification | Probabilistic Systems |

17 13 0.765 26 14 0.538 933 609 0.653
Adscientificindex

Click for INSTITUTIONAL BULK REGISTRATION and PREMIUM MEMBERSHIP advantages

 Adscientificindex
12 29,476 125,691 614,098
夏盟佶 Xia, Mingji夏盟佶 Xia, Mingji
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

16 10 0.625 18 10 0.556 787 276 0.351
14 32,703 142,305 681,350
Feifei MaFeifei Ma
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Artificial Intelligence |

14 12 0.857 21 16 0.762 926 793 0.856
15 33,037 144,923 691,842
Rongjie YanRongjie Yan
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

14 11 0.786 18 11 0.611 699 385 0.551
16 33,092 145,416 694,234
Zhilin WuZhilin Wu
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Computational Logic | Program Analysis and Verification | Automata Theory |

14 11 0.786 16 11 0.688 527 361 0.685
18 38,883 178,774 827,811
Jinkun LinJinkun Lin
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

software engineering | heuristic algorithm |

11 11 1.000 11 11 1.000 414 331 0.800
19 39,099 179,882 830,712
Bohua ZhanBohua Zhan
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Interactive Theorem Proving |

11 10 0.909 14 12 0.857 398 360 0.905
20 42,353 199,756 903,703
Peng WuPeng Wu
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Model Checking | Software Testing | Formal Methods | Machine Learning |

10 8 0.800 12 6 0.500 403 142 0.352
21 45,387 219,266 972,425
Zhiqiang ZhangZhiqiang Zhang
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

software testing | fault localization | software debugging | combinatorial testing |

9 7 0.778 9 6 0.667 436 178 0.408
22 45,820 224,171 993,920
Xue-Yang ZhuXue-Yang Zhu
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

9 4 0.444 8 1 0.125 257 55 0.214
24 47,219 230,329 1,013,112
Pengfei YangPengfei Yang
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Probabilistic model checking | DNN verification |

8 8 1.000 7 7 1.000 281 273 0.972
25 47,484 231,716 1,016,770
Jiwei YanJiwei Yan
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Software Testing | Program Analysis | Mobile Application |

8 8 1.000 7 6 0.857 196 176 0.898
26 47,597 232,373 1,018,545
Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

SAT | SMT | EDA |

8 8 1.000 7 7 1.000 152 152 1.000
27 49,167 246,842 1,070,171
Kean ChenKean Chen
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Computer Science | Quantum Computing | Quantum Information |

7 7 1.000 7 7 1.000 590 589 0.998
176 51,403 259,187 1,103,829
Heng PanHeng Pan
China China Institute of Computing Technology, Chinese Academy of Sciences Institute of Computing Technology, Chinese Academy of Sciences Engineering & Technology / Computer Science

Software-defined networking | network virtualization | cloud computing |

7 7 1.000 4 4 1.000 166 120 0.723
28 55,422 292,376 1,204,951
Minghao LiuMinghao Liu
China China Institute of Software, Chinese Academy of Sciences Institute of Software, Chinese Academy of Sciences Engineering & Technology / Computer Science

Automated Reasoning | Constraint Programming | Neuro-symbolic Methods |

6 6 1.000 2 2 1.000 70 70 1.000