Formal Aspects Of Computing-影响因子1.4-首页

杂志简介中科院分区 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检索，确保稿件信息安全保密，合乎学术规范，详情请咨询客服。