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.8
SJR
0.616
CiteScore
3.1
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
(7804 citations)
Journal of Automated Reasoning
(1374 citations)
Electronic Proceedings in Theoretical Computer Science, EPTCS
(436 citations)
Top-3 organizations
National Institute for Research in Digital Science and Technology
(89 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
(9 publications)
Stanford University
(8 publications)
Top-3 countries
Top-3 researchers by articles count
2 publications in journal
OMODEO Eugenio
64 publications,
492 citations
h-index: 11
University of Trieste
2 publications in journal
Villaret Mateu
68 publications,
370 citations,
4 reviews
h-index: 10
University of Girona
1 publication in journal
Kovacs Zoltan
62 publications,
339 citations
h-index: 9
University of Szeged
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
|
|
|
USA
|
USA, 27, 13.57%
USA
27 publications, 13.57%
|
|
Germany
|
Germany, 26, 13.07%
Germany
26 publications, 13.07%
|
|
United Kingdom
|
United Kingdom, 21, 10.55%
United Kingdom
21 publications, 10.55%
|
|
France
|
France, 19, 9.55%
France
19 publications, 9.55%
|
|
Italy
|
Italy, 15, 7.54%
Italy
15 publications, 7.54%
|
|
Netherlands
|
Netherlands, 10, 5.03%
Netherlands
10 publications, 5.03%
|
|
Brazil
|
Brazil, 7, 3.52%
Brazil
7 publications, 3.52%
|
|
China
|
China, 6, 3.02%
China
6 publications, 3.02%
|
|
Austria
|
Austria, 6, 3.02%
Austria
6 publications, 3.02%
|
|
Argentina
|
Argentina, 4, 2.01%
Argentina
4 publications, 2.01%
|
|
Israel
|
Israel, 4, 2.01%
Israel
4 publications, 2.01%
|
|
Czech Republic
|
Czech Republic, 4, 2.01%
Czech Republic
4 publications, 2.01%
|
|
Australia
|
Australia, 3, 1.51%
Australia
3 publications, 1.51%
|
|
Belgium
|
Belgium, 3, 1.51%
Belgium
3 publications, 1.51%
|
|
Denmark
|
Denmark, 3, 1.51%
Denmark
3 publications, 1.51%
|
|
Spain
|
Spain, 3, 1.51%
Spain
3 publications, 1.51%
|
|
Portugal
|
Portugal, 2, 1.01%
Portugal
2 publications, 1.01%
|
|
Poland
|
Poland, 2, 1.01%
Poland
2 publications, 1.01%
|
|
Japan
|
Japan, 2, 1.01%
Japan
2 publications, 1.01%
|
|
India
|
India, 1, 0.5%
India
1 publication, 0.5%
|
|
Canada
|
Canada, 1, 0.5%
Canada
1 publication, 0.5%
|
|
Luxembourg
|
Luxembourg, 1, 0.5%
Luxembourg
1 publication, 0.5%
|
|
New Zealand
|
New Zealand, 1, 0.5%
New Zealand
1 publication, 0.5%
|
|
Serbia
|
Serbia, 1, 0.5%
Serbia
1 publication, 0.5%
|
|
Slovenia
|
Slovenia, 1, 0.5%
Slovenia
1 publication, 0.5%
|
|
Uruguay
|
Uruguay, 1, 0.5%
Uruguay
1 publication, 0.5%
|
|
Switzerland
|
Switzerland, 1, 0.5%
Switzerland
1 publication, 0.5%
|
|
Sweden
|
Sweden, 1, 0.5%
Sweden
1 publication, 0.5%
|
|
5
10
15
20
25
30
|
2 publications in journal
OMODEO Eugenio
64 publications,
492 citations
h-index: 11
University of Trieste
2 publications in journal
Villaret Mateu
68 publications,
370 citations,
4 reviews
h-index: 10
University of Girona
1 publication in journal
Kovacs Zoltan
62 publications,
339 citations
h-index: 9
University of Szeged