首頁 > SCI期刊 > SCIE期刊 > 計算機科學 > 中科院4區 > JCRQ4 > 期刊介紹
評價信息：
影響因子：0.4
年發文量：13
《信息法》(Acta Informatica)是一本以工程技術-計算機：信息系統綜合研究為特色的國際期刊。該刊由Springer Berlin Heidelberg出版商創刊于1971年，刊期Monthly。該刊已被國際重要權威數據庫SCIE收錄。期刊聚焦工程技術-計算機：信息系統領域的重點研究和前沿進展，及時刊載和報道該領域的研究成果，致力于成為該領域同行進行快速學術交流的信息窗口與平臺。該刊2023年影響因子為0.4。CiteScore指數值為2.4。
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 提供關于程序、計算系統和信息結構的設計與分析的形式化方法文章的國際傳播，以及理論計算機科學的相關領域，如自動機理論、計算機科學中的邏輯和算法。
感興趣的主題包括：
? 編程語言的語義
? 并發、分布式、反應式和移動系統的模型和建模語言
? 定時、混合和概率系統的模型和建模語言
? 規范、程序分析和驗證
? 模型檢查和定理證明
? 模態、時間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術
? 數據庫、半結構化數據和有限模型理論的理論方面
? 人工智能的理論方面，知識表示、描述邏輯
? 自動機理論、形式語言、術語和圖形重寫
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數、余代數和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網絡安全基礎
? 并行、分布式和隨機算法
? 算法的設計和分析
? 網絡和通信協議基礎。
《Acta Informatica》(信息法)編輯部通訊方式為SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。如果您需要協助投稿或潤稿服務，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務十年，熟悉發表政策，可為您提供一對一投稿指導，避免您在投稿時頻繁碰壁，節省您的寶貴時間，有效提升發表機率，確保SCI檢索（檢索不了全額退款）。我們視信譽為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內容。
2023年12月升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 | 否 | 否 |
2022年12月升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 | 否 | 否 |
2021年12月舊的升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 | 否 | 否 |
2021年12月基礎版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 | 否 | 否 |
2021年12月升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 | 否 | 否 |
2020年12月舊的升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 3區 | 否 | 否 |
基礎版：即2019年12月17日，正式發布的《2019年中國科學院文獻情報中心期刊分區表》；將JCR中所有期刊分為13個大類,期刊范圍只有SCI期刊。
升級版：即2020年1月13日，正式發布的《2019年中國科學院文獻情報中心期刊分區表升級版（試行）》,升級版采用了改進后的指標方法體系對基礎版的延續和改進，影響因子不再是分區的唯一或者決定性因素，也沒有了分區的IF閾值期刊由基礎版的13個學科擴展至18個，科研評價將更加明確。期刊范圍有SCI期刊、SSCI期刊。從2022年開始，分區表將只發布升級版結果，不再有基礎版和升級版之分,基礎版和升級版（試行）將過渡共存三年時間。
JCR分區等級：Q4
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78% |
| Gold OA文章占比 | 研究類文章占比 | 文章自引率 |
| 45.00% | 92.31% | 0.16... |
| 開源占比 | 出版國人文章占比 | OA被引用占比 |
| 0.44... | 0.08 | 0.12 |
名詞解釋：JCR分區在學術期刊評價、科研成果展示、科研方向引導以及學術交流與合作等方面都具有重要的價值。通過對期刊影響因子的精確計算和細致劃分，JCR分區能夠清晰地反映出不同期刊在同一學科領域內的相對位置，從而幫助科研人員準確識別出高質量的學術期刊。
| CiteScore | SJR | SNIP | CiteScore 指數 | ||||||||||||||||
| 2.4 | 0.407 | 1.118 |
|
名詞解釋：CiteScore是基于Scopus數據庫的全新期刊評價體系。CiteScore 2021 的計算方式是期刊最近4年（含計算年度）的被引次數除以該期刊近四年發表的文獻數。CiteScore基于全球最廣泛的摘要和引文數據庫Scopus，適用于所有連續出版物，而不僅僅是期刊。目前CiteScore 收錄了超過 26000 種期刊，比獲得影響因子的期刊多13000種。被各界人士認為是影響因子最有力的競爭對手。
歷年中科院分區趨勢圖
歷年IF值(影響因子)
歷年引文指標和發文量
歷年自引數據
2019-2021年國家/地區發文量統計
| 國家/地區 | 數量 |
| GERMANY (FED REP GER) | 30 |
| Italy | 12 |
| CHINA MAINLAND | 11 |
| France | 10 |
| England | 9 |
| Netherlands | 9 |
| USA | 7 |
| Belgium | 6 |
| Denmark | 6 |
| India | 6 |
2019-2021年機構發文量統計
| 機構 | 數量 |
| UNIVERSITATSKLINIKUM DES SAARLANDES | 8 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIF... | 7 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| TECHNICAL UNIVERSITY OF MUNICH | 4 |
| UNIVERSITE LIBRE DE BRUXELLES | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIVERSITAT OLDENBURG | 3 |
| EAST CHINA NORMAL UNIVERSITY | 3 |
| INRIA | 3 |
| INRIA LILLE NORD EUROPE | 3 |
2019-2021年文章引用數據
| 文章引用名稱 | 引用次數 |
| Bounded choice-free Petri net synthesis:... | 3 |
| Parikh matrices for powers of words | 2 |
| Generalized contexts for reaction system... | 2 |
| Fast deterministic parsers for transitio... | 1 |
| Associative composition of components wi... | 1 |
| A core calculus for dynamic delta-orient... | 1 |
| Algorithms for monitoring real-time prop... | 1 |
| Looking at mean payoff through foggy win... | 1 |
| Petri nets are dioids: a new algebraic f... | 1 |
| On the decidability of the existence of ... | 1 |
2019-2021年文章被引用數據
| 被引用期刊名稱 | 數量 |
| 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 |
2019-2021年引用數據
| 引用期刊名稱 | 數量 |
| 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 |
中科院分區：1區
影響因子：7.7
審稿周期：約Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 約2.7個月 約7.8周
中科院分區：1區
影響因子：8.1
審稿周期：約Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 約4.1個月 約6.8周
中科院分區：3區
影響因子：3.3
審稿周期：約17.72天 11 Weeks
中科院分區：1區
影響因子：98.4
審稿周期： 約3月
中科院分區：2區
影響因子：5.8
審稿周期： 約2.4個月 約7.6周
中科院分區：2區
影響因子：5.1
審稿周期： 約1.9個月 約2.7周
若用戶需要出版服務，請聯系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。
