在线客服
首页 > SCI杂志 > 计算机科学期刊 > 中科院4区 > JCRQ3 > 杂志介绍(非官网)
Formal Aspects Of Computing
加入收藏
人气：7

Formal Aspects Of Computing SCIE

  • ISSN：0934-5043
  • 出版商：Springer London
  • 出版语言：English
  • E-ISSN：1433-299X
  • 出版地区：UNITED STATES
  • 是否预警：否
  • 创刊时间：1989
  • 出版周期：Quarterly
  • TOP期刊：否
  • 影响因子：1.4
  • 是否OA：未开放
  • CiteScore：3.3
  • H-index：36
  • 研究类文章占比：100.00%
  • Gold OA文章占比：37.50%
  • 开源占比：0.3871
  • OA被引用占比：0.0645...
  • 出版国人文章占比：0.1
  • 出版修正文章占比：0.0526...
  • 国际标准简称：FORM ASP COMPUT
  • 涉及的研究方向：工程技术-计算机：软件工程
  • 中文名称：计算的形式方面
  • 预计审稿周期： 12周，或约稿
国内分区信息：

大类学科：计算机科学  中科院分区  4区

国际分区信息：

JCR学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING  JCR分区  Q3

学术咨询 免费咨询
期刊简介 国内分区 国际分区 CiteScore 期刊评价 发文统计 高引用文章
  • 影响因子：1.4
  • Gold OA文章占比：37.50%
  • OA被引用占比：0.0645...
  • CiteScore：3.3
  • 研究类文章占比：100.00%
  • 开源占比：0.3871
  • 出版国人文章占比：0.1

推荐合适期刊 投稿指导 助力快速见刊免费咨询

Formal Aspects Of Computing 期刊简介

Formal Aspects Of Computing是计算机科学领域的一本优秀期刊。由Springer London出版社出版。该期刊主要发表计算机科学领域的原创性研究成果。创刊于1989年，该期刊主要刊载工程技术-计算机：软件工程及其基础研究的前瞻性、原始性、首创性研究成果、科技成就和进展。该期刊不仅收录了该领域的科技成就和进展，更以其深厚的学术积淀和卓越的审稿标准，确保每篇文章都具备高度的学术价值。此外，该刊同时被SCIE数据库收录，并被划分为中科院SCI4区期刊，它始终坚持创新，不断专注于发布高度有价值的研究成果，不断推动计算机科学领域的进步。

同时，我们注重来稿文章表述的清晰度，以及其与我们的读者群体和研究领域的相关性。为此，我们期待所有投稿的文章能够保持简洁明了、组织有序、表述清晰。该期刊平均审稿速度为平均 12周，或约稿 。若您对于稿件是否适合该期刊存在疑虑，建议您在提交前主动与期刊主编取得联系，或咨询本站的客服老师。我们的客服老师将根据您的研究内容和方向，为您推荐最为合适的期刊，助力您顺利投稿，实现学术成果的顺利发表。

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区 否 否
中科院分区 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区 否 否

Formal Aspects Of Computing 期刊国际分区信息（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指数（2024年最新版）

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

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

39%

期刊评价数据趋势图

中科院分区趋势图
期刊影响因子和自引率趋势图

发文统计

年发文量统计
年份 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023
年发文量 38 35 36 38 26 22 19 34 9 21
国家/地区发文量统计
国家/地区 数量
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

高引用文章

文章名称 引用次数
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

我们的优势

相关期刊

推荐期刊

免责声明

若用户需要出版服务，请联系出版商：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013。

友情链接