期刊簡介

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

感興趣的主題包括：

? 編程語言的語義

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

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

? 規范、程序分析和驗證

? 模型檢查和定理證明

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

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

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

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

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

? 基于游戲的模型、綜合

? 類型理論、類型演算

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

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

? 信息和網絡安全基礎

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

? 算法的設計和分析

? 網絡和通信協議基礎。

信息法創刊于1971年，由Springer Berlin Heidelberg出版社出版。其研究的主題領域包括但不限于工程技術-計算機：信息系統，是一本在計算機科學領域具有重要影響力的國際期刊。該期刊涵蓋了計算機科學的多個子領域，旨在全面理解和解決計算機科學問題。

根據最新的數據，信息法的影響因子為0.4，CiteScore為2.4，h-index為34，SJR為0.407，SNIP為1.118，中科院分區為4區，這些指標均顯示了該期刊在計算機科學領域的優秀地位。

該刊以Multi-Language作為出版語言。對于Multi-Language非母語的作者，期刊建議使用語言編輯服務，以確保文稿的語法和拼寫錯誤得到糾正，并符合科學Multi-Language的標準。如果想實現快速順利的投稿發表，建議您聯系本站的客服團隊，將為您提供專業的選刊建議，并在整個投稿過程中提供細致的指導。