400-888-7502 登錄/注冊(cè) 購(gòu)物車(0)

期刊導(dǎo)航

首頁(yè) > SCI期刊 > 計(jì)算機(jī)科學(xué)期刊 > Acta Informatica(非官網(wǎng))

收藏該雜志

同大類學(xué)科其它級(jí)別期刊：

中科院 1區(qū) 期刊 JCR Q1 期刊中科院 2區(qū) 期刊 JCR Q2 期刊中科院 3區(qū) 期刊 JCR Q3 期刊中科院 4區(qū) 期刊 JCR Q4 期刊

Acta Informatica SCIE

國(guó)際簡(jiǎn)稱：ACTA INFORM 參考譯名：信息法

主要研究方向：工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng) 非預(yù)警期刊審稿周期： 12周，或約稿

《信息法》(Acta Informatica)是一本由Springer Berlin Heidelberg出版的以工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng)為研究特色的國(guó)際期刊，發(fā)表該領(lǐng)域相關(guān)的原創(chuàng)研究文章、評(píng)論文章和綜述文章，及時(shí)報(bào)道該領(lǐng)域相關(guān)理論、實(shí)踐和應(yīng)用學(xué)科的最新發(fā)現(xiàn)，旨在促進(jìn)該學(xué)科領(lǐng)域科學(xué)信息的快速交流。該期刊是一本未開放期刊，近三年沒有被列入預(yù)警名單。

4區(qū) 中科院分區(qū)
Q4 JCR分區(qū)
13 年發(fā)文量
0.4 IF影響因子
未開放 是否OA
34 H-index
1971 創(chuàng)刊年份
Monthly 出版周期
Multi-Language 出版語(yǔ)言

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期刊信息

ISSN：0001-5903
出版語(yǔ)言：Multi-Language
是否OA：未開放
E-ISSN：1432-0525
出版地區(qū)：GERMANY
是否預(yù)警：否
出版商：Springer Berlin Heidelberg
出版周期：Monthly
創(chuàng)刊時(shí)間：1971
開源占比：0.4432
Gold OA文章占比：45.00%
OA被引用占比：0.12
出版國(guó)人文章占比：0.08
出版撤稿占比：0
研究類文章占比：92.31%

Acta Informatica CiteScore評(píng)價(jià)數(shù)據(jù)（2024年最新版）

CiteScore

SJR

SNIP

CiteScore 指數(shù)

2.4

0.407

1.118

學(xué)科類別	分區(qū)	排名	百分位
大類：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 是衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)，是在 Scopus 中衡量期刊影響力的另一個(gè)指標(biāo)。當(dāng)年CiteScore 的計(jì)算依據(jù)是期刊最近4年（含計(jì)算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻(xiàn)數(shù)。例如，2022年的 CiteScore 計(jì)算方法為：2022年的 CiteScore =2019-2022年收到的對(duì)2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻(xiàn)數(shù)量注：文獻(xiàn)類型包括：文章、評(píng)論、會(huì)議論文、書籍章節(jié)和數(shù)據(jù)論文。

Acta Informatica中科院評(píng)價(jià)數(shù)據(jù)

中科院 2023年12月升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng)	4區(qū)

中科院 2022年12月升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng)	4區(qū)

中科院 2021年12月舊的升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng)	4區(qū)

中科院 2021年12月基礎(chǔ)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	工程技術(shù)	4區(qū)	COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng)	4區(qū)

中科院 2021年12月升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng)	4區(qū)

中科院 2020年12月舊的升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	3區(qū)	COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng)	3區(qū)

Acta Informatica JCR評(píng)價(jià)數(shù)據(jù)（2023-2024年最新版）

按JIF指標(biāo)學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS	SCIE	Q4	237 / 249	5%

按JCI指標(biāo)學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS	SCIE	Q4	237 / 251	5.78%

Acta Informatica歷年數(shù)據(jù)統(tǒng)計(jì)

影響因子

中科院分區(qū)

Acta Informatica中國(guó)學(xué)者發(fā)文選摘

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