Formal Aspects Of Computing

Formal Aspects Of Computing

计算的形式方面

  • 4区 中科院分区
  • Q4 JCR分区

期刊简介

《Formal Aspects Of Computing》是由Springer London出版社于1989年创办的英文国际期刊(ISSN: 0934-5043,E-ISSN: 1433-299X),该期刊长期致力于计算机:软件工程领域的创新研究,主要研究方向为工程技术-计算机:软件工程。作为SCI、SCIE收录期刊(JCR分区 Q4,中科院 4区),本刊采用OA未开放获取模式(OA占比%),以发表计算机:软件工程领域等方向的原创性研究为核心(研究类文章占比100.00%%)。凭借严格的同行评审与高效编辑流程,期刊年载文量精选控制在24篇,确保学术质量与前沿性。成果覆盖Web of ScienceWeb of Science、Scopus等国际权威数据库,为学者提供推动计算机科学领域高水平交流平台。

投稿咨询

投稿提示

Formal Aspects Of Computing审稿周期约为>12周,或约稿。该刊近年未被列入国际预警名单,年发文量约24篇,录用竞争适中,主题需确保紧密契合计算机科学前沿。投稿策略提示:避开学术会议旺季投稿以缩短周期,语言建议专业润色提升可读性。

  • 计算机科学 大类学科
  • English 出版语言
  • 是否预警
  • SCI、SCIE 期刊收录
  • 24 发文量

中科院分区

《新锐期刊分区表》(2026年3月发布)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
4区

期刊分区表(2025年3月升级版)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
3区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
3区

期刊分区表(2023年12月升级版)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
4区

期刊分区表(2022年12月升级版)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
3区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
3区

期刊分区表(2021年12月升级版)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
3区

JCR分区

2025-2026年最新版

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 105 / 128

18.4

学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 103 / 128

19.92

2024-2025年最新版

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q3 88 / 129

32.2

学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q3 85 / 129

34.5

2023-2024年最新版

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q3 88 / 131

33.2

学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 99 / 131

24.81

CiteScore(2026年6月最新版)

CiteScore SJR SNIP CiteScore 排名
CiteScore:2.8 SJR:0.315 SNIP:0.805
学科类别 分区 排名 百分位
大类:Mathematics 小类:Theoretical Computer Science Q2 68 / 135

50%

大类:Mathematics 小类:Software Q3 298 / 503

40%

期刊发文

  • Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDES

    Author: Zhao, Hongyan; Zhu, Huibiao; Sheng, Feng; He, Jifeng; Bowen, Jonathan

    Journal: FORMAL ASPECTS OF COMPUTING. 2025; Vol. 37, Issue 2, pp. -. DOI: 10.1145/3696432

  • Formal Methods in Industr

    Author: ter Beek, Maurice H.; Chapman, Rod; Cleaveland, Rance; Garavel, Hubert; Gu, Rong; Ter Horst, Ivo; Keiren, Jeroen J. A.; Lecomte, Thierry; Leuschel, Michael; Rozier, Kristin Yvonne; Sampaio, Augusto; Seceleanu, Cristina; Thomas, Martyn; Willemse, Tim A. C.; Zhang, Lijun

    Journal: FORMAL ASPECTS OF COMPUTING. 2025; Vol. 37, Issue 1, pp. -. DOI: 10.1145/3689374