Acta Informatica

期刊中文名：信息法ISSN：0001-5903E-ISSN：1432-0525

該雜志國際簡稱：ACTA INFORM，是由出版商Springer Berlin Heidelberg出版的一本致力于發布計算機科學研究新成果的的專業學術期刊。該雜志以COMPUTER SCIENCE, INFORMATION SYSTEMS研究為重點，主要發表刊登有創見的學術論文文章、行業最新科研成果，扼要報道階段性研究成果和重要研究工作的最新進展，選載對學科發展起指導作用的綜述與專論，促進學術發展，為廣大讀者服務。該刊是一本國際優秀雜志，在國際上有很高的學術影響力。

基本信息：: 期刊簡稱：ACTA INFORM; 是否OA：未開放; 是否預警：否; Gold OA文章占比：45.00%

出版信息：: 出版地區：GERMANY; 出版周期：Monthly; 出版語言：Multi-Language; 出版商：Springer Berlin Heidelberg

評價信息：: 中科院分區：4區; JCR分區：Q4; 影響因子：0.4; CiteScore：2.4

投稿咨詢加急咨詢

雜志介紹中科院JCR分區 JCR分區 CiteScore 投稿經驗

雜志介紹

Acta Informatica雜志介紹

《Acta Informatica》是一本以Multi-Language為主的未開放獲取國際優秀期刊，中文名稱信息法，本刊主要出版、報道計算機科學-COMPUTER SCIENCE, INFORMATION SYSTEMS領域的研究動態以及在該領域取得的各方面的經驗和科研成果，介紹該領域有關本專業的最新進展，探討行業發展的思路和方法，以促進學術信息交流，提高行業發展。該刊已被國際權威數據庫SCIE收錄，為該領域相關學科的發展起到了良好的推動作用，也得到了本專業人員的廣泛認可。該刊最新影響因子為0.4，最新CiteScore 指數為2.4。

本刊近期中國學者發表的論文主要有：

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分區

Acta Informatica雜志中科院分區信息

2023年12月升級版

綜述：否

TOP期刊：否

大類：計算機科學 4區

小類：