《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。本刊非開放獲取期刊。
Cite Score(2024年最新版)
- CiteScore:2.4
- SJR:0.407
- SNIP:1.118
學科類別 | 分區 | 排名 | 百分位 |
大類: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年提出,指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是:例如,某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數,除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。
聲明:本信息依據互聯網公開資料整理,若存在錯誤,請及時聯系我們及時更正。