Formal Methods in System Design

0.9(top 50%)

impact factor

677(top 50%)

papers

14.9K(top 20%)

citations

58(top 10%)

h-index

1.0(top 50%)

extended IF

768

all documents

16.4K

doc citations

98(top 10%)

g-index

Top Schools (by citations)

#	Schools	Citations
1	Department of Computer Science	104
2	School of Computer Science	71
3	Department of Electrical and Computer Engineering	54
4	Department of Computer Science	52
5	Department of Computer Science	52
6	Department of Computer Science	46
7	Department of Computer Science	45
8	Department of Computer Science	43
9	Department of Computer Science	41
10	School of Computer Science	35
11	Department of Computer Science	33
12	Department of Computer Science	30
13	Department of Electrical Engineering and Computer Science	28
14	Computer Science Laboratory	27
15	Department of Computer Science and Technology	25
16	College of Computer Science and Technology	23
17	Department of Computer Science	23
18	Institute of Computer Science	23
19	Department of Computer Science	23
20	Department of Computer Science	21
21	Department of Computer Science	21