該雜志國(guó)際簡(jiǎn)稱:ACTA INFORM,是由出版商Springer Berlin Heidelberg出版的一本致力于發(fā)布計(jì)算機(jī)科學(xué)研究新成果的的專業(yè)學(xué)術(shù)期刊。該雜志以COMPUTER SCIENCE, INFORMATION SYSTEMS研究為重點(diǎn),主要發(fā)表刊登有創(chuàng)見的學(xué)術(shù)論文文章、行業(yè)最新科研成果,扼要報(bào)道階段性研究成果和重要研究工作的最新進(jìn)展,選載對(duì)學(xué)科發(fā)展起指導(dǎo)作用的綜述與專論,促進(jìn)學(xué)術(shù)發(fā)展,為廣大讀者服務(wù)。該刊是一本國(guó)際優(yōu)秀雜志,在國(guó)際上有很高的學(xué)術(shù)影響力。
《Acta Informatica》是一本以Multi-Language為主的未開放獲取國(guó)際優(yōu)秀期刊,中文名稱信息法,本刊主要出版、報(bào)道計(jì)算機(jī)科學(xué)-COMPUTER SCIENCE, INFORMATION SYSTEMS領(lǐng)域的研究動(dòng)態(tài)以及在該領(lǐng)域取得的各方面的經(jīng)驗(yàn)和科研成果,介紹該領(lǐng)域有關(guān)本專業(yè)的最新進(jìn)展,探討行業(yè)發(fā)展的思路和方法,以促進(jìn)學(xué)術(shù)信息交流,提高行業(yè)發(fā)展。該刊已被國(guó)際權(quán)威數(shù)據(jù)庫(kù)SCIE收錄,為該領(lǐng)域相關(guān)學(xué)科的發(fā)展起到了良好的推動(dòng)作用,也得到了本專業(yè)人員的廣泛認(rèn)可。該刊最新影響因子為0.4,最新CiteScore 指數(shù)為2.4。
本刊近期中國(guó)學(xué)者發(fā)表的論文主要有:
Preface for the special issue for ATVA 2015
Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Some kinds of primitive and non-primitive words
Author: Cao Chunhua, Yang Shuang, Yang Di
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks
Author: Suo Ping Li, Yong Qiang Zhou, Yong Zhou
Termination of nondeterministic quantum programs
Author: Yangjia Li, Nengkun Yu, Mingsheng Ying
英文介紹
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.
中科院SCI分區(qū)
Acta Informatica雜志中科院分區(qū)信息
2023年12月升級(jí)版
綜述:否
TOP期刊:否
大類:計(jì)算機(jī)科學(xué) 4區(qū)
小類:
COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī):信息系統(tǒng) 4區(qū)
2022年12月升級(jí)版
綜述:否
TOP期刊:否
大類:計(jì)算機(jī)科學(xué) 4區(qū)
小類:
COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī):信息系統(tǒng) 4區(qū)
2021年12月舊的升級(jí)版
綜述:否
TOP期刊:否
大類:計(jì)算機(jī)科學(xué) 4區(qū)
小類:
COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī):信息系統(tǒng) 4區(qū)
2021年12月基礎(chǔ)版
綜述:否
TOP期刊:否
大類:工程技術(shù) 4區(qū)
小類:
COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī):信息系統(tǒng) 4區(qū)
2021年12月升級(jí)版
綜述:否
TOP期刊:否
大類:計(jì)算機(jī)科學(xué) 4區(qū)
小類:
COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī):信息系統(tǒng) 4區(qū)
2020年12月舊的升級(jí)版
綜述:否
TOP期刊:否
大類:計(jì)算機(jī)科學(xué) 3區(qū)
小類:
COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī):信息系統(tǒng) 3區(qū)