欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

Formal Aspects Of Computing期刊
人气 390
加入收藏

Formal Aspects Of Computing

SCIE

《Formal Aspects Of Computing》创刊于1989年，是一本计算机科学国际学术期刊，出版语言为English，年发文量21。预计审稿周期约 12周，或约稿 ，近三年曾被列入预警期刊名单。

中科院 4区
JCR Q3
Citescore 3.3
TOP期刊 否
ISSN: 0934-5043
出版地区: UNITED STATES
E-ISSN: 1433-299X
出版周期: Quarterly
出版商: Springer London
创刊时间: 1989年
国际简称: FORM ASP COMPUT
出版语言: English
研究方向: 工程技术-计算机：软件工程
中文名称: 计算的形式方面

Formal Aspects Of Computing杂志简介

《Formal Aspects Of Computing》由Springer London出版社出版，是计算机：软件工程领域的国际权威期刊。自1989年创刊以来，该刊始终致力于发表计算机科学领域的原创性、前瞻性研究成果，尤其关注计算机科学领域的理论、政策与实践。该刊被SCIE数据库收录，在JCR学科，按JIF指标学科分区学科“COMPUTER SCIENCE, SOFTWARE ENGINEERING”中位于Q3区；按JCI指标学科分区学科“COMPUTER SCIENCE, SOFTWARE ENGINEERING”中位于Q4区；中国科学院期刊分区为大类计算机科学4区，小类计算机：软件工程4区。此外，在CiteScore学科分类中，该刊在“Theoretical Computer Science”小类中位列Q2区，排名57 / 130，显示出在计算机：软件工程领域的突出影响力。

作为一本非开放获取期刊，《Formal Aspects Of Computing》2023年发文量在21篇，研究类论文占比为100.00%。期刊最新影响因子为1.4 ，CiteScore为3.3，学术影响力持续稳健。该刊面向全球研究者，为探讨计算机：软件工程领域提供了高水平的学术交流平台。

WOS期刊JCR分区（2023-2024年最新版）

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

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

24.81%

CiteScore（2025年最新版）

CiteScore数据趋势图

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

56%
大类：Mathematics 小类：Software Q3 246 / 407

39%

Formal Aspects Of Computing中国科学院期刊分区

中国科学院期刊分区趋势图

中国科学院期刊分区 （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区
否 否

Formal Aspects Of Computing高引用文章

  • 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

Formal Aspects Of Computing学术指标

年份 影响因子 年发文量 引文指标 自引率 CiteScore
2023 1.4 - 21 - 0.39 - 0 - 3.3 -
2022 1 - 9 - 0.32 - 0 - 3 -
2021 0.886 - 34 - 0.37 - 15.3 - 2.6 -
2020 0.627 - 19 - 0.29 - 12.4 - 3 -
2019 0.516 - 22 - 0.43 - 6.2 - 3.3 -
2018 0.784 - 26 - 0.61 - 3.4 - 3.4 -

国家/地区发文量

国家/地区 发文量
USA 21
England 16
GERMANY (FED REP GER) 16
CHINA MAINLAND 14
France 14
Italy 9
Canada 7
Denmark 5
Australia 4
Netherlands 4

机构发文量统计

机构 发文量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) 9
UNIVERSITE PARIS SACLAY 7
EAST CHINA NORMAL UNIVERSITY 5
INRIA 5
CHINESE ACADEMY OF SCIENCES 4
CEA 3
INSTITUT POLYTECHNIQUE DE PARIS 3
MASSACHUSETTS INSTITUTE OF TECHNOLOGY (MIT) 3
NATIONAL AERONAUTICS & SPACE ADMINISTRATION (NASA) 3
NEWCASTLE UNIVERSITY - UK 3
欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛
狼人色综合| 97AV色导航| 亚洲精品视频18| 免费看无码一级A片放| 国产性爱99| 亚洲A片播放| 大香蕉黄色电影| 色婷婷五月天性爱视频| 超碰蜜桃| 超碰97成人| 9999激情| 亚洲欧美一级特黄A片| 97超碰电影| 超碰毛片在线观看| 超碰夜射猫| 黄色AV片在线观看| av性爱综合| 日韩AV一区二区在线| 超碰九热| 一级精品一级AV| aV三级色情片| 特黄不卡AV片在线观看| 亚洲Av操操操| 黄色免费A级片| 成人毛片在线| 国产精品熟女av| 日韩A级无码免费视频| 成人午夜剧场欧美A一| 亚洲口爆在线观看| 国内AV影院| 国产91av在线| 国产一级特黄A片毛| 素人中出在线播放| 久久香蕉AV| 国产AV久久久一区| 亚洲AV导航网| 亚州一级A片电影| 日韩欧美啪啪| 黄色一级无码| 黄色九区| caopeng国产|