推薦合適期刊 投稿指導(dǎo) 助力快速見刊免費咨詢
Journal Of Automated Reasoning是計算機科學領(lǐng)域的一本優(yōu)秀期刊。由Springer Netherlands出版社出版。該期刊主要發(fā)表計算機科學領(lǐng)域的原創(chuàng)性研究成果。創(chuàng)刊于1985年,該期刊主要刊載工程技術(shù)-計算機:人工智能及其基礎(chǔ)研究的前瞻性、原始性、首創(chuàng)性研究成果、科技成就和進展。該期刊不僅收錄了該領(lǐng)域的科技成就和進展,更以其深厚的學術(shù)積淀和卓越的審稿標準,確保每篇文章都具備高度的學術(shù)價值。此外,該刊同時被SCIE數(shù)據(jù)庫收錄,并被劃分為中科院SCI3區(qū)期刊,它始終堅持創(chuàng)新,不斷專注于發(fā)布高度有價值的研究成果,不斷推動計算機科學領(lǐng)域的進步。
同時,我們注重來稿文章表述的清晰度,以及其與我們的讀者群體和研究領(lǐng)域的相關(guān)性。為此,我們期待所有投稿的文章能夠保持簡潔明了、組織有序、表述清晰。該期刊平均審稿速度為平均 12周,或約稿 。若您對于稿件是否適合該期刊存在疑慮,建議您在提交前主動與期刊主編取得聯(lián)系,或咨詢本站的客服老師。我們的客服老師將根據(jù)您的研究內(nèi)容和方向,為您推薦最為合適的期刊,助力您順利投稿,實現(xiàn)學術(shù)成果的順利發(fā)表。
大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
計算機科學 | 3區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機:人工智能 | 3區(qū) | 否 | 否 |
大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
計算機科學 | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機:人工智能 | 3區(qū) | 否 | 否 |
大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
計算機科學 | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機:人工智能 | 3區(qū) | 否 | 否 |
大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機:人工智能 | 4區(qū) | 否 | 否 |
大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
計算機科學 | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機:人工智能 | 3區(qū) | 否 | 否 |
大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
計算機科學 | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機:人工智能 | 3區(qū) | 否 | 否 |
按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
學科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 |
12.4% |
按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
學科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 |
14.39% |
學科類別 | 分區(qū) | 排名 | 百分位 |
大類: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% |
年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
年發(fā)文量 | 28 | 27 | 26 | 32 | 33 | 56 | 72 | 23 | 27 | 38 |
國家/地區(qū) | 數(shù)量 |
GERMANY (FED REP GER) | 40 |
USA | 39 |
France | 38 |
England | 29 |
Austria | 18 |
Australia | 14 |
Italy | 13 |
Spain | 12 |
Netherlands | 10 |
Sweden | 7 |
機構(gòu) | 數(shù)量 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) | 25 |
INRIA | 18 |
TECHNICAL UNIVERSITY OF MUNICH | 14 |
COMMONWEALTH SCIENTIFIC & INDUSTRIAL RESEARCH ORGANISATION (CSIRO) | 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 |
文章名稱 | 引用次數(shù) |
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 |
SCIE
影響因子 3.7
CiteScore 6.4
SCIE
影響因子 4.5
CiteScore 10
SCIE
影響因子 3.8
CiteScore 6.7
SCIE
影響因子 5.3
CiteScore 9.3
SCIE
影響因子 1.7
CiteScore 3.4
SCIE
CiteScore 5.6
SCIE
影響因子 7.7
CiteScore 20.9
SCIE
影響因子 3.9
CiteScore 7.3
SCIE
影響因子 5.3
CiteScore 10.3
SCIE
影響因子 3
CiteScore 7.7
若用戶需要出版服務(wù),請聯(lián)系出版商:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。