Journal of Automated Reasoning
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-2024
Top-3 citing journals
Lecture Notes in Computer Science
(7511 citations)
Journal of Automated Reasoning
(1328 citations)
Electronic Proceedings in Theoretical Computer Science, EPTCS
(407 citations)
Top-3 organizations
Argonne National Laboratory
(73 publications)
Technical University of Munich
(51 publications)
University of Cambridge
(34 publications)
Max Planck Institute for Informatics
(10 publications)
Vrije Universiteit Amsterdam
(10 publications)
University of Lorraine
(9 publications)
Most cited in 5 years
Found
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
40
|
|
Germany
|
Germany, 38, 18.91%
Germany
38 publications, 18.91%
|
USA
|
USA, 36, 17.91%
USA
36 publications, 17.91%
|
France
|
France, 31, 15.42%
France
31 publications, 15.42%
|
United Kingdom
|
United Kingdom, 27, 13.43%
United Kingdom
27 publications, 13.43%
|
Italy
|
Italy, 20, 9.95%
Italy
20 publications, 9.95%
|
Netherlands
|
Netherlands, 14, 6.97%
Netherlands
14 publications, 6.97%
|
Austria
|
Austria, 13, 6.47%
Austria
13 publications, 6.47%
|
Australia
|
Australia, 8, 3.98%
Australia
8 publications, 3.98%
|
Brazil
|
Brazil, 8, 3.98%
Brazil
8 publications, 3.98%
|
China
|
China, 7, 3.48%
China
7 publications, 3.48%
|
Czech Republic
|
Czech Republic, 7, 3.48%
Czech Republic
7 publications, 3.48%
|
Spain
|
Spain, 6, 2.99%
Spain
6 publications, 2.99%
|
Argentina
|
Argentina, 5, 2.49%
Argentina
5 publications, 2.49%
|
Denmark
|
Denmark, 4, 1.99%
Denmark
4 publications, 1.99%
|
Israel
|
Israel, 4, 1.99%
Israel
4 publications, 1.99%
|
Switzerland
|
Switzerland, 4, 1.99%
Switzerland
4 publications, 1.99%
|
Japan
|
Japan, 4, 1.99%
Japan
4 publications, 1.99%
|
Belgium
|
Belgium, 3, 1.49%
Belgium
3 publications, 1.49%
|
Portugal
|
Portugal, 2, 1%
Portugal
2 publications, 1%
|
India
|
India, 2, 1%
India
2 publications, 1%
|
Poland
|
Poland, 2, 1%
Poland
2 publications, 1%
|
Serbia
|
Serbia, 2, 1%
Serbia
2 publications, 1%
|
Uruguay
|
Uruguay, 2, 1%
Uruguay
2 publications, 1%
|
Sweden
|
Sweden, 2, 1%
Sweden
2 publications, 1%
|
Canada
|
Canada, 1, 0.5%
Canada
1 publication, 0.5%
|
Lithuania
|
Lithuania, 1, 0.5%
Lithuania
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%
|
Singapore
|
Singapore, 1, 0.5%
Singapore
1 publication, 0.5%
|
Slovenia
|
Slovenia, 1, 0.5%
Slovenia
1 publication, 0.5%
|
5
10
15
20
25
30
35
40
|
2 profile journal articles
OMODEO Eugenio
61 publications,
489 citations
h-index: 11