| 期刊全称 | Acta Informatica | |||||||||||||||||||||||||||||||||||||||
| 期刊缩写 | ACTA INFORM | |||||||||||||||||||||||||||||||||||||||
|
涉及主题
（科研通AI识别） |
||||||||||||||||||||||||||||||||||||||||
| 期刊介绍 | 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. | |||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| 期刊ISSN | print: 0001-5903on-line: 1432-0525 | |||||||||||||||||||||||||||||||||||||||
| 2026最新影响因子 (2026年6月17日发布) 与上一年的差值 |
1.2↑ 0.7 | |||||||||||||||||||||||||||||||||||||||
| 历年影响因子 |
|
|||||||||||||||||||||||||||||||||||||||
| 历年发表/被引量 （科研通AI通过大数据分析） 最后更新日期：2026-07-02 |
|
|||||||||||||||||||||||||||||||||||||||
| h-index（2021） | 34 | |||||||||||||||||||||||||||||||||||||||
| 自引率 | 0.00% | |||||||||||||||||||||||||||||||||||||||
| 涉及的研究领域 | 工程技术-计算机：信息系统 | |||||||||||||||||||||||||||||||||||||||
| 2026年新锐分区 （2026年3月24日发布） |
|
|||||||||||||||||||||||||||||||||||||||
| 2026年WOS期刊分区 （2026年6月17日发布） |
JCR学科分类
JCI学科分类
|
|||||||||||||||||||||||||||||||||||||||
| 中科院2025年分区 （2025年3月20日发布） |
|
|||||||||||||||||||||||||||||||||||||||
| 中科院2024年分区 （2023年12月27日发布） |
|
|||||||||||||||||||||||||||||||||||||||
| 中科院《国际期刊预警名单（试行）》名单 |
2024年02月发布的2024版：不在预警名单中 2023年01月发布的2023版：不在预警名单中 2021年12月发布的2021版：不在预警名单中 2021年01月发布的2020版：不在预警名单中 |
|||||||||||||||||||||||||||||||||||||||
| 期刊主页 |
（系统检测到多个链接，仅供参考，如有错误，请通过页面底部反馈） |
|||||||||||||||||||||||||||||||||||||||
| 投稿网址 | https://submission.nature.com/new-submission/236/3 | |||||||||||||||||||||||||||||||||||||||
| 编辑部地址 | SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013 | |||||||||||||||||||||||||||||||||||||||
| 出版商 | Springer Berlin Heidelberg | |||||||||||||||||||||||||||||||||||||||
| 出版国家（地区） | GERMANY | |||||||||||||||||||||||||||||||||||||||
| 出版语言 | Multi-Language | |||||||||||||||||||||||||||||||||||||||
| 出版周期 | Monthly | |||||||||||||||||||||||||||||||||||||||
| 创刊年份 | 1971 | |||||||||||||||||||||||||||||||||||||||
| 每年出版文章数 | 23 | |||||||||||||||||||||||||||||||||||||||
| Gold OA文章占比 | 39.71% | |||||||||||||||||||||||||||||||||||||||
| 原创研究文献占比 （排除综述） |
100.00% | |||||||||||||||||||||||||||||||||||||||
| SCI收录类型 |
Science Citation Index Expanded (SCIE) Scopus (CiteScore) |
|||||||||||||||||||||||||||||||||||||||
| PubMed链接 | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0001-5903%5BISSN%5D | |||||||||||||||||||||||||||||||||||||||
| 平均审稿周期 | 网友分享经验： >12周，或约稿 |
|||||||||||||||||||||||||||||||||||||||
| 平均录用比例 | 网友分享经验： 容易 |
|||||||||||||||||||||||||||||||||||||||
| 相关链接 |
您可以在上述网站查看该期刊的网友互动，及期刊影响力的其它指标。
|
|||||||||||||||||||||||||||||||||||||||
皖公网安备34019202002308
