自动推理杂志
自动推理杂志杂志简介
- 出版商：Springer Netherlands
- 出版语言：English
- TOP期刊：否
- 出版地区：NETHERLANDS
- 是否预警：否
- 是否OA：未开放
- 出版周期：Bimonthly
- 出版年份：1985
- 中文名称：自动推理杂志
- 是否OA：未开放
自动推理杂志（国际简称J AUTOM REASONING，英文名称Journal Of Automated Reasoning）是一本未开放获取（OA）国际期刊，自1985年创刊以来，始终站在计算机科学研究的前沿。该期刊致力于发表在计算机科学领域各个方面达到最高科学标准和具有重要性的研究成果。全面反映该学科的发展趋势，为计算机科学事业的进步提供了有力的支撑。期刊严格遵循职业道德标准，对于任何形式的抄袭行为，无论是文字还是图形，一旦查实，均可能导致稿件被拒绝。
近年来，来自GERMANY (FED REP GER)、USA、France、England、Austria、Australia、Italy、Spain、Netherlands、Sweden等国家和地区的研究者在《Journal Of Automated Reasoning》上发表了大量的高质量文章。该期刊内容丰富，包括原创研究、综述文章、专题观点、论文预览、专家意见等多种类型，旨在为全球该领域研究者提供广泛的学术交流平台和灵感来源。
在过去几年中，该期刊保持了稳定的发文量和综述量，具体数据如下：
2014年：发表文章28篇、2015年：发表文章27篇、2016年：发表文章26篇、2017年：发表文章32篇、2018年：发表文章33篇、2019年：发表文章56篇、2020年：发表文章72篇、2021年：发表文章23篇、2022年：发表文章27篇、2023年：发表文章38篇。这些数据反映了期刊在全球计算机科学领域的影响力和活跃度，同时也展示了其作为学术界和工业界研究人员首选资源的地位。《Journal Of Automated Reasoning》将继续致力于推动计算机科学领域的知识传播和科学进步，为全球计算机科学问题的解决贡献力量。
期刊指数
- 影响因子：0.9
- 文章自引率：0.0909...
- Gold OA文章占比：53.41%
- CiteScore：3.6
- 年发文量：38
- 开源占比：0.4262
- SJR指数：0.873
- H-index：49
- SNIP指数：1.612
- OA被引用占比：0.3186...
- 出版国人文章占比：0.02
WOS期刊SCI分区（2023-2024年最新版）
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 |
12.4% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 |
14.39% |
中科院分区表
中科院SCI期刊分区 2023年12月升级版
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
| 否 | 否 | 计算机科学 3区 |
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机：人工智能
3区
|
CiteScore（2024年最新版）
CiteScore 排名
| CiteScore | SJR | SNIP | CiteScore 排名 | ||||||||||||||||
| 3.6 | 0.873 | 1.612 |
|
学术指标分析
影响因子和CiteScore
自引率
影响因子：指某一期刊的文章在特定年份或时期被引用的频率，是衡量学术期刊影响力的一个重要指标。影响因子越高，代表着期刊的影响力越大 。
CiteScore：该值越高，代表该期刊的论文受到更多其他学者的引用，因此该期刊的影响力也越高。
自引率：是衡量期刊质量和影响力的重要指标之一。通过计算期刊被自身引用的次数与总被引次数的比例，可以反映期刊对于自身研究内容的重视程度以及内部引用的情况。
年发文量：是衡量期刊活跃度和研究产出能力的重要指标，年发文量较多的期刊可能拥有更广泛的读者群体和更高的学术声誉，从而吸引更多的优质稿件。
期刊互引关系
| 序号 | 引用他刊情况 | 引用次数 |
| 1 | J AUTOM REASONING | 79 |
| 2 | THEOR COMPUT SCI | 46 |
| 3 | COMMUN ACM | 26 |
| 4 | J ACM | 22 |
| 5 | INFORM COMPUT | 21 |
| 6 | MATH STRUCT COMP SCI | 21 |
| 7 | ACM T COMPUT LOG | 15 |
| 8 | LOG METH COMPUT SCI | 15 |
| 9 | J FUNCT PROGRAM | 14 |
| 10 | ACM T PROGR LANG SYS | 12 |
| 序号 | 被他刊引用情况 | 引用次数 |
| 1 | J AUTOM REASONING | 79 |
| 2 | ANN MATH ARTIF INTEL | 29 |
| 3 | J SYMB COMPUT | 14 |
| 4 | ARTIF INTELL | 13 |
| 5 | IEEE ACCESS | 12 |
| 6 | J FUNCT PROGRAM | 11 |
| 7 | ACM T COMPUT LOG | 10 |
| 8 | MATH STRUCT COMP SCI | 10 |
| 9 | LOG METH COMPUT SCI | 9 |
| 10 | PHILOS T R SOC A | 9 |
高引用文章
- 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
