《Acta Informatica》國際標準刊號?ISSN：0001-5903，電子期刊的國際標準刊號：1432-0525。
創(chuàng)刊時間：1971年
出版周期：Monthly
出版語言：Multi-Language
國際簡稱：ACTA INFORM
研究方向：工程技術 - 計算機：信息系統(tǒng)
期刊定位與內(nèi)容：
信息法(Acta Informatica)是一本由Springer Berlin Heidelberg出版的學術刊物，主要報道工程技術-計算機：信息系統(tǒng)相關領域研究成果與實踐。本刊已入選來源期刊，該刊創(chuàng)刊于1971年，出版周期Monthly。
《信息法》發(fā)表專家撰寫的簡短易懂的評論，重點介紹計算機：信息系統(tǒng)的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。
Acta Informatica 提供關于程序、計算系統(tǒng)和信息結構的設計與分析的形式化方法文章的國際傳播，以及理論計算機科學的相關領域，如自動機理論、計算機科學中的邏輯和算法。
感興趣的主題包括：
? 編程語言的語義
? 并發(fā)、分布式、反應式和移動系統(tǒng)的模型和建模語言
? 定時、混合和概率系統(tǒng)的模型和建模語言
? 規(guī)范、程序分析和驗證
? 模型檢查和定理證明
? 模態(tài)、時間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術
? 數(shù)據(jù)庫、半結構化數(shù)據(jù)和有限模型理論的理論方面
? 人工智能的理論方面，知識表示、描述邏輯
? 自動機理論、形式語言、術語和圖形重寫
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數(shù)、余代數(shù)和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網(wǎng)絡安全基礎
? 并行、分布式和隨機算法
? 算法的設計和分析
? 網(wǎng)絡和通信協(xié)議基礎。
出版周期與發(fā)文量：
該雜志出版周期Monthly，每月發(fā)布一期。近年來，該期刊的年發(fā)文量約為13篇。
學術影響力：
2021-2022年最新版WOS分區(qū)等級：Q4，2023年發(fā)布的影響因子為0.4，CiteScore指數(shù)2.4，SJR指數(shù)0.407。本刊非開放獲取期刊。
Cite Score（2024年最新版）
- CiteScore：2.4
- SJR：0.407
- SNIP：1.118
| 學科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Computer Science 小類：Computer Networks and Communications | Q3 | 247 / 395 |
37%
|
| 大類：Computer Science 小類：Information Systems | Q3 | 250 / 394 |
36%
|
| 大類：Computer Science 小類：Software | Q3 | 288 / 407 |
29%
|
CiteScore：該指標由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
投稿咨詢聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。
