《Journal Of Automated Reasoning》杂志的收稿范围和要求是什么？
来源：优发表网整理 2026-07-07 16:28:03 477人看过
《Journal Of Automated Reasoning》杂志收稿范围涵盖计算机科学全领域，此刊是该细分领域中属于非常不错的SCI期刊，在行业细分领域中学术影响力较大，专业度认可很高，所以对原创文章要求创新性较高，如果您的文章质量很高，可以尝试。
平均审稿速度>12周，或约稿，影响因子指数0.7。
该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。
具体收稿要求需联系杂志社或者咨询本站客服，在线客服团队会及时为您答疑解惑，提供针对性的建议和解决方案。
出版商联系方式：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
其他数据
| 是否OA开放访问： | h-index： | 年文章数： |
| 未开放 | 49 | 31 |
| Gold OA文章占比： | 2021-2022最新影响因子（数据来源于搜索引擎）: | 开源占比（OA被引用占比）： |
| 62.50% | 0.7 | 0.42... |
| 研究类文章占比：文章 ÷（文章 + 综述） | 期刊收录： | 中科院《国际期刊预警名单（试行）》名单： |
| 100.00% | SCI、SCIE | 否 |
历年IF值(影响因子)：
历年引文指标和发文量：
历年中科院JCR大类分区数据：
历年自引数据：
发文统计
2023-2024国家/地区发文量统计：
| 国家/地区 | 数量 |
| GERMANY (FED REP GER) | 40 |
| USA | 39 |
| France | 38 |
| England | 29 |
| Austria | 18 |
| Australia | 14 |
| Italy | 13 |
| Spain | 12 |
| Netherlands | 10 |
| Sweden | 7 |
2023-2024机构发文量统计：
| 机构 | 数量 |
| CENTRE NATIONAL DE LA RECHERCHE ... | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF MUNICH | 14 |
| COMMONWEALTH SCIENTIFIC & INDUST... | 10 |
| AUSTRALIAN NATIONAL UNIVERSITY | 9 |
| CARNEGIE MELLON UNIVERSITY | 9 |
| UNIVERSITY OF INNSBRUCK | 9 |
| MAX PLANCK SOCIETY | 8 |
| TECHNISCHE UNIVERSITAT WIEN | 7 |
| UNIVERSITE DE LORRAINE | 7 |
近年引用统计：
| 期刊名称 | 数量 |
| J AUTOM REASONING | 79 |
| THEOR COMPUT SCI | 46 |
| COMMUN ACM | 26 |
| J ACM | 22 |
| INFORM COMPUT | 21 |
| MATH STRUCT COMP SCI | 21 |
| ACM T COMPUT LOG | 15 |
| LOG METH COMPUT SCI | 15 |
| J FUNCT PROGRAM | 14 |
| ACM T PROGR LANG SYS | 12 |
近年被引用统计：
| 期刊名称 | 数量 |
| J AUTOM REASONING | 79 |
| ANN MATH ARTIF INTEL | 29 |
| J SYMB COMPUT | 14 |
| ARTIF INTELL | 13 |
| IEEE ACCESS | 12 |
| J FUNCT PROGRAM | 11 |
| ACM T COMPUT LOG | 10 |
| MATH STRUCT COMP SCI | 10 |
| LOG METH COMPUT SCI | 9 |
| PHILOS T R SOC A | 9 |
近年文章引用统计：
| 文章名称 | 数量 |
| The Role of the Mizar Mathematic... | 13 |
| Compositional Falsification of C... | 6 |
| Synthesis of Obfuscation Policie... | 5 |
| Hammer for Coq: Automation for D... | 4 |
| Automatic Synthesis of Logical M... | 3 |
| VST-Floyd: A Separation Logic To... | 3 |
| System-Level Non-interference of... | 3 |
| Verified iptables Firewall Analy... | 2 |
| Formalization of the Resolution ... | 2 |
| Verifying the Correctness and Am... | 2 |
声明：以上内容来源于互联网公开资料，如有不准确之处，请联系我们进行修改。
