144(top 2%)
papers
4.3K(top 5%)
citations
31(top 5%)
h-index
61(top 5%)
g-index
211
all documents
5.7K
doc citations
337
citing journals
105
times ranked
Top Authors (by citations)
# | Authors | Citations |
---|---|---|
1 | Daniel Kroening | 534 |
2 | Lucas Cordeiro | 110 |
3 | Peter Schrammel | 103 |
4 | Georg Weissenbacher | 73 |
5 | Dirk Beyer | 72 |
6 | Natasha Sharygina | 60 |
7 | Armin Biere | 43 |
8 | Bernd Fischer | 43 |
9 | Pascal Kesseli | 41 |
10 | Arie Gurfinkel | 40 |
11 | Christoph M Wintersteiger | 38 |
12 | Xiaowei Huang | 37 |
13 | Alessandro Abate | 37 |
14 | Grigory Fedyukovich | 36 |
15 | Ofer Strichman | 35 |
16 | Görschwin Fey | 32 |
17 | Iury Valente de Bessa | 32 |
18 | Omar Inverso | 31 |
19 | Matthias Heizmann | 31 |
20 | Gennaro Parlato | 30 |
21 | Leopold Haller | 30 |