About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
Formal Methods in System Design
›
top-institutions
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 Institutions (by citations)
#
Institution
Articles
Citations
R ARank
R CRank
1
Carnegie Mellon University
31
1,497
302
384
2
Stanford University
22
978
1.5K
1.5K
3
ETH Zürich
9
606
1.5K
975
4
OFFIS
3
573
2
1
5
University of California, Berkeley
10
566
1.0K
945
6
Technical University of Munich
15
442
1.1K
1.2K
6
National Center for Scientific Research
32
442
1.7K
2.4K
8
Ames Research Center
7
432
258
191
9
University of California
21
431
5.4K
5.8K
10
University of Texas at Austin
17
424
2.1K
2.5K
11
University of Illinois at Urbana–Champaign
6
348
2.4K
1.5K
12
University of Birmingham
5
329
3.3K
1.7K
13
Institut National de Recherche en Informatique et en Automatique
12
327
97
148
14
University of Colorado
6
317
2.2K
1.6K
15
Technion – Israel Institute of Technology
15
287
558
883
16
University of Oxford
20
274
1.7K
3.1K
17
University of Pennsylvania
12
270
2.6K
3.0K
18
University of British Columbia
2
242
7.9K
3.5K
19
Rice University
17
236
352
918
20
University of Turin
3
233
3.3K
1.5K
21
Siemens
2
229
434
147
22
University of Malta
6
211
128
97
23
University of Glasgow
4
205
3.2K
2.0K
24
SRI International
7
194
217
337
25
University of Augsburg
1
191
947
163
26
Microsoft Research
12
190
106
276
27
University of Waterloo
12
189
1.2K
1.9K
28
University of Manchester
5
177
4.1K
3.2K
29
New York University
10
175
1.3K
2.0K
30
IBM
6
173
225
240
31
Software Engineering Institute
4
170
30
24
32
Pohang University of Science and Technology
1
169
1.4K
504
33
Uppsala University
10
168
1.8K
2.5K
34
Université libre de Bruxelles
5
166
1.5K
1.4K
35
Chalmers University of Technology
5
162
1.2K
1.1K
36
University of Toronto
5
155
6.3K
5.1K
37
Research Institute for Advanced Computer Science
2
154
4
6
38
RWTH Aachen University
5
152
1.9K
1.6K
39
LIAFA
4
151
21
13
40
Aalborg University
9
150
503
847
41
North Carolina State University
2
142
4.3K
2.4K
42
California Institute of Technology
6
135
1.3K
1.7K
43
École normale supérieure Paris-Saclay
13
133
51
207
43
University of Wisconsin–Madison
5
133
5.2K
4.7K
45
Saarland University
6
132
888
1.1K
46
TU Wien
10
126
144
297
46
Newcastle University
4
126
2.7K
2.3K
48
Imperial College London
3
121
4.8K
3.8K
49
University of Twente
5
119
1.1K
1.3K
50
Graz University of Technology
8
118
475
707
50
University of Crete
3
118
1.1K
848
52
Masaryk University
2
116
1.6K
722
53
Institut de recherche en informatique et systèmes aléatoires
3
112
93
79
53
University of Iowa
6
112
2.6K
3.1K
55
Osaka University
1
102
5.3K
2.4K
56
Aarhus University
3
101
3.6K
2.9K
57
University of Kent
5
100
914
1.1K
58
University of Pisa
5
98
2.3K
2.5K
59
University of Liège
4
97
1.8K
2.0K
60
Grenoble Institute of Technology
3
96
352
306
61
National Taiwan University
1
95
5.4K
2.7K
61
Austrian Institute of Technology
3
95
95
148
61
University of Massachusetts
1
95
5.6K
2.8K
64
Hewlett-Packard
2
91
136
117
65
University of Gothenburg
3
87
3.3K
3.0K
66
Kyoto Sangyo University
1
86
384
130
67
Technical University of Denmark
6
84
1.4K
2.1K
68
Intel
11
83
132
365
68
École Normale Supérieure
2
83
1.0K
851
70
Paris Diderot University
4
81
946
1.2K
71
Iowa State University
2
80
4.0K
2.9K
72
Università della Svizzera italiana
6
79
72
210
73
Polytechnic University of Turin
6
76
923
1.2K
73
University of Bremen
2
76
1.7K
1.3K
75
IBM Israel
6
75
4
14
76
Laboratoire ICT
2
74
21
30
77
Hebrew University of Jerusalem
3
72
3.0K
2.8K
77
IBM Research
2
72
557
529
79
Joseph Fourier University
3
71
522
885
80
University of Oslo
3
70
3.8K
3.6K
81
Kansas State University
2
69
2.5K
1.9K
82
University of Genoa
3
65
2.5K
2.3K
82
Brno University of Technology
5
65
360
462
84
Radboud University Nijmegen
2
64
3.1K
2.8K
85
Tokyo Institute of Technology
1
62
3.5K
2.0K
86
University of Luxembourg
1
56
1.2K
710
86
University of London
5
56
3.4K
4.7K
86
University of Paris
1
56
717
386
86
University of Lisbon
1
56
4.7K
2.4K
86
NOVA University Lisbon
1
56
2.6K
1.5K
86
University of Hawaii at Manoa
1
56
2.3K
1.5K
92
TU Dresden
3
55
2.2K
2.5K
93
University of Salerno
3
54
1.3K
1.5K
94
University of Utah
6
53
2.7K
4.4K
94
University of Mons-Hainaut
1
53
276
226
96
University of Insubria
1
52
1.4K
1.0K
97
Queen Mary University of London
3
50
1.3K
1.7K
97
National Chengchi University
1
50
673
343
97
University of California, Santa Barbara
1
50
2.3K
1.7K
100
University of Freiburg
5
49
1.5K
2.7K
101
Eindhoven University of Technology
4
48
1.3K
1.9K
101
Stony Brook University
5
48
1.7K
3.0K
101
Sorbonne Universités
3
48
601
1.0K
104
Synopsys
4
46
23
28
105
Karlsruhe Institute of Technology
4
45
1.8K
2.5K
105
University of Queensland
2
45
6.8K
6.1K
107
Virginia Tech
3
44
3.5K
4.1K
107
HP Labs
1
44
100
102
109
National University of Singapore
3
42
4.9K
5.4K
110
Purdue University
4
41
4.0K
5.2K
111
Infineon Technologies
1
39
199
126
111
University of Colorado Boulder
4
39
1.3K
2.5K
111
Reykjavík University
1
39
289
227
114
Tampere University of Technology
2
38
825
992
114
Grenoble University - Grenoble Alpes University
2
38
791
846
116
Concordia University
5
37
1.1K
2.3K
117
Bar-Ilan University
3
35
1.6K
2.2K
117
Air Force Research Laboratory
1
35
182
150
117
Wright-Patterson Air Force Base
1
35
658
522
120
University of Leeds
1
34
6.9K
5.2K
120
STMicroelectronics
2
34
114
125
120
University of Trier
2
34
515
686
120
Max Planck Institute for Software Systems
3
34
6
12
120
University of York
3
34
2.3K
3.2K
120
University of Parma
1
34
2.9K
2.3K
126
University of Kiel
1
32
2.1K
2.0K
127
Princeton University
4
31
2.3K
3.6K
128
IT University of Copenhagen
3
30
52
138
128
École polytechnique fédérale de Lausanne
3
30
1.4K
2.2K
130
Pennsylvania State University
1
29
9.3K
7.3K
131
University of Cambridge
2
28
7.1K
7.2K
131
Massachusetts Institute of Technology
3
28
3.5K
5.0K
133
Worcester Polytechnic Institute
1
27
1.3K
1.1K
134
University of Maryland
2
26
6.9K
7.3K
135
École polytechnique
2
25
1.2K
1.6K
135
Technische Universität Darmstadt
2
25
1.7K
2.2K
135
IBM Austin Research Laboratory
2
25
15
26
135
University of California, Riverside
1
25
1.7K
1.8K
139
Johannes Kepler University Linz
3
24
717
1.4K
140
Weizmann Institute of Science
1
23
2.0K
2.1K
140
Complutense University of Madrid
3
23
3.4K
4.3K
140
Rutgers University
1
23
7.5K
6.3K
140
University of Oldenburg
2
23
676
1.1K
140
University of Magdeburg
1
23
741
901
140
Ben-Gurion University of the Negev
1
23
4.7K
4.1K
146
Humboldt University of Berlin
1
22
4.7K
4.1K
146
University of Cincinnati
2
22
3.8K
4.6K
146
State University of New York
1
22
6.7K
5.8K
146
Northeastern University
2
22
3.6K
4.4K
150
University of Bordeaux
1
21
2.6K
2.4K
150
University of Milan
1
21
5.9K
5.3K
152
Columbia University
3
20
5.7K
7.8K
152
Rockwell International
1
20
256
206
154
West Virginia University
1
19
4.3K
3.9K
154
Kyungpook National University
1
19
3.2K
2.9K
154
Budapest University of Technology and Economics
1
19
1.7K
1.5K
154
De Montfort University
1
19
1.6K
1.5K
154
ComUE Paris-Saclay University
3
19
1.6K
2.4K
159
Google
1
18
241
325
159
University of Southern California
1
18
7.9K
7.3K
159
McMaster University
1
18
6.7K
6.2K
159
Blue Coat Systems
1
18
1
2
159
Toyota Motor North America
1
18
29
46
164
University of Washington
3
17
6.9K
9.3K
164
University of Szeged
1
17
2.3K
2.2K
166
Ludwig Maximilian University of Munich
1
16
5.7K
5.5K
166
Aalto University
1
16
2.0K
2.2K
168
Université de Montréal
1
15
6.2K
6.1K
168
State University of New York at Albany
1
15
958
1.2K
168
Indian Institute of Technology Bombay
5
15
735
1.9K
171
Microsoft
2
14
141
362
171
University of Bordeaux 1
1
14
178
318
171
University of South Australia
1
14
3.1K
3.5K
171
Boston University
1
14
5.6K
5.6K
171
University of Edinburgh
1
14
7.8K
7.3K
171
University of Vienna
1
14
5.6K
5.4K
171
University of Trento
3
14
1.2K
2.7K
178
Boston College
1
13
2.3K
2.5K
178
University of Auckland
2
13
4.6K
6.4K
178
Linköping University
1
13
4.0K
4.4K
178
Japan Advanced Institute of Science and Technology
2
13
363
654
178
United States Naval Research Laboratory
2
13
792
1.3K
178
University of Udine
1
13
2.0K
2.4K
178
Sabancı University
1
13
782
992
185
Utrecht University
1
12
6.2K
6.6K
185
University of Florida
1
12
9.6K
9.3K
185
Nanjing University
1
12
3.7K
3.9K
185
Digital Equipment Corporation
1
12
122
147
185
Office National d'Études et de Recherches Aérospatiales
2
12
286
491
185
NEC Corporation of America
1
12
97
155
191
Cornell University
3
11
4.8K
8.0K
191
University of Perpignan
1
11
253
388
191
American University of Beirut
2
11
1.6K
3.0K
191
Royal Institute of Technology
1
11
3.1K
3.6K
191
University of Sussex
1
11
3.6K
4.0K
191
Federal University of Pernambuco
1
11
3.2K
2.7K
191
Universidade Federal de Sergipe
1
11
1.4K
1.1K
191
Royal Holloway, University of London
2
11
1.1K
2.1K
191
Academia Sinica
1
11
3.5K
3.7K
200
University of Tübingen
2
10
3.4K
5.2K
201
Guilin University of Electronic Technology
1
9
729
768
201
Hong Kong Baptist University
1
9
1.9K
2.5K
201
University of Warwick
2
9
3.8K
5.8K
204
Leipzig University
1
8
3.9K
4.6K
204
University of Padua
4
8
3.6K
7.3K
204
University of Hawaii
1
8
3.0K
3.9K
204
Northwestern University
1
8
7.0K
7.8K
204
University of Kaiserslautern
1
8
1.1K
1.6K
204
Nanyang Technological University
1
8
4.8K
5.5K
204
University of Rennes 1
1
8
1.8K
2.5K
204
Ulm University
1
8
2.0K
2.7K
204
University of Essex
1
8
2.4K
3.0K
204
Lingnan University
1
8
525
715
204
University of Brighton
1
8
1.3K
1.9K
204
Singapore University of Technology and Design
1
8
525
765
204
Sorbonne Paris Cité University (group)
1
8
1.4K
2.0K
217
Johns Hopkins University
1
7
7.4K
8.2K
217
University of Minnesota
1
7
10.0K
10.6K
217
Czech Academy of Sciences
1
7
3.4K
3.9K
217
University of Naples Federico II
1
7
4.9K
5.9K
217
Technical University of Braunschweig
1
7
2.0K
2.6K
217
University of Manitoba
1
7
5.6K
6.5K
217
East China Normal University
1
7
2.5K
3.0K
217
Homi Bhabha National Institute
1
7
670
771
217
Teesside University
1
7
820
1.3K
217
Dakota State University
1
7
211
363
217
University of Chinese Academy of Sciences
1
7
3.2K
3.6K
217
University of California, Santa Cruz
1
7
1.1K
1.7K
217
Université de Nantes
2
7
954
2.2K
217
Technische Universität Wien
1
7
832
1.0K
231
King's College London
3
6
3.5K
6.8K
231
Institut de Recherche en Informatique Fondamentale
2
6
16
40
231
University of Newcastle
1
6
5.0K
6.4K
234
Norwegian University of Science and Technology
1
5
4.5K
5.9K
234
Langley Research Center
1
5
570
831
234
University of New South Wales
1
5
8.2K
9.5K
234
University of Sheffield
1
5
6.6K
8.0K
234
ENSTA Paris
1
5
226
359
234
Bilkent University
1
5
1.2K
1.8K
234
Victoria University of Wellington
1
5
2.7K
3.6K
234
Indian Institute of Technology Kanpur
1
5
1.4K
1.8K
242
Hamburg University of Technology
1
4
828
1.3K
242
Nanjing University of Aeronautics and Astronautics
1
4
1.8K
2.1K
242
German Aerospace Center
1
4
544
925
242
Duke University
1
4
6.1K
7.7K
242
University College London
3
4
5.4K
9.9K
242
Michigan State University
1
4
8.0K
9.6K
242
Wayne State University
1
4
5.2K
6.6K
242
University of Delaware
1
4
4.2K
5.6K
242
Clermont Auvergne University
1
4
929
1.6K
242
University of Leicester
1
4
4.4K
5.9K
242
Nanjing Audit University
1
4
286
420
242
University of California, San Diego
1
4
5.5K
7.1K
254
Hanyang University
1
3
3.5K
4.7K
254
University of Warsaw
1
3
3.3K
4.1K
254
University of Buenos Aires
1
3
4.5K
5.3K
254
University of Amsterdam
1
3
6.8K
8.6K
254
Tel Aviv University
2
3
5.4K
8.6K
254
Université catholique de Louvain
1
3
4.5K
6.2K
254
University of Liverpool
2
3
4.6K
8.0K
254
University of Haifa
1
3
3.0K
4.3K
254
PSL University
1
3
1.3K
2.2K
254
Forschungszentrum Informatik
1
3
14
31
254
Helsinki University of Technology
1
3
1.2K
1.9K
254
Universidad Argentina de la Empresa
1
3
16
49
266
University of Aberdeen
1
2
4.4K
6.3K
266
École Centrale de Nantes
1
2
295
564
266
University of Toulouse
1
2
2.8K
4.3K
266
Indian Institutes of Technology
2
2
3.5K
6.0K
266
University at Buffalo
1
2
5.8K
7.8K
266
University of Tehran
1
2
4.5K
6.1K
266
Baylor University
1
2
2.0K
3.3K
266
University of Groningen
1
2
5.9K
7.9K
266
Florida State University
1
2
4.6K
6.3K
266
Georgia Institute of Technology
1
2
4.5K
6.3K
266
University of Castile-La Mancha
1
2
1.3K
2.1K
266
Vrije Universiteit Amsterdam
1
2
4.8K
6.8K
266
Ghent University
1
2
6.5K
8.7K
266
Paris Dauphine University
1
2
456
881
266
Maynooth University
1
2
838
1.7K
266
Instituto de Desarrollo Tecnológico para la Industria Química
1
2
104
239
282
University of Tokyo
1
1
8.5K
10.6K
282
University of Helsinki
1
1
6.6K
9.1K
282
KAIST
1
1
2.5K
3.7K
282
Rutherford Appleton Laboratory
1
1
515
837
282
University of Mannheim
1
1
1.1K
1.9K
282
University of Sydney
1
1
9.3K
12.1K
282
Chinese Academy of Sciences
1
1
7.5K
9.0K
282
University of Missouri
1
1
6.7K
9.2K
282
TU Dortmund
1
1
928
1.9K
282
Kyushu University
1
1
5.6K
7.4K
282
Portland State University
1
1
2.0K
3.5K
282
Manchester Metropolitan University
1
1
2.2K
3.8K
282
Université de Sherbrooke
1
1
2.8K
4.7K
282
Sorbonne University
1
1
2.3K
3.5K
282
Université Sorbonne Paris Nord
1
1
162
466
282
UCB
1
1
106
307
282
Korea University
1
1
4.3K
6.0K
282
Carl Von Ossietzky Universität Oldenburg
1
1
292
682
282
Trinity College
1
1
2.7K
4.6K
301
Charles University
1
0
4.6K
6.9K
301
Yale University
1
0
6.6K
9.5K
301
University of Waikato
1
0
1.8K
3.5K
301
Macquarie University
2
0
3.0K
6.9K
301
Ball State University
1
0
1.4K
2.6K
301
University of Illinois at Chicago
1
0
5.8K
8.7K
301
Istituto Nazionale di Fisica Nucleare
1
0
635
1.1K
301
Wright State University
1
0
1.9K
3.7K
301
Istituto di Scienza e Tecnologie dell'Informazione
2
0
51
241
301
University of Lorraine
1
0
2.2K
3.8K
301
The Aerospace Corporation
1
0
375
633
301
University of Tennessee
1
0
6.2K
9.1K
site/software ©
exaly
; All materials licenced under
CC by-SA
.