当前位置: 首页 SCI期刊 SCIE期刊 计算机科学 中科院4区 JCRQ4 期刊介绍(非官网)
Acta Informatica

Acta InformaticaSCIE

国际简称:ACTA INFORM  参考译名:信息法

  • 中科院分区

    4区

  • CiteScore分区

    Q3

  • JCR分区

    Q4

基本信息:
ISSN:0001-5903
E-ISSN:1432-0525
是否OA:未开放
是否预警:否
TOP期刊:否
出版信息:
出版地区:GERMANY
出版商:Springer Berlin Heidelberg
出版语言:Multi-Language
出版周期:Monthly
出版年份:1971
研究方向:工程技术-计算机:信息系统
评价信息:
影响因子:0.4
H-index:34
CiteScore指数:2.4
SJR指数:0.407
SNIP指数:1.118
发文数据:
Gold OA文章占比:45.00%
研究类文章占比:92.31%
年发文量:13
自引率:0.1666...
开源占比:0.4432
出版撤稿占比:0
出版国人文章占比:0.08
OA被引用占比:0.12
英文简介 期刊介绍 CiteScore数据 中科院SCI分区 JCR分区 发文数据 常见问题

英文简介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期刊介绍

《Acta Informatica》自1971出版以来,是一本计算机科学优秀杂志。致力于发表原创科学研究结果,并为计算机科学各个领域的原创研究提供一个展示平台,以促进计算机科学领域的的进步。该刊鼓励先进的、清晰的阐述,从广泛的视角提供当前感兴趣的研究主题的新见解,或审查多年来某个重要领域的所有重要发展。该期刊特色在于及时报道计算机科学领域的最新进展和新发现新突破等。该刊近一年未被列入预警期刊名单,目前已被权威数据库SCIE收录,得到了广泛的认可。

该期刊投稿重要关注点:

Cite Score数据(2024年最新版)Acta Informatica Cite Score数据

  • 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(爱思唯尔)推出的另一种评价期刊影响力的文献计量指标。反映出一家期刊近期发表论文的年篇均引用次数。CiteScore以Scopus数据库中收集的引文为基础,针对的是前四年发表的论文的引文。CiteScore的意义在于,它可以为学术界提供一种新的、更全面、更客观地评价期刊影响力的方法,而不仅仅是通过影响因子(IF)这一单一指标来评价。

历年Cite Score趋势图

中科院SCI分区Acta Informatica 中科院分区

中科院 2023年12月升级版 综述期刊:否 Top期刊:否
大类学科 分区 小类学科 分区
计算机科学 4区 COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 4区

中科院分区表 是以客观数据为基础,运用科学计量学方法对国际、国内学术期刊依据影响力进行等级划分的期刊评价标准。它为我国科研、教育机构的管理人员、科研工作者提供了一份评价国际学术期刊影响力的参考数据,得到了全国各地高校、科研机构的广泛认可。

中科院分区表 将所有期刊按照一定指标划分为1区、2区、3区、4区四个层次,类似于“优、良、及格”等。最开始,这个分区只是为了方便图书管理及图书情报领域的研究和期刊评估。之后中科院分区逐步发展成为了一种评价学术期刊质量的重要工具。

历年中科院分区趋势图

JCR分区Acta Informatica JCR分区

2023-2024 年最新版
按JIF指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 249

5%

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 251

5.78%

JCR分区的优势在于它可以帮助读者对学术文献质量进行评估。不同学科的文章引用量可能存在较大的差异,此时单独依靠影响因子(IF)评价期刊的质量可能是存在一定问题的。因此,JCR将期刊按照学科门类和影响因子分为不同的分区,这样读者可以根据自己的研究领域和需求选择合适的期刊。

历年影响因子趋势图

发文数据

2023-2024 年国家/地区发文量统计
  • 国家/地区数量
  • GERMANY (FED REP GER)30
  • Italy12
  • CHINA MAINLAND11
  • France10
  • England9
  • Netherlands9
  • USA7
  • Belgium6
  • Denmark6
  • India6

本刊中国学者近年发表论文

  • 1、Preface for the special issue for ATVA 2015

    Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang

    Journal: ACTA INFORMATICA, 2018, Vol.55, 625-626, DOI:10.1007/s00236-018-0330-0

  • 2、Some kinds of primitive and non-primitive words

    Author: Cao Chunhua, Yang Shuang, Yang Di

    Journal: ACTA INFORMATICA, 2014, Vol.51, 339-346, DOI:10.1007/s00236-014-0200-3

  • 3、Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks

    Author: Suo Ping Li, Yong Qiang Zhou, Yong Zhou

    Journal: ACTA INFORMATICA, 2014, Vol.51, 51-60, DOI:10.1007/s00236-013-0192-4

  • 4、Termination of nondeterministic quantum programs

    Author: Yangjia Li, Nengkun Yu, Mingsheng Ying

    Journal: ACTA INFORMATICA, 2013, Vol.51, 1-24, DOI:10.1007/s00236-013-0185-3

  • 5、Characterizations of $$$$-comma codes and $$$$-comma intercodes

    Author: Chunhua Cao, Haiyan Liu, Di Yang

    Journal: ACTA INFORMATICA, 2015, Vol.53, 23-33, DOI:10.1007/s00236-015-0233-2

  • 6、Optimal covers in the relational database model

    Author: Xiaoning Peng, Zhijun Xiao

    Journal: ACTA INFORMATICA, 2015, Vol.53, 459-468, DOI:10.1007/s00236-015-0247-9

  • 7、Analysis of dual-hop and multiple relays cooperative truncated ARQ with relay selection in WSNs

    Author: Suoping Li, Yongqiang Zhou, Duo Peng, Zufang Dou, Yong Zhou

    Journal: ACTA INFORMATICA, 2015, Vol.53, 1-22, DOI:10.1007/s00236-015-0232-3

  • 8、Efficient and secure attribute-based signature for monotone predicates

    Author: Ke Gu, Weijia Jia, Guojun Wang, Sheng Wen

    Journal: ACTA INFORMATICA, 2016, Vol.54, 521-541, DOI:10.1007/s00236-016-0270-5

投稿常见问题

通讯方式:SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。