Scholarly Index

Formal Methods in Verification

Lifetime World Top1000 Scholar ranking for Formal Methods in Verification.

World rank	Scholar	Impact score	Total citations	Total publications
1	Alberto Sangiovanni‐Vincentelli	99.91	41,871	1,001
2	Thomas A. Henzinger	99.90	27,972	341
3	Moshe Y. Vardi	99.89	25,743	551
4	George J. Pappas	99.86	31,246	549
5	Rajeev Alur	99.84	25,110	223
6	W.M. Wonham	99.82	27,740	245
7	Robert K. Brayton	99.81	19,215	439
8	Zhiwu Li	99.74	23,052	836
9	Amir Pnueli	99.73	19,396	186
10	David Harel	99.72	22,428	308
11	Stéphane Lafortune	99.68	13,454	334
12	Edward A. Lee	99.66	28,046	422
13	MengChu Zhou	99.65	65,278	1,506
14	Leslie Lamport	99.63	42,018	196
15	Feng Lin	99.62	9,774	430
16	David L. Dill	99.60	22,127	207
17	Sharad Malik	99.58	18,822	331
18	Matthias Althoff	99.54	10,731	362
19	Alessandro Giua	99.54	9,512	431
20	Călin Belta	99.54	9,829	285
21	Marta Kwiatkowska	99.53	8,858	277
22	Rupak Majumdar	99.51	10,701	254
23	Kim G. Larsen	99.49	10,981	454
24	Thomas Reps	99.47	15,486	255
25	Philip Wadler	99.47	14,497	165
26	Zohar Manna	99.46	7,812	131
27	Sumit Gulwani	99.45	10,635	235
28	Bruce H. Krogh	99.44	11,264	254
29	Srinivas Devadas	99.44	31,060	410
30	John Lygeros	99.43	19,568	625
31	Sanjit A. Seshia	99.43	11,178	239
32	Mihalis Yannakakis	99.42	27,347	232
33	Ratnesh Kumar	99.42	7,701	367
34	José Meseguer	99.41	13,722	259
35	Matthias Felleisen	99.39	10,770	248
36	Krishnendu Chatterjee	99.38	8,364	297
37	Alex Aiken	99.37	17,694	294
38	Rolf Drechsler	99.36	14,178	1,062
39	Paulo Tabuada	99.32	19,209	221
40	Patrice Godefroid	99.32	13,517	93
41	Frank Pfenning	99.32	7,595	215
42	Randal E. Bryant	99.32	10,156	185
43	Grigore Roşu	99.31	7,661	230
44	Benjamin C. Pierce	99.30	10,405	248
45	Insup Lee	99.29	11,868	591
46	Joost-Pieter Katoen	99.26	7,054	301
47	Richard M. Murray	99.26	67,070	658
48	E. Allen Emerson	99.26	12,825	92
49	Naoki Kobayashi	99.25	6,699	327
50	Luca Cardelli	99.24	14,387	181