《Acta Informatica》國(guó)際標(biāo)準(zhǔn)刊號(hào)?ISSN：0001-5903，電子期刊的國(guó)際標(biāo)準(zhǔn)刊號(hào)：1432-0525。

創(chuàng)刊時(shí)間：1971年

出版周期：Monthly

出版語言：Multi-Language

國(guó)際簡(jiǎn)稱：ACTA INFORM

研究方向：工程技術(shù) - 計(jì)算機(jī)：信息系統(tǒng)

期刊定位與內(nèi)容：

信息法(Acta Informatica)是一本由Springer Berlin Heidelberg出版的學(xué)術(shù)刊物，主要報(bào)道工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng)相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊，該刊創(chuàng)刊于1971年，出版周期Monthly。

《信息法》發(fā)表專家撰寫的簡(jiǎn)短易懂的評(píng)論，重點(diǎn)介紹計(jì)算機(jī)：信息系統(tǒng)的最新關(guān)鍵主題。每篇文章都是對(duì)該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。

Acta Informatica 提供關(guān)于程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)與分析的形式化方法文章的國(guó)際傳播，以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域，如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法。

感興趣的主題包括：

? 編程語言的語義

? 并發(fā)、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語言

? 定時(shí)、混合和概率系統(tǒng)的模型和建模語言

? 規(guī)范、程序分析和驗(yàn)證

? 模型檢查和定理證明

? 模態(tài)、時(shí)間、一階和高階邏輯及其變體

? 約束邏輯、SAT/SMT 求解技術(shù)

? 數(shù)據(jù)庫(kù)、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面

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

? 自動(dòng)機(jī)理論、形式語言、術(shù)語和圖形重寫

? 基于游戲的模型、綜合

? 類型理論、類型演算

? 代數(shù)、余代數(shù)和分類方法

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

? 信息和網(wǎng)絡(luò)安全基礎(chǔ)

? 并行、分布式和隨機(jī)算法

? 算法的設(shè)計(jì)和分析

? 網(wǎng)絡(luò)和通信協(xié)議基礎(chǔ)。

出版周期與發(fā)文量：

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

學(xué)術(shù)影響力：

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

聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯(cuò)誤，請(qǐng)及時(shí)聯(lián)系我們及時(shí)更正。