Journal of Automated Reasoning

  in Journal   Posted on November 4, 2020

Journal Ranking & Metrics

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

Journal Information

ISSN : 0168-7433
Publisher :
Periodicity : Bimonthly
Editors-in-Chief : Tobias Nipkow
Journal & Submission Website : https://www.springer.com/journal/10817

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 https://www.springer.com/journal/10817 .