1.1(top 14%)
Impact Factor
1.4(top 14%)
extended IF
70(top 6%)
H-Index
1.2K
authors
2.1K
papers
35.6K
citations
1.7K
citing journals
8.1K
citing authors

Most cited authors

AuthorCitationsTotal ArticlesTotal Citations
David Harel 3,547 117 8,841
Stephen Fickas 1,138 19 1,526
Axel Van Lamsweerde 1,138 29 2,370
Gérard Berry 787 8 1,326
James R Cordy 728 98 2,551
Ivan Kurtev 598 15 1,141
Frédéric Jouault 556 18 1,320
Jean Bezivin 556 14 1,402
Stephen Mccamant 515 12 795
Michael D Ernst 515 63 3,247
Rainer Koschke 507 17 1,137
Farhad Arbab 413 99 1,908
David Gries 332 83 3,691
Roberto Bagnara 327 41 821
Enea Zaffanella 313 37 743
Ralf Lämmel 293 94 1,790
Christian Kästner 271 125 5,106
Daniel Varro 268 143 2,323
Fabian Büttner 266 12 351
David Lorge Parnas 262 22 753
Martin Gogolla 254 26 634
Alessandro Ricci 246 98 1,604
Thomas Leich 243 36 971
Jan Madey 236 3 252
Gunter Saake 227 85 2,162
Fabian Benduhn 227 6 316
Christel Baier 222 102 2,066
Jan Rutten 215 11 563
Wil M P Van Der Aalst 213 674 33,136
Eelco Visser 212 118 2,310
Christel Baier 196 51 646
Andrea Omicini 195 185 2,812
Martin Bravenboer 190 6 334
Enrico Denti 188 54 611
Rafael H Bordini 184 103 1,803
Olivier Boissier 183 38 801
Jomi Fred Hubner 183 74 1,118
Andrea Santi 183 3 204
Marlon Dumas 181 275 11,608
Karl Trygve Kalleberg 180 7 337
Rob Vermaas 180 3 207
Chun Ouyang 177 8 767
H Mw Verbeek 177 14 1,778
Arthur H M Ter Hofstede 177 201 8,786
Gary T Leavens 166 69 2,047
Nissim Francez 166 64 977
Shengchao Qin 157 100 883
Olivier Danvy 156 86 1,500
Jeremy Gibbons 154 78 842
Görel Hedin 145 7 271
Gregor Gössler 136 17 304
Thomas Reps 135 106 5,917
Douglas R Smith 131 13 326
Mirko Viroli 131 199 2,839
Ana Cavalcanti 130 131 1,460
Chris Hankin 129 62 1,515
Samson Abramsky 127 109 3,292
András Balogh 126 7 259
Joseph Sifakis 124 42 1,065
Martin Wirsing 121 47 991
Somesh Jha 120 41 4,371
Javier Esparza 118 166 3,567
Patrick Heymans 117 46 1,988
Andreas Classen 117 6 407
Manfred Broy 116 101 1,808
Abhik Roychoudhury 116 135 2,818
Tulika Mitra 116 126 2,925
Philippe Collet 112 18 388
Mathieu Acher 112 51 700
Philippe Lahire 112 17 449
Manuel V Hermenegildo 111 166 1,771
Alejandro Zunino 110 120 1,439
Pierre Lescanne 109 38 653
Marco Crasso 108 24 331
Thierry Jeron 108 61 1,016
Paola Inverardi 107 61 798
Ferruccio Damiani 106 129 1,273
Mark Gj Van Den Brand 103 36 291
Mark Rouncefield 103 12 650
John Hutchinson 103 4 397
Jon Whittle 103 33 1,855
Matthias Felleisen 101 84 3,552