Journal Of Automated Reasoning-影响因子0.9-首页

杂志简介中科院分区 JCR分区 CiteScore 发文统计通讯方式相关杂志期刊导航

Journal Of Automated Reasoning 杂志简介

《Journal Of Automated Reasoning》重点专注发布工程技术-计算机：人工智能领域的新研究，旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今，在工程技术-计算机：人工智能领域，有较高影响力，对来稿文章质量要求较高，稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。

Journal Of Automated Reasoning 杂志中科院分区

中科院SCI分区数据

中科院SCI期刊分区（2023年12月升级版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	3区	COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能	3区	否	否

中科院SCI期刊分区（2022年12月升级版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	2区	COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能	3区	否	否

中科院SCI期刊分区（2021年12月旧的升级版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	2区	COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能	3区	否	否

中科院SCI期刊分区（2021年12月基础版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
工程技术	4区	COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能	4区	否	否

中科院SCI期刊分区（2021年12月升级版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	2区	COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能	3区	否	否

中科院SCI期刊分区（2020年12月旧的升级版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	2区	COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能	3区	否	否

中科院分区趋势图

影响因子趋势图

中科院JCR分区：中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果，是衡量学术期刊影响力的一个重要指标，一般而言，发表在1区和2区的SCI论文，通常被认为是该学科领域的比较重要的成果。

影响因子：是汤森路透(Thomson Reuters)出品的期刊引证报告(Journal Citation Reports,JCR)中的一项数据，现已成为国际上通用的期刊评价指标，不仅是一种测度期刊有用性和显示度的指标，而且也是测度期刊的学术水平，乃至论文质量的重要指标。

Journal Of Automated Reasoning 杂志JCR分区

Web of Science 数据库（2023-2024年最新版）

按JIF指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE	SCIE	Q4	173 / 197	12.4%

按JCI指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE	SCIE	Q4	170 / 198	14.39%

Journal Of Automated Reasoning CiteScore 评价数据（2024年最新版）

CiteScore：3.6
SJR：0.873
SNIP：1.612

CiteScore 排名

学科类别	分区	排名	百分位
大类：Computer Science 小类：Computational Theory and Mathematics	Q2	67 / 176	62%
大类：Computer Science 小类：Artificial Intelligence	Q3	196 / 350	44%
大类：Computer Science 小类：Software	Q3	233 / 407	42%

CiteScore趋势图

年发文量趋势图

CiteScore：是由Elsevier2016年发布的一个评价学术期刊质量的指标，该指标是指期刊发表的单篇文章平均被引用次数。CiteScore和影响因子的作用是一样的，都是可以体现期刊质量的重要指标，给选刊的作者了解期刊水平提供帮助。

Journal Of Automated Reasoning 杂志发文统计

文章名称引用次数
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar13
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components6
Synthesis of Obfuscation Policies to Ensure Privacy and Utility5
Hammer for Coq: Automation for Dependent Type Theory4
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories3
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs3
System-Level Non-interference of Constant-Time Cryptography. Part I: Model3
Verified iptables Firewall Analysis and Verification2
Formalization of the Resolution Calculus for First-Order Logic2
Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits2
国家/地区发文量
GERMANY (FED REP GER)40
USA39
France38
England29
Austria18
Australia14
Italy13
Spain12
Netherlands10
Sweden7
机构发文发文量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)25
INRIA18
TECHNICAL UNIVERSITY OF MUNICH14
COMMONWEALTH SCIENTIFIC & INDUSTRIAL RESEARCH ORGANISATION (CSIRO)10
AUSTRALIAN NATIONAL UNIVERSITY9
CARNEGIE MELLON UNIVERSITY9
UNIVERSITY OF INNSBRUCK9
MAX PLANCK SOCIETY8
TECHNISCHE UNIVERSITAT WIEN7
UNIVERSITE DE LORRAINE7

Journal Of Automated Reasoning 杂志社通讯方式

《Journal Of Automated Reasoning》杂志通讯方式为：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。详细征稿细则请查阅杂志社征稿要求。本站可提供SCI投稿辅导服务，SCI检索，确保稿件信息安全保密，合乎学术规范，详情请咨询客服。