Journal of Automated Reasoning

Springer Nature
Springer Nature
ISSN: 01687433, 15730670

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
SCImago
Q2
WOS
Q4
Impact factor
0.9
SJR
0.873
CiteScore
3.6
Categories
Artificial Intelligence
Computational Theory and Mathematics
Software
Areas
Computer Science
Years of issue
1985-2025
journal names
Journal of Automated Reasoning
J AUTOM REASONING
Publications
1 363
Citations
21 497
h-index
65
Top-3 organizations
Argonne National Laboratory
Argonne National Laboratory (73 publications)
Technical University of Munich
Technical University of Munich (51 publications)
University of Cambridge
University of Cambridge (34 publications)
Top-3 countries
USA (449 publications)
Germany (242 publications)
France (181 publications)

Most cited in 5 years

from 3 chars
Publications found: 0

Top-100

Citing journals

1000
2000
3000
4000
5000
6000
7000
8000
Show all (70 more)
1000
2000
3000
4000
5000
6000
7000
8000

Citing publishers

2000
4000
6000
8000
10000
12000
Show all (70 more)
2000
4000
6000
8000
10000
12000

Publishing organizations

10
20
30
40
50
60
70
80
Show all (70 more)
10
20
30
40
50
60
70
80

Publishing organizations in 5 years

2
4
6
8
10
Show all (70 more)
2
4
6
8
10

Publishing countries

50
100
150
200
250
300
350
400
450
USA, 449, 32.94%
Germany, 242, 17.75%
France, 181, 13.28%
United Kingdom, 181, 13.28%
Italy, 105, 7.7%
Australia, 60, 4.4%
Austria, 54, 3.96%
Netherlands, 48, 3.52%
Canada, 46, 3.37%
China, 44, 3.23%
Spain, 44, 3.23%
Sweden, 28, 2.05%
Poland, 21, 1.54%
Japan, 21, 1.54%
Switzerland, 18, 1.32%
Portugal, 16, 1.17%
Denmark, 16, 1.17%
Brazil, 13, 0.95%
Israel, 13, 0.95%
Czech Republic, 12, 0.88%
India, 11, 0.81%
Argentina, 8, 0.59%
Serbia, 8, 0.59%
Belgium, 7, 0.51%
Romania, 4, 0.29%
Mexico, 3, 0.22%
Norway, 3, 0.22%
Singapore, 3, 0.22%
Uruguay, 3, 0.22%
Finland, 3, 0.22%
Hungary, 2, 0.15%
Vietnam, 2, 0.15%
Ireland, 2, 0.15%
Lithuania, 2, 0.15%
Luxembourg, 2, 0.15%
Morocco, 2, 0.15%
New Zealand, 2, 0.15%
Pakistan, 2, 0.15%
Republic of Korea, 2, 0.15%
Russia, 1, 0.07%
Ukraine, 1, 0.07%
Estonia, 1, 0.07%
Algeria, 1, 0.07%
Greece, 1, 0.07%
Qatar, 1, 0.07%
Palestine, 1, 0.07%
Slovenia, 1, 0.07%
Thailand, 1, 0.07%
Turkey, 1, 0.07%
Jamaica, 1, 0.07%
Yugoslavia, 1, 0.07%
Show all (21 more)
50
100
150
200
250
300
350
400
450

Publishing countries in 5 years

5
10
15
20
25
30
35
40
Germany, 38, 22.22%
USA, 35, 20.47%
France, 30, 17.54%
United Kingdom, 27, 15.79%
Italy, 20, 11.7%
Netherlands, 14, 8.19%
Austria, 13, 7.6%
Brazil, 8, 4.68%
China, 7, 4.09%
Australia, 7, 4.09%
Czech Republic, 7, 4.09%
Argentina, 5, 2.92%
Spain, 5, 2.92%
Denmark, 4, 2.34%
Israel, 4, 2.34%
Switzerland, 4, 2.34%
Belgium, 3, 1.75%
Japan, 3, 1.75%
Portugal, 2, 1.17%
India, 2, 1.17%
Poland, 2, 1.17%
Serbia, 2, 1.17%
Uruguay, 2, 1.17%
Sweden, 2, 1.17%
Canada, 1, 0.58%
Lithuania, 1, 0.58%
Luxembourg, 1, 0.58%
New Zealand, 1, 0.58%
Singapore, 1, 0.58%
Slovenia, 1, 0.58%
5
10
15
20
25
30
35
40