Journal of Automated Reasoning

in Journal   Posted on August 27, 2017 

Journal Ranking & Metrics

Impact Score : 3.3
G2R H-Index : 11
JCR Impact Factor : 1.431
Scopus Citescore : 3.8
SCIMAGO H-index : 53
Guide2Research Overall Ranking : 304

Journal Information

ISSN : 0168-7433
Publisher :
Periodicity : Bimonthly
Editors-in-Chief : Tobias Nipkow
Journal & Submission Website :

Top Scientists who published in this Journal

Number of top scientists* : 20
Documents published by top scientists* : 27
* Based on data published during the last three years.

Aims & Scope of the Journal

Journal of Automated Reasoning publishes academic papers examining novel fundamental contributions in the areas of Computational Theory and Mathematics, General Computer Science and Machine Learning & Artificial intelligence. The publication process for Journal of Automated Reasoning is to publish novel original articles that have been appropriately reviewed by skilled academic peers. The journal welcomes submissions from the research community where emphasis will be placed on the innovativeness and the practical significance of the reported work.

Journal of Automated Reasoning is covered by various abstracting/indexing services including Scopus, Journal Citation Reports ( Clarivate ) and Guide2Research. A number of prominent researchers considered this journal to publish their scholarly documents including J├╝rgen Giesl, Sanjit A. Seshia, Lawrence Paulson and Bijan Parsia.

For additional information on the instructions and submission requirements for authors, you are advised to consult the journal website for Journal of Automated Reasoning at .