2021年最新SCI期刊影响因子查询系统
ACTA INFORMATICA 期刊详细信息
基本信息
期刊名称 | ACTA INFORMATICA ACTA INFORMATICA |
---|---|
期刊ISSN | 0001-5903 |
期刊官方网站 | https://www.springer.com/journal/236 |
是否OA | 否 |
出版商 | Springer New York |
出版周期 | Monthly |
始发年份 | 1971 |
年文章数 | 26 |
最新影响因子 | 0.871(2021) |
中科院SCI期刊分区
大类学科 | 小类学科 | Top | 综述 |
---|---|---|---|
工程技术4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机:信息系统4区 | 否 | 否 |
CiteScore
CiteScore排名 | CiteScore | SJR | SNIP | ||
---|---|---|---|---|---|
学科 | 排名 | 百分位 | 1.79 | 0.505 | 1.705 |
Computer Science Computer Networks and Communications |
115 / 274 | 58% |
|||
Computer Science Information Systems |
125 / 269 | 53% |
|||
Computer Science Software |
180 / 360 | 50% |
补充信息
自引率 | 0.00% |
---|---|
H-index | 32 |
SCI收录状况 |
Science Citation Index
Science Citation Index Expanded |
官方审稿时间 | |
网友分享审稿时间 | 数据统计中,敬请期待。 |
PubMed Central (PML) | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0001-5903%5BISSN%5D |
投稿指南
期刊投稿网址 | https://www.springer.com/journal/236/submission-guidelines |
---|---|
收稿范围 | 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 |
收录体裁 | |
投稿指南 | https://www.springer.com/journal/236/submission-guidelines |
投稿模板 | |
参考文献格式 | |
编辑信息 |