信息法

SCIE

期刊简介

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的标准。如果想实现快速顺利的投稿发表，建议您联系本站的客服团队，将为您提供专业的选刊建议，并在整个投稿过程中提供细致的指导。