期刊簡介
Journal Title：Acta Informatica
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.
Topics of interest include:
? semantics of programming languages
? models and modeling languages for concurrent, distributed, reactive and mobile systems
? models and modeling languages for timed, hybrid and probabilistic systems
? specification, program analysis and verification
? model checking and theorem proving
? modal, temporal, first- and higher-order logics, and their variants
? constraint logic, SAT/SMT-solving techniques
? theoretical aspects of databases, semi-structured data and finite model theory
? theoretical aspects of artificial intelligence, knowledge representation, description logic
? automata theory, formal languages, term and graph rewriting
? game-based models, synthesis
? type theory, typed calculi
? algebraic, coalgebraic and categorical methods
? formal aspects of performance, dependability and reliability analysis
? foundations of information and network security
? parallel, distributed and randomized algorithms
? design and analysis of algorithms
? foundations of network and communication protocols.
中文簡介
Acta Informatica 提供關(guān)于程序、計算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計與分析的形式化方法文章的國際傳播，以及理論計算機科學的相關(guān)領(lǐng)域，如自動機理論、計算機科學中的邏輯和算法。
感興趣的主題包括：
? 編程語言的語義
? 并發(fā)、分布式、反應式和移動系統(tǒng)的模型和建模語言
? 定時、混合和概率系統(tǒng)的模型和建模語言
? 規(guī)范、程序分析和驗證
? 模型檢查和定理證明
? 模態(tài)、時間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術(shù)
? 數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面
? 人工智能的理論方面，知識表示、描述邏輯
? 自動機理論、形式語言、術(shù)語和圖形重寫
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數(shù)、余代數(shù)和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網(wǎng)絡安全基礎(chǔ)
? 并行、分布式和隨機算法
? 算法的設(shè)計和分析
? 網(wǎng)絡和通信協(xié)議基礎(chǔ)。
期刊點評
Acta Informatica創(chuàng)刊于1971年，由Springer Berlin Heidelberg出版商出版，收稿方向涵蓋工程技術(shù) - 計算機：信息系統(tǒng)全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細分領(lǐng)域中專業(yè)影響力一般，過審相對較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機率較高。平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.4，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。
中科院分區(qū)（數(shù)據(jù)版本：2023年12月升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統(tǒng) | 4區(qū) | 否 | 否 |
名詞解釋：
中科院分區(qū)也叫中科院JCR分區(qū)，基礎(chǔ)版分為13個大類學科，然后按照各類期刊影響因子分別將每個類別分為四個區(qū)，影響因子5%為1區(qū)，6%-20%為2區(qū)，21%-50%為3區(qū)，其余為4區(qū)。
中科院分區(qū)（數(shù)據(jù)版本：2022年12月升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統(tǒng) | 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月舊的升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統(tǒng) | 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月基礎(chǔ)版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統(tǒng) | 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統(tǒng) | 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2020年12月舊的升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統(tǒng) | 3區(qū) | 否 | 否 |
WOS分區(qū)（數(shù)據(jù)版本：2023-2024年最新版）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5% |
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78% |
名詞解釋：
WOS即Web of Science，是全球獲取學術(shù)信息的重要數(shù)據(jù)庫，Web of Science包括自然科學、社會科學、藝術(shù)與人文領(lǐng)域的信息，來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術(shù)會議多學科內(nèi)容。給期刊分區(qū)時會按照某一個學科領(lǐng)域劃分，根據(jù)這一學科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區(qū)中，最后的劃分結(jié)果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
CiteScore分區(qū)（數(shù)據(jù)版本：2024年最新版）
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||||||
| 2.4 | 0.407 | 1.118 |
|
名詞解釋：
CiteScore：衡量期刊所發(fā)表文獻的平均受引用次數(shù)。
SJR:SCImago 期刊等級衡量經(jīng)過加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領(lǐng)域中預期的受引用情況進行衡量。
其他數(shù)據(jù)
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 未開放 | 34 | 13 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 45.00% | 0.4 | 0.44... |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預警名單（試行）》名單： |
| 92.31% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標和發(fā)文量：
歷年中科院JCR大類分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
發(fā)文統(tǒng)計
2023-2024國家/地區(qū)發(fā)文量統(tǒng)計：
| 國家/地區(qū) | 數(shù)量 |
| GERMANY (FED REP GER) | 30 |
| Italy | 12 |
| CHINA MAINLAND | 11 |
| France | 10 |
| England | 9 |
| Netherlands | 9 |
| USA | 7 |
| Belgium | 6 |
| Denmark | 6 |
| India | 6 |
2023-2024機構(gòu)發(fā)文量統(tǒng)計：
| 機構(gòu) | 數(shù)量 |
| UNIVERSITATSKLINIKUM DES SAARLAN... | 8 |
| CENTRE NATIONAL DE LA RECHERCHE ... | 7 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| TECHNICAL UNIVERSITY OF MUNICH | 4 |
| UNIVERSITE LIBRE DE BRUXELLES | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIVERSITAT O... | 3 |
| EAST CHINA NORMAL UNIVERSITY | 3 |
| INRIA | 3 |
| INRIA LILLE NORD EUROPE | 3 |
近年引用統(tǒng)計：
| 期刊名稱 | 數(shù)量 |
| THEOR COMPUT SCI | 41 |
| INT J FOUND COMPUT S | 16 |
| J COMPUT SYST SCI | 16 |
| ACTA INFORM | 14 |
| J ACM | 12 |
| INFORM COMPUT | 11 |
| FUND INFORM | 9 |
| LOG METH COMPUT SCI | 8 |
| SIAM J COMPUT | 7 |
| J CRYPTOL | 6 |
近年被引用統(tǒng)計：
| 期刊名稱 | 數(shù)量 |
| FUND INFORM | 27 |
| IEEE ACCESS | 24 |
| THEOR COMPUT SCI | 24 |
| J LOG ALGEBR METHODS | 23 |
| FORM ASP COMPUT | 18 |
| SCI COMPUT PROGRAM | 17 |
| ACTA INFORM | 14 |
| INFORM COMPUT | 11 |
| PROC VLDB ENDOW | 11 |
| J SYMB COMPUT | 10 |
近年文章引用統(tǒng)計：
| 文章名稱 | 數(shù)量 |
| Bounded choice-free Petri net sy... | 3 |
| Parikh matrices for powers of wo... | 2 |
| Generalized contexts for reactio... | 2 |
| Fast deterministic parsers for t... | 1 |
| Associative composition of compo... | 1 |
| A core calculus for dynamic delt... | 1 |
| Algorithms for monitoring real-t... | 1 |
| Looking at mean payoff through f... | 1 |
| Petri nets are dioids: a new alg... | 1 |
| On the decidability of the exist... | 1 |
相關(guān)期刊
| 同小類學科的其他優(yōu)質(zhì)期刊 | 影響因子 | 中科院分區(qū) |
| Journal Of Field Robotics | 4.2 | 2區(qū) |
| Computer Networks | 4.4 | 2區(qū) |
| Computer Science Review | 13.3 | 1區(qū) |
| Journal Of Computational Science | 3.1 | 3區(qū) |
| Neurocomputing | 5.5 | 2區(qū) |
| Ict Express | 4.1 | 3區(qū) |
| Computer Speech And Language | 3.1 | 3區(qū) |
| Engineering Applications Of Artificial Intelligence | 7.5 | 2區(qū) |
| Applied Artificial Intelligence | 2.9 | 4區(qū) |
| International Journal Of Approximate Reasoning | 3.2 | 3區(qū) |
更多問題
免責聲明
若用戶需要出版服務，請聯(lián)系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。