期刊简介
《Formal Aspects Of Computing》重点专注发布工程技术-计算机：软件工程领域的新研究，旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今，在工程技术-计算机：软件工程领域，有较高影响力，对来稿文章质量要求较高，稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。
近年评价数据趋势图
CiteScore指数统计
CiteScore指标的应用非常广泛，以期刊的引用次数为基础评估期刊的影响力。它可以反映期刊的学术影响力和学术水平，是学术界常用的期刊评价指标之一。
| CiteScore | SJR | SNIP | CiteScore排名 | |||
|---|---|---|---|---|---|---|
| 3.3 | 0.518 | 1.091 | 学科类别 | 分区 | 排名 | 百分位 |
|
大类：Mathematics
小类：TheoreticalComputerScience
|
Q2 | 57/130 |
56%
|
|||
|
大类：Mathematics
小类：Software
|
Q3 | 246/407 |
39%
|
|||
CiteScore是由Elsevier公司开发的一种用于衡量科学期刊影响力的指标，以期刊的引用次数为基础评估期刊的影响力。这个指标是由Scopus数据库支持，以四年为一个时段，连续评估期刊和丛书的引文影响力的。具体来说，CiteScore是计算某期刊连续三年发表的论文在第四年度的篇均引用次数。CiteScore和影响因子（IF）有所不同。例如，在影响因子的计算中，分子是来自所有文章的引用次数，包括编辑述评、读者来信、更正信息和新闻等非研究性文章，而分母则不包括这些非研究性文章。然而，在CiteScore的计算中，分子和分母都包括这些非研究性文章。因此，如果这些非研究性文章比较多，由于分母较大，相较于影响因子，CiteScore计算出来的分数可能会偏低。此外，CiteScore的引用数据来自Scopus数据库中的22000多个期刊，比影响因子来自Web
of Science数据库的11000多个期刊多了一倍。
WOS(JCR)分区
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 99 / 131 |
24.81%
|
WOS(JCR)分区是由科睿唯安公司提出的一种新的期刊评价指标，分区越靠前一般代表期刊质量越好，发文难度也越高。这种分级体系有助于科研人员快速了解各个期刊的影响力和地位。JCR将所有期刊按照各个学科领域进行分类，然后以影响因子为标准平均分为四个等级：Q1、Q2、Q3和Q4区。这种设计使得科研人员可以更容易地进行跨学科比较。
中科院SCI期刊分区
中科院SCI期刊分区是由中国科学院国家科学图书馆制定的。将所有的期刊按照学科进行分类，以影响因子为标准平均分为四个等级。分区越靠前一般代表期刊质量越好，发文难度也越高。
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区
|
发文统计
文章名称
引用次数
Variability-based model transformation: formal foundation and application
4
A formal approach for detection of security flaws in the android permission system
2
A UTP approach for rTiMo
2
Toward automatic verification of quantum programs
2
Multiple model synchronization with multiary delta lenses with amendment and K-Putput
2
Alternative shaper: a model for automatic design generation
2
Finding suitable variability abstractions for lifted analysis
2
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
1
Battery-aware scheduling in low orbit: the GomX-3 case
1
ProFeat: feature-oriented engineering for family-based probabilistic model checking
1
国家/地区
发文量
USA
21
England
16
GERMANY (FED REP GER)
16
CHINA MAINLAND
14
France
14
Italy
9
Canada
7
Denmark
5
Australia
4
Netherlands
4
相关期刊
International Journal Of Control Automation And Systems
学科领域：计算机
期刊收录：SCIE
审稿周期：约12.0个月
影响因子 2.5
Ieee Transactions On Games
学科领域：计算机
期刊收录：SCIE
审稿周期：-
影响因子 1.7
Acm Transactions On Autonomous And Adaptive Systems
学科领域：计算机
期刊收录：SCIE
审稿周期：12周，或约稿
影响因子 2.2
Genetic Programming And Evolvable Machines
学科领域：计算机
期刊收录：SCIE
审稿周期：12周，或约稿
影响因子 1.7
Journal Of Classification
学科领域：计算机
期刊收录：SSCI,SCIE
审稿周期：12周，或约稿
影响因子 1.8
International Journal Of Web Services Research
学科领域：计算机
期刊收录：SCIE
审稿周期：12周，或约稿
影响因子 0.8
13146094131
service@comeonbb.com
