Journal of Automated Reasoning
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
Top-3 citing journals

Lecture Notes in Computer Science
(7533 citations)

Journal of Automated Reasoning
(1340 citations)
Electronic Proceedings in Theoretical Computer Science, EPTCS
(409 citations)
Top-3 organizations

National Institute for Research in Digital Science and Technology
(86 publications)

Argonne National Laboratory
(73 publications)

Technical University of Munich
(51 publications)

National Institute for Research in Digital Science and Technology
(12 publications)

Vrije Universiteit Amsterdam
(10 publications)

University of Lorraine
(9 publications)
Most cited in 5 years
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-100
Citing journals
Citing publishers
Publishing organizations
Publishing organizations in 5 years
Publishing countries
Publishing countries in 5 years
5
10
15
20
25
30
35
|
|
Germany
|
Germany, 34, 18.99%
Germany
34 publications, 18.99%
|
USA
|
USA, 32, 17.88%
USA
32 publications, 17.88%
|
France
|
France, 26, 14.53%
France
26 publications, 14.53%
|
United Kingdom
|
United Kingdom, 25, 13.97%
United Kingdom
25 publications, 13.97%
|
Italy
|
Italy, 19, 10.61%
Italy
19 publications, 10.61%
|
Netherlands
|
Netherlands, 13, 7.26%
Netherlands
13 publications, 7.26%
|
Austria
|
Austria, 12, 6.7%
Austria
12 publications, 6.7%
|
Brazil
|
Brazil, 8, 4.47%
Brazil
8 publications, 4.47%
|
Australia
|
Australia, 7, 3.91%
Australia
7 publications, 3.91%
|
Czech Republic
|
Czech Republic, 7, 3.91%
Czech Republic
7 publications, 3.91%
|
China
|
China, 6, 3.35%
China
6 publications, 3.35%
|
Argentina
|
Argentina, 5, 2.79%
Argentina
5 publications, 2.79%
|
Denmark
|
Denmark, 4, 2.23%
Denmark
4 publications, 2.23%
|
Israel
|
Israel, 4, 2.23%
Israel
4 publications, 2.23%
|
Spain
|
Spain, 4, 2.23%
Spain
4 publications, 2.23%
|
Switzerland
|
Switzerland, 4, 2.23%
Switzerland
4 publications, 2.23%
|
Belgium
|
Belgium, 3, 1.68%
Belgium
3 publications, 1.68%
|
Japan
|
Japan, 3, 1.68%
Japan
3 publications, 1.68%
|
Portugal
|
Portugal, 2, 1.12%
Portugal
2 publications, 1.12%
|
Poland
|
Poland, 2, 1.12%
Poland
2 publications, 1.12%
|
Sweden
|
Sweden, 2, 1.12%
Sweden
2 publications, 1.12%
|
India
|
India, 1, 0.56%
India
1 publication, 0.56%
|
Canada
|
Canada, 1, 0.56%
Canada
1 publication, 0.56%
|
Luxembourg
|
Luxembourg, 1, 0.56%
Luxembourg
1 publication, 0.56%
|
New Zealand
|
New Zealand, 1, 0.56%
New Zealand
1 publication, 0.56%
|
Serbia
|
Serbia, 1, 0.56%
Serbia
1 publication, 0.56%
|
Singapore
|
Singapore, 1, 0.56%
Singapore
1 publication, 0.56%
|
Slovenia
|
Slovenia, 1, 0.56%
Slovenia
1 publication, 0.56%
|
Uruguay
|
Uruguay, 1, 0.56%
Uruguay
1 publication, 0.56%
|
5
10
15
20
25
30
35
|
2 profile journal articles
OMODEO Eugenio

University of Trieste
61 publications,
489 citations
h-index: 11
2 profile journal articles
Villaret Mateu

University of Girona
68 publications,
342 citations
h-index: 9
1 profile journal article
Kovacs Zoltan

University of Szeged
61 publications,
323 citations
h-index: 9