Journal Of Automated Reasoning杂志是一本国际优秀期刊,是一本未开放获取期刊。该杂志近三年影响因子分别为:2023年0.9、2022年1.1、2021年1.15。该杂志近三年CiteScore评价分区分别为:2023年3.6区、2022年4.1区、2021年4.2区。该刊专门致力于推进COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的研究,涵盖了COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的各个方面,汇集所有专家,促进COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的更好协作和信息共享。该期刊为COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的科研人员提供了一个高影响力的论坛,使该领域的科研人员、从业人员和学生能够接触到尖端的经验性调查分析、学术对话以及行业科研成果的最新发展。通过收录高质量的原创论文和评论论文,促进COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的应用与发展。该期刊还将该领域的创新与应用,以提高研究的质量和实用性。近年来在该刊上发文的国家和地区主要有:Vietnam(发文量1)、Uruguay(发文量2)、USA(发文量39)、Switzerland(发文量7)、Sweden(发文量7)、Spain(发文量12)。
Journal Of Automated Reasoning是一本由Springer Netherlands出版社发行的知名COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE期刊。该杂志社联系方式SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。审稿过程是确保期刊质量的关键环节。Journal Of Automated Reasoning杂志的审稿速度平均需要 12周,或约稿 。这一时间周期既体现了编辑部对稿件质量的严格把关,也反映了审稿专家对学术研究的尊重和支持。在这个过程中,作者们可以充分利用这段时间对自己的研究成果进行完善和优化,以提高论文的质量和影响力。如果您对该期刊感兴趣,并希望了解更多关于投稿流程、投稿要求和技巧的信息,您可以咨询本站的客服老师,我们将帮助您了解期刊的投稿要求、审稿流程以及可能遇到的问题,并根据您的具体情况提供相应的建议和解决方案。
CiteScore | SJR | SNIP | CiteScore排名 | |||
---|---|---|---|---|---|---|
3.6 | 0.873 | 1.612 | 学科类别 | 分区 | 排名 | 百分位 |
大类:大类:ComputerScience
小类:小类:ComputationalTheoryandMathematics
|
Q2 | 67/176 | 62% | |||
大类:大类:ComputerScience
小类:小类:ArtificialIntelligence
|
Q3 | 196/350 | 44% | |||
大类:大类:ComputerScience
小类:小类:Software
|
Q3 | 233/407 | 42% |
按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
---|---|---|---|---|
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 | 12.4% |
按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
---|---|---|---|---|
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 | 14.39% |
文章名称
引用次数
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
13
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
6
Synthesis of Obfuscation Policies to Ensure Privacy and Utility
5
Hammer for Coq: Automation for Dependent Type Theory
4
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories
3
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
3
System-Level Non-interference of Constant-Time Cryptography. Part I: Model
3
Verified iptables Firewall Analysis and Verification
2
Formalization of the Resolution Calculus for First-Order Logic
2
Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits
2
国家/地区
发文量
TGERMANY (FED REP GER)
40
TUSA
39
TFrance
38
TEngland
29
TAustria
18
TAustralia
14
TItaly
13
TSpain
12
TNetherlands
10
TSweden
7





