所属分类:SCI期刊
Acta Informatica期刊基本信息
ACTA INFORM
0001-5903
1.042
SCI、SCIE
No
GERMANY
Monthly
1971
Acta Informatica中文介绍
《Acta Informatica》是一本由SPRINGER出版商出版的专业工程技术期刊,该刊创刊于1971年,刊期Monthly,该刊已被国际权威数据库SCI、SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:工程技术 4区,小类学科:计算机:信息系统 4区;在JCR(Journal Citation Reports)分区等级为Q4。该刊发文范围涵盖计算机:信息系统等领域,旨在及时、准确、全面地报道国内外计算机:信息系统工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等,促进学术交流,鼓励学术创新。2021年影响因子为0.871,平均审稿速度>12周,或约稿。
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中科院分区
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统 | 4区 | 否 | 否 |
Acta Informatica期刊近9年JCR分区变化趋势
Acta InformaticaJCR分区(JCR2021-2022年分区)
JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
Q4 | COMPUTER SCIENCE, INFORMATION SYSTEMS | Q4 | 0.871 |
Acta Informatica期刊近7年影响因子变化趋势
Acta Informatica期刊的CiteScore值(CiteScore2021-2022年CiteScore值)
CiteScore | SJR | SNIP | 学科类别 | 分区 | 排名 | 百分位 |
2.30 | 0.623 | 1.415 | 大类:Computer Science 小类:Computer Networks and Communications | Q3 | 202 / 359 |
43% |
大类:Computer Science 小类:Information Systems | Q3 | 201 / 353 |
43% |
|||
大类:Computer Science 小类:Software | Q3 | 266 / 398 |
33% |
Acta Informatica期刊近7年自引率变化趋势