期刊在线咨询服务, 立即咨询
Formal Aspects Of Computing
  • ISSN:0934-5043

  • E-ISSN:1433-299X

  • H-index指数:36

  • 文章自引率:

  • 影响因子:1.4

  • 年发文量:21

  • 研究类文章占比:100.00%

  • 开源占比:0.38...

  • OA被引用占比:0.06...

计算的形式方面 SCIE

Formal Aspects Of Computing

  • 国际简称:FORM ASP COMPUT

  • 出版周期:Quarterly

  • 研究方向:工程技术 - 计算机:软件工程

  • 出版语言:English

  • 创刊时间:1989

  • 是否预警:

  • 出版地区:UNITED STATES

  • 是否 OA:未开放

期刊介绍

《Formal Aspects Of Computing》(《计算的形式方面》)是一本由Springer London出版的工程技术-计算机:软件工程学术刊物,主要刊载工程技术-计算机:软件工程相关领域研究成果与实践,旨在打造一种学术水平高、可读性强、具有全球影响力的学术期刊。本刊已入选SCIE来源期刊。该刊创刊于1989年,出版周期Quarterly。2023年发布的影响因子为1.4。

服务流程:

期刊简介

Magazine introduction

计算的形式方面(Formal Aspects Of Computing)在中科院分区中位于4区,JCR分区位于Q3。审稿速度一般为 12周,或约稿 ,且近两年没有被列入国际预警名单,您可以放心投稿。如果您需要投稿指导,可在线咨询我们的客服老师,我们将竭诚为您服务。

本期刊旨在发表理论与实践相结合的贡献。其目标是传播适用的研究。因此,如果新的理论贡献受到潜在应用的激励,则受到欢迎;如果现有形式主义的应用展示了方法或应用方面的新颖之处,则会引起人们的兴趣。

具体而言,计算形式方面的范围包括:

用于描述系统的完善符号;

可验证的设计方法;

基本计算概念的阐明;

容错设计方法;

定理证明支持;

状态探索工具;

广泛使用的符号和方法的形式基础;

需求分析的形式化方法。

中科院SCI分区

Magazine introduction

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区

2021年12月基础版

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

2021年12月升级版

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

2020年12月旧的升级版

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

分区表升级版:旨在解决期刊学科体系划分与学科发展以及融合趋势的不相容问题。升级版有如下优势:一是论文层级的主题体系既能体现学科交叉特点,又可以精准揭示期刊载文的多学科性;二是采用“期刊超越指数”替代影响因子指标,解决了影响因子数学性质缺陷对评价结果的干扰。整体而言,分区表升级版(试行)突破了期刊评价中学科体系构建、评价指标选择等瓶颈问题,能够更为全面地揭示学术期刊的影响力,为科研评价“去四唯”提供解决思路。相关研究成果经过国际同行的认可,已经发表在科学计量学领域国际重要期刊。

JCR 分区

Magazine introduction(2023-2024年最新版)

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

33.2%

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

24.81%

JCR:JCR没有设置大类,只分为176个具体学科,按当期(1年)的影响因子进行分区;JCR是按照“平均主义”思想,根据刊物IF的高至低平均划分4个区,每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构,1区只有5%的顶级期刊,2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少,杂志质量相对也高,基本都是本领域的顶级期刊。

统计数据

Magazine introduction

影响因子历年变化趋势

CiteScore历年变化趋势

中科院JCR分区历年变化趋势

引文指标和发文量历年变化趋势

自引数据历年变化趋势

影响因子:表示一种杂志的被引用频率,是国际上通用的期刊评价指标,它不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

CiteScore:是影响因子最强有力的竞争者,是衡量期刊影响力的一个指标,由爱思维尔于2020年发布,旨在让人们更细致地了解影响力对研究和期刊的意义。

CiteScore(2024年最新版)

CiteScore SJR SNIP CiteScore 指数
3.3 0.518 1.091
学科类别 分区 排名 百分位
大类:Mathematics 小类:Theoretical Computer Science Q2 57 / 130

56%

大类:Mathematics 小类:Software Q3 246 / 407

39%

TOP期刊

常见问题

Magazine introduction

Formal Aspects Of Computing

计算的形式方面定制服务方案,SCI检索

免责声明

Magazine introduction

若用户需要出版服务,请联系出版商,地址:SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。