17(top 50%)
papers
137(top 50%)
citations
5(top 50%)
h-index
12(top 50%)
g-index
27
all documents
282
doc citations
35
citing journals
80
times ranked
Top Authors (by citations)
| # | Authors | Citations |
|---|---|---|
| 1 | Norman Ramsey | 50 |
| 2 | Gang Tan | 6 |
| 3 | Greg Morrisett | 4 |
| 4 | Peter Sewell | 3 |
| 5 | Julian Kranz | 3 |
| 6 | Andrew J Lumsdaine | 3 |
| 7 | Rafael Auler | 3 |
| 8 | Axel Simon | 3 |
| 9 | Andrew W Appel | 2 |
| 10 | Amal Ahmed | 2 |
| 11 | Max Willsey | 2 |
| 12 | Florian Brandner | 2 |
| 13 | Nikil Dutt | 2 |
| 14 | Nuno P Lopes | 2 |
| 15 | Edward Gan | 2 |
| 16 | Susmit Sarkar | 2 |
| 17 | Santosh Nagarakatte | 2 |
| 18 | E F Haghish | 2 |
| 19 | Sandro Rigo | 2 |
| 20 | Thomas Reps | 2 |