欧州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√在线_欧美一区二区三区久久网_一级日韩毛
国产亚洲91| a级篇黄色毛片| 在线观看韩国av| 69www国产| 天堂色色成人| 手机免费网站看AV| 最新中文av免费观看| 青青青分类视频在线| 国产97视频| 中国黄色一级片| xx高清无码| 看A网址| A禁止看| 超碰91电影| 中国A片网| 成人黄色AV天堂| 超碰成人无码| 日韩AV天| av成人网站| 一级片无码| 日韩无码白虎| VA三级片| 亚V天堂| 青青视频毛片| www日韩成人AV| 日本熟妇天天干| 天堂AV网址| 在线观看黄色A片| AV大全在线| AV片网| 久久九九电影| 黄色片导航| 超碰精品免费福利| 青青青成人在线| 中国国产av| 无码一二三级| 日韩高清av在线播放| 日本黄色免费在线观看| 人兽亚洲日韩欧美| 日韩黄视频| 久久精品强奸|