首页 › 期刊 › 计算机科学 › Formal Aspects of Computing
Formal Aspects of Computing
出版商：Association for Computing Machinery · ISSN：0934-5043, 1433-299X · 国家/地区：GB · 类型：journal · 创刊：1989 · 官网：http://www.springer.com/journal/00165/
研究主题：Formal Methods in Verification · Logic, programming, and type systems · Distributed systems and fault tolerance · Logic, Reasoning, and Knowledge · Model-Driven Software Engineering Techniques
数据覆盖：11 个公开学术数据源交叉核验（ccf、crossref、fqb、jcr、openalex、scimago、submission、wikidata、xr、cwts、jufo）。
数据来源与实体核验
期刊官网 · OpenAlex 期刊实体 · Wikidata 期刊实体
核心指标
- 影响因子(JCR 2025):1.100
- JCR 分区:Q4(COMPUTER SCIENCE, SOFTWARE ENGINEERING)
- 中科院分区(2025):计算机科学 3区，大类排名 267/758;小类:COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 3区，排名 52/131
- 新锐分区(2026):计算机科学 4区
- SJR:0.315(Q3)，2025 年，United States
- CCF:B类 类(计算机科学理论)，推荐国际学术刊物，2026 年
- CWTS 2025:SNIP 0.805 · IPP 1.250 · 自引率 2.7%
- JUFO 出版渠道等级:芬兰 2 · 挪威 1 · 丹麦 2
- h-index:65
- i10 指数:514
- 近两年篇均被引:12.89
- 载文量 1244 · 总被引 22769
- Crossref DOI 总量:1230，近期 101
逐年趋势
- 近年影响因子:2021 0.886 → 2022 1 → 2023 1.4 → 2024 1.4 → 2025 1.1
- 近年 SJR:2021 0.508(Q3) → 2022 0.684(Q2) → 2023 0.518(Q3) → 2024 0.462(Q3) → 2025 0.315(Q3)
投稿参考
- 版面费(APC)约 $2780 USD(以期刊官网为准)
- 提供 LaTeX 投稿模板(acmart.cls)
同学科期刊推荐
- IEEE Communications Surveys and Tutorials — IF 50.6 · JCR Q1 · 中科院1区(Top)
- Foundations and Trends in Machine Learning — IF 36.6 · JCR Q1 · 中科院1区(Top)
- Proceedings of the IEEE — IF 30.9 · JCR Q1 · 中科院1区(Top)
- ACM Computing Surveys — IF 30.4 · JCR Q1 · 中科院1区(Top)
- Nature Machine Intelligence — IF 29.8 · JCR Q1 · 中科院1区(Top)
- Science Robotics — IF 25.5 · JCR Q1 · 中科院1区(Top)
- Cyborg and Bionic Systems — IF 20.9 · JCR Q1 · 中科院1区(Top)
- IEEE Transactions on Pattern Analysis and Machine Intelligence — IF 20.4 · JCR Q1 · 中科院1区(Top)
常见问题
《Formal Aspects of Computing》的影响因子是多少?
根据 JCR 2025 年数据,《Formal Aspects of Computing》的最新影响因子(IF)为 1.100。
《Formal Aspects of Computing》是几区期刊?
《Formal Aspects of Computing》中科院分区(2025年版)为计算机科学3区,JCR 分区为 Q4。
《Formal Aspects of Computing》是 CCF 几类期刊?
《Formal Aspects of Computing》是 CCF 推荐列表中的 B类 类(计算机科学理论)。
《Formal Aspects of Computing》的版面费(APC)是多少?
根据 OpenAlex 收录的价目,《Formal Aspects of Computing》的文章处理费(APC)约为 $2780 美元。实际费用与豁免政策请以期刊官网为准。