Formal Aspects Of Computing

Formal Aspects Of Computing SCIE

计算的形式方面杂志

中科院分区:4区 JCR分区:Q3 预计审稿周期: 12周,或约稿

《Formal Aspects Of Computing》是一本由Springer London出版商出版的计算机科学国际刊物,国际简称为FORM ASP COMPUT,中文名称计算的形式方面。该刊创刊于1989年,出版周期为Quarterly。 《Formal Aspects Of Computing》2023年影响因子为1.4,被收录于国际知名权威数据库SCIE。

ISSN:0934-5043
研究方向:工程技术-计算机:软件工程
是否预警:否
E-ISSN:1433-299X
出版地区:UNITED STATES
Gold OA文章占比:37.50%
语言:English
是否OA:未开放
OA被引用占比:0.0645...
出版商:Springer London
出版周期:Quarterly
影响因子:1.4
创刊时间:1989
年发文量:21
杂志简介 中科院分区 JCR分区 CiteScore 发文统计 通讯方式 相关杂志 期刊导航

Formal Aspects Of Computing 杂志简介

《Formal Aspects Of Computing》重点专注发布工程技术-计算机:软件工程领域的新研究,旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今,在工程技术-计算机:软件工程领域,有较高影响力,对来稿文章质量要求较高,稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。

Formal Aspects Of Computing 杂志中科院分区

中科院SCI分区数据
中科院SCI期刊分区(2023年12月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 4区
中科院SCI期刊分区(2022年12月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 3区
中科院SCI期刊分区(2021年12月旧的升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 3区
中科院SCI期刊分区(2021年12月基础版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 4区
中科院SCI期刊分区(2021年12月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 3区
中科院SCI期刊分区(2020年12月旧的升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 4区
中科院分区趋势图
影响因子趋势图

中科院JCR分区:中科院JCR期刊分区(又称分区表、分区数据)是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果,是衡量学术期刊影响力的一个重要指标,一般而言,发表在1区和2区的SCI论文,通常被认为是该学科领域的比较重要的成果。

影响因子:是汤森路透(Thomson Reuters)出品的期刊引证报告(Journal Citation Reports,JCR)中的一项数据,现已成为国际上通用的期刊评价指标,不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

Formal Aspects Of Computing 杂志JCR分区

Web of Science 数据库(2023-2024年最新版)
按JIF指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q3 88 / 131

33.2%

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

24.81%

Formal Aspects Of Computing CiteScore 评价数据(2024年最新版)

  • CiteScore:3.3
  • SJR:0.518
  • SNIP:1.091

CiteScore 排名

学科类别 分区 排名 百分位
大类:Mathematics 小类:Theoretical Computer Science Q2 57 / 130

56%

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

39%

CiteScore趋势图
年发文量趋势图

CiteScore:是由Elsevier2016年发布的一个评价学术期刊质量的指标,该指标是指期刊发表的单篇文章平均被引用次数。CiteScore和影响因子的作用是一样的,都是可以体现期刊质量的重要指标,给选刊的作者了解期刊水平提供帮助。

Formal Aspects Of Computing 杂志发文统计

文章名称引用次数

  • Variability-based model transformation: formal foundation and application4
  • A formal approach for detection of security flaws in the android permission system2
  • A UTP approach for rTiMo2
  • Toward automatic verification of quantum programs2
  • Multiple model synchronization with multiary delta lenses with amendment and K-Putput2
  • Alternative shaper: a model for automatic design generation2
  • Finding suitable variability abstractions for lifted analysis2
  • A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency1
  • Battery-aware scheduling in low orbit: the GomX-3 case1
  • ProFeat: feature-oriented engineering for family-based probabilistic model checking1

国家/地区发文量

  • USA21
  • England16
  • GERMANY (FED REP GER)16
  • CHINA MAINLAND14
  • France14
  • Italy9
  • Canada7
  • Denmark5
  • Australia4
  • Netherlands4

机构发文发文量

  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)9
  • UNIVERSITE PARIS SACLAY7
  • EAST CHINA NORMAL UNIVERSITY5
  • INRIA5
  • CHINESE ACADEMY OF SCIENCES4
  • CEA3
  • INSTITUT POLYTECHNIQUE DE PARIS3
  • MASSACHUSETTS INSTITUTE OF TECHNOLOGY (MIT)3
  • NATIONAL AERONAUTICS & SPACE ADMINISTRATION (NASA)3
  • NEWCASTLE UNIVERSITY - UK3

Formal Aspects Of Computing 杂志社通讯方式

《Formal Aspects Of Computing》杂志通讯方式为:SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。详细征稿细则请查阅杂志社征稿要求。本站可提供SCI投稿辅导服务,SCI检索,确保稿件信息安全保密,合乎学术规范,详情请咨询客服。

免责声明

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