《Formal Aspects Of Computing》重点专注发布工程技术-计算机：软件工程领域的新研究，旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今，在工程技术-计算机：软件工程领域，有较高影响力，对来稿文章质量要求较高，稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。
| CiteScore | SJR | SNIP | CiteScore排名 | |||
|---|---|---|---|---|---|---|
| 3.3 | 0.518 | 1.091 | 学科类别 | 分区 | 排名 | 百分位 |
|
大类：大类：Mathematics
小类：小类：TheoreticalComputerScience
|
Q2 | 57/130 | 56% | |||
|
大类：大类：Mathematics
小类：小类：Software
|
Q3 | 246/407 | 39% | |||
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 | 33.2% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 99 / 131 | 24.81% |
文章名称
引用次数
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
国家/地区
发文量
TUSA
21
TEngland
16
TGERMANY (FED REP GER)
16
TCHINA MAINLAND
14
TFrance
14
TItaly
9
TCanada
7
TDenmark
5
TAustralia
4
TNetherlands
4
