Scholarly Index

Formal Methods in Verification

2021-2025 World Top1000 Scholar ranking for Formal Methods in Verification.

World rank	Scholar	Impact score	Total citations	Total publications
1	Zhiwu Li	99.92	23,052	836
2	Aaron D. Ames	99.72	13,467	379
3	Matthias Althoff	99.49	10,731	362
4	Călin Belta	99.30	9,829	285
5	Dimos V. Dimarogonas	99.28	17,975	457
6	Xiang Yin	99.18	3,248	178
7	Shaoyuan Li	98.92	7,138	547
8	Majid Zamani	98.90	3,522	201
9	Ziyue Ma	98.82	1,110	83
10	Rolf Drechsler	98.37	14,178	1,062
11	Chuchu Fan	98.24	1,214	88
12	Dimitri Lefebvre	97.90	2,928	323
13	Alessandro Abate	97.80	4,619	218
14	Abolfazl Lavaei	97.72	626	79
15	Carla Seatzu	97.58	5,762	277
16	Kuize Zhang	97.54	1,430	86
17	Lars Birkedal	97.52	5,033	193
18	Lars Lindemann	97.24	3,614	134
19	Joost-Pieter Katoen	97.19	7,054	301
20	Nils Jansen	97.13	895	99
21	Sadegh Soudjani	97.10	1,509	112
22	Derya Aksaray	96.97	579	43
23	Giuseppe De Giacomo	96.95	13,258	326
24	Haitao Li	96.89	6,850	400
25	Cristian-Ioan Vasile	96.72	1,630	93
26	Ufuk Topcu	96.69	8,693	319
27	Naiqi Wu	96.68	10,912	377
28	Armin Biere	96.64	5,273	157
29	Nobuko Yoshida	96.49	7,866	225
30	Maurice H. ter Beek	96.42	1,656	131
31	Radu Călinescu	96.32	3,291	172
32	Tamás G. Molnár	96.16	1,294	84
33	Zhen Kan	96.15	3,064	140
34	Ali Tevfik Büyükkoçak	96.11	120	13
35	Jianquan Lu	96.00	19,660	445
36	Jun Liu	95.97	3,985	363
37	Zhipeng Zhang	95.97	2,321	172
38	Christoforos N. Hadjicostis	95.85	8,434	348
39	Paolo Arcaini	95.67	2,190	173
40	Robbert Krebbers	95.59	1,912	64
41	Samuel Coogan	95.51	1,575	138
42	Bernd Finkbeiner	95.22	1,625	103
43	Alessandro Giua	95.21	9,512	431
44	George J. Pappas	95.20	31,246	549
45	Angelo Ferrando	95.16	574	98
46	Wei Xiao	95.14	1,820	96
47	Hai Lin	95.04	8,728	735
48	Moshe Y. Vardi	94.99	25,743	551
49	Andrew W. Appel	94.94	7,492	170
50	Ezio Bartocci	94.84	2,054	106