Citation Rankings (Highly Cited Researchers) and the list of the most cited and influential researchers cover a wide range of scientific fields, spanning 197 main and sub-disciplines, as well as the Art and Humanities Citation Rankings and Social Sciences and Humanities Citation Rankings, offering a unique service. Additionally, the list without CERN, Statistical Data, etc., provided exclusively by “AD Scientific Index”, is part of our effort to balance the situation created by CERN and researchers with statistical data, who have an advantage over others, especially those in the social and humanities fields. There should be new regulations for multi-author and CERN papers. Citation lists also reveal many rule violations and unethical practices. See also for more specific citation analyses: Scientists Last 6 years Citation Index, Universities Total Citations Rankings 2025 and Universities Last 6 Years Citations Rankings 2025
* Total Citation Counts Rankings
Ranking Based On Selection :1
Coq proof assistant
Formal verification
Iris separation logic
Rust
OCaml
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,298
1,869
0.813
* Total Citation Counts Rankings
Ranking Based On Selection :2
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,223
684
0.559
* Total Citation Counts Rankings
Ranking Based On Selection :3
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,202
550
0.458
* Total Citation Counts Rankings
Ranking Based On Selection :4
Cognitive Computational Neuroscience
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,198
1,196
0.998
* Total Citation Counts Rankings
Ranking Based On Selection :5
Enseignement de la physique au niveau Licence
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,050
541
0.515
* Total Citation Counts Rankings
Ranking Based On Selection :6
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
876
292
0.333
* Total Citation Counts Rankings
Ranking Based On Selection :7
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
768
193
0.251
* Total Citation Counts Rankings
Ranking Based On Selection :8
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
584
523
0.896
* Total Citation Counts Rankings
Ranking Based On Selection :9
probabilités
combinatoire
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
497
294
0.592
* Total Citation Counts Rankings
Ranking Based On Selection :10
Programming languages
Parallelism
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
453
228
0.503
* Total Citation Counts Rankings
Ranking Based On Selection :11
Probability
Combinatorics
Statistical Mechanics
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
331
172
0.520
* Total Citation Counts Rankings
Ranking Based On Selection :12
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
305
150
0.492
* Total Citation Counts Rankings
Ranking Based On Selection :13
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
251
232
0.924
* Total Citation Counts Rankings
Ranking Based On Selection :14
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
185
73
0.395
* Total Citation Counts Rankings
Ranking Based On Selection :15
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
149
146
0.980
* Total Citation Counts Rankings
Ranking Based On Selection :16
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
86
55
0.640
* Total Citation Counts Rankings
Ranking Based On Selection :17
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
56
50
0.893
* Total Citation Counts Rankings
Ranking Based On Selection :18
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
51
47
0.922
* Total Citation Counts Rankings
Ranking Based On Selection :19
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
39
39
1.000
* Total Citation Counts Rankings
Ranking Based On Selection :20
modern philosophy
epistemology
metaphysics
Chinese philosophy
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
9
8
0.889
* Total Citation Counts Rankings
Ranking Based On Selection :21
braid groups
algebra
artificial intelligence
software security
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3
0
0.000
Jacques-Henri Jourdan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,298
1,869
0.813
Coq proof assistant
Formal verification
Iris separation logic
Rust
OCaml
Thomas Julou
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,223
684
0.559
Antonin Marchand
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,202
550
0.458
Théo Desbordes
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,198
1,196
0.998
Vincent Freulon
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,050
541
0.515
Nicolas Bourgeois
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
876
292
0.333
Camille Wormser
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
768
193
0.251
Hugo Viciana
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
584
523
0.896
Jeremie Bettinelli
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
497
294
0.592
Robin Morisset
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
453
228
0.503
Laurent Ménard
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
331
172
0.520
Adeline Pons
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
305
150
0.492
Alexandra Colin
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
251
232
0.924
Nikola Rankovic
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
185
73
0.395
Benjamin Robira
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
149
146
0.980
Loïc Dubois
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
86
55
0.640
Jhih-Huang Li
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
56
50
0.893
Abel Lacabanne
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
51
47
0.922
Suzanne Lafon
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
39
39
1.000
Xiaoxing Zhang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
9
8
0.889
Jeremy Chamboredon
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3
0
0.000