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
›
Automated Reasoning Series
›
citing-institutions
Automated Reasoning Series
0.5
(top 50%)
impact factor
20
(top 100%)
papers
297
(top 50%)
citations
8
(top 50%)
h
-index
0.5
(top 50%)
extended IF
25
all documents
330
doc citations
16
(top 50%)
g
-index
Top Institutions (by citations)
#
Institutions
Citations
1
University of Kaiserslautern
10
2
University of Texas at Austin
7
3
University of Edinburgh
6
4
University of Iowa
6
5
Stanford University
5
6
University of Waterloo
5
7
University of Verona
5
8
Southwest Jiaotong University
5
9
Chinese University of Hong Kong
5
10
University of California
4
11
Northwestern University
4
12
Technische Universität Darmstadt
4
13
Norwegian University of Science and Technology
4
14
SRI International
4
15
York University
4
16
Aarhus University
4
17
University of Greenwich
4
18
National Taiwan University
3
19
University of Cambridge
3
20
University of Warsaw
3
21
University of Copenhagen
3
site/software ©
exaly
; All materials licenced under
CC by-SA
.