《Acta Informatica》國際標準刊號?ISSN：0001-5903，電子期刊的國際標準刊號：1432-0525。

創刊時間：1971年

出版周期：Monthly

出版語言：Multi-Language

國際簡稱：ACTA INFORM

研究方向：工程技術 - 計算機：信息系統

期刊定位與內容：

信息法(Acta Informatica)是一本由Springer Berlin Heidelberg出版的學術刊物，主要報道工程技術-計算機：信息系統相關領域研究成果與實踐。本刊已入選來源期刊，該刊創刊于1971年，出版周期Monthly。

《信息法》發表專家撰寫的簡短易懂的評論，重點介紹計算機：信息系統的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。

Acta Informatica 提供關于程序、計算系統和信息結構的設計與分析的形式化方法文章的國際傳播，以及理論計算機科學的相關領域，如自動機理論、計算機科學中的邏輯和算法。

感興趣的主題包括：

? 編程語言的語義

? 并發、分布式、反應式和移動系統的模型和建模語言

? 定時、混合和概率系統的模型和建模語言

? 規范、程序分析和驗證

? 模型檢查和定理證明

? 模態、時間、一階和高階邏輯及其變體

? 約束邏輯、SAT/SMT 求解技術

? 數據庫、半結構化數據和有限模型理論的理論方面

? 人工智能的理論方面，知識表示、描述邏輯

? 自動機理論、形式語言、術語和圖形重寫

? 基于游戲的模型、綜合

? 類型理論、類型演算

? 代數、余代數和分類方法

? 性能、可靠性和可靠性分析的形式化方面

? 信息和網絡安全基礎

? 并行、分布式和隨機算法

? 算法的設計和分析

? 網絡和通信協議基礎。

出版周期與發文量：

該雜志出版周期Monthly，每月發布一期。近年來，該期刊的年發文量約為13篇。

學術影響力：

2021-2022年最新版WOS分區等級：Q4，2023年發布的影響因子為0.4，CiteScore指數2.4，SJR指數0.407。本刊非開放獲取期刊。

聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。