54(top 10%)
papers
1.5K(top 10%)
citations
17(top 20%)
h-index
38(top 10%)
g-index
77
all documents
3.1K
doc citations
262
citing journals
105
times ranked
Top Authors (by citations)
| # | Author | Articles | Citations | R ARank | R CRank |
|---|---|---|---|---|---|
| 1 | June Andronick | 8 | 1,392 | 1 | 1 |
| 2 | Gernot Heiser | 4 | 1,331 | 3 | 1 |
| 3 | Michael Norrish | 2 | 1,300 | 5 | 1 |
| 4 | Thomas Sewell | 2 | 1,095 | 1 | 1 |
| 5 | David Cock | 1 | 1,046 | 3 | 2 |
| 5 | Kai Engelhardt | 1 | 1,046 | 1 | 1 |
| 7 | Tobias Nipkow | 2 | 276 | 5 | 1 |
| 8 | Liam O'Connor | 10 | 121 | 1 | 1 |
| 9 | Gabriele Keller | 11 | 110 | 1 | 4 |
| 10 | Ihor Kuz | 3 | 100 | 1 | 2 |
| 11 | Christine Rizkallah | 8 | 99 | 1 | 1 |
| 12 | Zilin Chen | 4 | 75 | 1 | 1 |
| 13 | Liam O'connor | 4 | 68 | 1 | 1 |
| 14 | Stefan M Petters | 1 | 55 | 4 | 4 |
| 15 | Daniel Matichuk | 1 | 42 | 1 | 1 |
| 16 | Darren Cofer | 2 | 32 | 3 | 3 |
| 17 | Kevin Elphinstone | 2 | 29 | 2 | 3 |
| 18 | Liming Zhu | 2 | 22 | 27 | 58 |
| 19 | Mark Staples | 1 | 14 | 11 | 12 |
| 20 | Syeda Hira Taqdees | 1 | 9 | 1 | 1 |
| 21 | Matthias Daum | 1 | 7 | 2 | 2 |
| 22 | Martin Strecker | 1 | 6 | 5 | 5 |
| 23 | Andrei Popescu | 1 | 2 | 14 | 17 |
| 23 | Jasmin Christian Blanchette | 1 | 2 | 16 | 26 |
| 23 | Lawrence C Paulson | 1 | 2 | 14 | 22 |
| 23 | Jeremy Avigad | 1 | 2 | 3 | 12 |
| 23 | Ruben Gamboa | 1 | 2 | 1 | 2 |
| 23 | Gregor Snelting | 1 | 2 | 5 | 9 |