3.7K
Publications
186.5K
Citations
7K
Authors
1.5K
Institutions
Top Authors in Software Verification
Discover the leading researchers and scholars who have made significant contributions to Software Verification. The statistics shown in this table are calculated from publications relevant to this concept and reflect each author's impact within this specific field of study, not their overall metrics.
| Publications | Citations | H-Index | |
|---|---|---|---|
GR University of Illinois Urbana-Champaign | 23 | 2.1K | 19 |
RD University of Bremen | 30 | 872 | 19 |
GK UNSW Sydney | 23 | 2.7K | 18 |
MB University of Nebraska–Lincoln | 17 | 2.2K | 17 |
DB University of Passau | 21 | 1.9K | 17 |
AR Max Planck Institute for Informatics | 18 | 1.4K | 17 |
TA University of California, Berkeley | 16 | 3.3K | 15 |
RM Max Planck Institute for Software Systems | 17 | 3.8K | 15 |
JR SRI International | 15 | 1.3K | 15 |
GP University of Verona | 20 | 483 | 15 |
DK University of Oxford | 19 | 1.1K | 15 |
CS Ames Research Center | 17 | 2K | 14 |
Page 1
Page 1