SCI期刊

Acta Informatica

所属分类:SCI期刊

Acta Informatica期刊基本信息

Acta Informatica
期刊简称

ACTA INFORM

期刊ISSN

0001-5903

影响因子

1.042

是否SCI

SCI、SCIE

是否开源

No

出版地

GERMANY

审稿周期

Monthly

创刊年份

1971

研究方向

工程技术

Acta Informatica中文介绍

《Acta Informatica》是一本由SPRINGER出版商出版的专业工程技术期刊,该刊创刊于1971年,刊期Monthly,该刊已被国际权威数据库SCI、SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:工程技术 4区,小类学科:计算机:信息系统 4区;在JCR(Journal Citation Reports)分区等级为Q4。该刊发文范围涵盖计算机:信息系统等领域,旨在及时、准确、全面地报道国内外计算机:信息系统工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等,促进学术交流,鼓励学术创新。2021年影响因子为0.871,平均审稿速度>12周,或约稿。

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.

Acta Informatica中科院分区

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 4区

Acta Informatica期刊近9年JCR分区变化趋势

Acta InformaticaJCR分区(JCR2021-2022年分区)

JCR分区等级 JCR所属学科 分区 影响因子
Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Q4 0.871

Acta Informatica期刊近7年影响因子变化趋势

Acta Informatica期刊的CiteScore值(CiteScore2021-2022年CiteScore值)

CiteScore SJR SNIP 学科类别 分区 排名 百分位
2.30 0.623 1.415 大类:Computer Science 小类:Computer Networks and Communications Q3 202 / 359

43%

大类:Computer Science 小类:Information Systems Q3 201 / 353

43%

大类:Computer Science 小类:Software Q3 266 / 398

33%

Acta Informatica期刊近7年自引率变化趋势