Acta Informatica

杂志介绍

Acta Informatica杂志介绍

《Acta Informatica》是一本以Multi-Language为主的未开放获取国际优秀期刊，中文名称信息法，本刊主要出版、报道计算机科学-计算机信息系统领域的研究动态以及在该领域取得的各方面的经验和科研成果，介绍该领域有关本专业的最新进展，探讨行业发展的思路和方法，以促进学术信息交流，提高行业发展。该刊已被国际权威数据库SCI、SCIE收录，为该领域相关学科的发展起到了良好的推动作用，也得到了本专业人员的广泛认可。该刊最新影响因子为0.9，最新CiteScore 指数为2.1。

本刊近期中国学者发表的论文主要有：

• Preface for the special issue for ATVA 201

  Author:

• Some kinds of primitive and non-primitive word

  Author:

• Delay and energy efficiency analysis of multicast cooperative ARQ over wireless network

  Author:

• Termination of nondeterministic quantum program

  Author:

英文介绍

Acta Informatica杂志英文介绍

Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

Topics of interest include:

• semantics of programming languages

• models and modeling languages for concurrent, distributed, reactive and mobile systems

• models and modeling languages for timed, hybrid and probabilistic systems

• specification, program analysis and verification

• model checking and theorem proving

• modal, temporal, first- and higher-order logics, and their variants

• constraint logic, SAT/SMT-solving techniques

• theoretical aspects of databases, semi-structured data and finite model theory

• theoretical aspects of artificial intelligence, knowledge representation, description logic

• automata theory, formal languages, term and graph rewriting

• game-based models, synthesis

• type theory, typed calculi

• algebraic, coalgebraic and categorical methods

• formal aspects of performance, dependability and reliability analysis

• foundations of information and network security

• parallel, distributed and randomized algorithms

• design and analysis of algorithms

• foundations of network and communication protocols.