1.9(top 20%)
impact factor
916(top 20%)
papers
20.4K(top 10%)
citations
57(top 10%)
h-index
2.1(top 20%)
extended IF
976
all documents
21.9K
doc citations
117(top 10%)
g-index
Top Authors (by article citations)
| # | Author | Articles | Citations | R ARank | R CRank |
|---|---|---|---|---|---|
| 1 | Klaus Havelund | 1 | 528 | 1 | 1 |
| 2 | Marco Roveri | 1 | 467 | 1 | 1 |
| 2 | Alessandro Cimatti | 1 | 467 | 1 | 1 |
| 2 | Edmund Clarke | 1 | 467 | 1 | 1 |
| 5 | Jan Tretmans | 1 | 63 | 1 | 1 |
| 6 | Stefan Leue | 1 | 38 | 1 | 1 |
| 7 | Deepak Kapur | 1 | 17 | 1 | 1 |
| 7 | Deepak Kapur | 1 | 17 | 1 | 1 |
| 9 | Matthew B Dwyer | 1 | 13 | 2 | 3 |
| 10 | Serge Autexier | 1 | 7 | 1 | 2 |
| 10 | Dieter Hutter | 1 | 7 | 1 | 2 |
| 10 | Heiko Mantel | 1 | 7 | 1 | 1 |
| 13 | Zhendong Su | 1 | 5 | 1 | 1 |
| 14 | Paolo Traverso | 2 | 4 | 1 | 3 |