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)于程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)與分析的形式化方法文章的國際傳播，以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域，如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法。
感興趣的主題包括：
? 編程語言的語義
? 并發(fā)、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語言
? 定時(shí)、混合和概率系統(tǒng)的模型和建模語言
? 規(guī)范、程序分析和驗(yàn)證
? 模型檢查和定理證明
? 模態(tài)、時(shí)間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術(shù)
? 數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面
? 人工智能的理論方面，知識表示、描述邏輯
? 自動(dòng)機(jī)理論、形式語言、術(shù)語和圖形重寫
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數(shù)、余代數(shù)和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網(wǎng)絡(luò)安全基礎(chǔ)
? 并行、分布式和隨機(jī)算法
? 算法的設(shè)計(jì)和分析
? 網(wǎng)絡(luò)和通信協(xié)議基礎(chǔ)。
Acta Informatica創(chuàng)刊于1971年，由Springer Berlin Heidelberg出版商出版，收稿方向涵蓋工程技術(shù) - 計(jì)算機(jī)：信息系統(tǒng)全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般，過審相對較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機(jī)率較高。平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.4，該期刊近期沒有被列入國際期刊預(yù)警名單，廣大學(xué)者值得一試。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
名詞解釋：
中科院分區(qū)也叫中科院JCR分區(qū)，基礎(chǔ)版分為13個(gè)大類學(xué)科，然后按照各類期刊影響因子分別將每個(gè)類別分為四個(gè)區(qū)，影響因子5%為1區(qū)，6%-20%為2區(qū)，21%-50%為3區(qū)，其余為4區(qū)。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 3區(qū) | 否 | 否 |
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78% |
名詞解釋：
WOS即Web of Science，是全球獲取學(xué)術(shù)信息的重要數(shù)據(jù)庫，Web of Science包括自然科學(xué)、社會(huì)科學(xué)、藝術(shù)與人文領(lǐng)域的信息，來自全世界近9,000種最負(fù)盛名的高影響力研究期刊及12,000多種學(xué)術(shù)會(huì)議多學(xué)科內(nèi)容。給期刊分區(qū)時(shí)會(huì)按照某一個(gè)學(xué)科領(lǐng)域劃分，根據(jù)這一學(xué)科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會(huì)在高分區(qū)中，最后的劃分結(jié)果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||||||
| 2.4 | 0.407 | 1.118 |
|
名詞解釋：
CiteScore：衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)。
SJR:SCImago 期刊等級衡量經(jīng)過加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學(xué)科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標(biāo)準(zhǔn)化影響將實(shí)際受引用情況對照期刊所屬學(xué)科領(lǐng)域中預(yù)期的受引用情況進(jìn)行衡量。
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 未開放 | 34 | 13 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 45.00% | 0.4 | 0.44... |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預(yù)警名單（試行）》名單： |
| 92.31% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標(biāo)和發(fā)文量：
歷年中科院JCR大類分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
2023-2024國家/地區(qū)發(fā)文量統(tǒng)計(jì)：
| 國家/地區(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機(jī)構(gòu)發(fā)文量統(tǒng)計(jì)：
| 機(jī)構(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)計(jì)：
| 期刊名稱 | 數(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)計(jì)：
| 期刊名稱 | 數(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)計(jì)：
| 文章名稱 | 數(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 |
| 同小類學(xué)科的其他優(yōu)質(zhì)期刊 | 影響因子 | 中科院分區(qū) |
| Journal Of Field Robotics | 4.2 | 2區(qū) |
| Computer Science Review | 13.3 | 1區(qū) |
| Computer Networks | 4.4 | 2區(qū) |
| Journal Of Computational Science | 3.1 | 3區(qū) |
| Ict Express | 4.1 | 3區(qū) |
| Computer Speech And Language | 3.1 | 3區(qū) |
| Applied Artificial Intelligence | 2.9 | 4區(qū) |
| Iet Software | 1.5 | 4區(qū) |
| International Journal Of Approximate Reasoning | 3.2 | 3區(qū) |
| Journal Of Bionic Engineering | 4.9 | 3區(qū) |
若用戶需要出版服務(wù)，請聯(lián)系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。
