国际简称:ACTA INFORM 参考译名:信息法
主要研究方向:工程技术-计算机:信息系统 非预警期刊 审稿周期: 12周,或约稿
《信息法》(Acta Informatica)是一本由Springer Berlin Heidelberg出版的以工程技术-计算机:信息系统为研究特色的国际期刊,发表该领域相关的原创研究文章、评论文章和综述文章,及时报道该领域相关理论、实践和应用学科的最新发现,旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊,近三年没有被列入预警名单。
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.
CiteScore | SJR | SNIP | CiteScore 指数 | ||||||||||||||||
2.4 | 0.407 | 1.118 |
|
名词解释:CiteScore 是衡量期刊所发表文献的平均受引用次数,是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年(含计算年度)的被引次数除以该期刊近四年发表的文献数。例如,2022年的 CiteScore 计算方法为:2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量 注:文献类型包括:文章、评论、会议论文、书籍章节和数据论文。
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 工程技术 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 3区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 3区 |
按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
学科:COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5% |
按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
学科:COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78% |
Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Journal: ACTA INFORMATICA, 2018, Vol.55, 625-626, DOI:10.1007/s00236-018-0330-0
Author: Cao Chunhua, Yang Shuang, Yang Di
Journal: ACTA INFORMATICA, 2014, Vol.51, 339-346, DOI:10.1007/s00236-014-0200-3
Author: Suo Ping Li, Yong Qiang Zhou, Yong Zhou
Journal: ACTA INFORMATICA, 2014, Vol.51, 51-60, DOI:10.1007/s00236-013-0192-4
Author: Yangjia Li, Nengkun Yu, Mingsheng Ying
Journal: ACTA INFORMATICA, 2013, Vol.51, 1-24, DOI:10.1007/s00236-013-0185-3
Author: Chunhua Cao, Haiyan Liu, Di Yang
Journal: ACTA INFORMATICA, 2015, Vol.53, 23-33, DOI:10.1007/s00236-015-0233-2
Author: Xiaoning Peng, Zhijun Xiao
Journal: ACTA INFORMATICA, 2015, Vol.53, 459-468, DOI:10.1007/s00236-015-0247-9
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
Author: Ke Gu, Weijia Jia, Guojun Wang, Sheng Wen
Journal: ACTA INFORMATICA, 2016, Vol.54, 521-541, DOI:10.1007/s00236-016-0270-5
Engineering Applications Of Artificial Intelligence
中科院 2区 JCR Q1
Icga Journal
中科院 4区 JCR Q4
Egyptian Informatics Journal
中科院 3区 JCR Q1
Computer Vision And Image Understanding
中科院 3区 JCR Q1
Journal Of Grid Computing
中科院 2区 JCR Q1
Neurocomputing
中科院 2区 JCR Q1
Ieee Transactions On Dependable And Secure Computing
中科院 2区 JCR Q1
Acm Transactions On Internet Technology
中科院 3区 JCR Q1
若用户需要出版服务,请联系出版商:SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。