108(top 5%)
papers
5.9K(top 5%)
citations
34(top 5%)
h-index
76(top 2%)
g-index
143
all documents
7.3K
doc citations
615
citing journals
105
times ranked
Top Authors (by citations)
# | Authors | Citations |
---|---|---|
1 | Marta Kwiatkowska | 584 |
2 | David Parker | 373 |
3 | Gethin J Norman | 308 |
4 | Joost-Pieter Katoen | 296 |
5 | David Parker | 267 |
6 | Radu Calinescu | 140 |
7 | Arnd Hartmanns | 130 |
8 | Sebastian Junges | 115 |
9 | Luca Cardelli | 104 |
10 | Milan Ceska | 95 |
11 | Holger Hermanns | 94 |
12 | Sascha Klüppelholz | 74 |
13 | Ernst Moritz Hahn | 73 |
14 | Tim Quatmann | 68 |
15 | Osman Hasan | 68 |
16 | Jeremy Sproston | 67 |
17 | Christel Baier | 64 |
18 | Simos Gerasimou | 63 |
19 | Danny Weyns | 60 |
20 | Luca Bortolussi | 58 |
21 | Ufuk Topcu | 58 |