投稿咨询
期刊

教育 医学 经济 金融 管理 科技 工业 机械 农业 电力 水利 文学 艺术 文化 建筑 图书 档案 交通 体育 更多

首页 SCI杂志导航 中科院4区 JCR分区Q3 Formal Aspects Of Computing(非官网)
Formal Aspects Of Computing

期刊导航:

国内期刊 国际期刊 科普杂志

Formal Aspects Of Computing

SCIE（科学引文索引扩展版）

Formal Aspects Of Computing是一份国际专业期刊，致力于汇集全球范围内最优秀的计算机科学-COMPUTER SCIENCE, SOFTWARE ENGINEERING研究者，为他们提供一个展示最新研究成果、交流学术思想的平台。该期刊中文名称：计算的形式方面，国际简称：FORM ASP COMPUT，在中科院分区表2023年12月升级版中大类学科位于4区。本刊是一本OA未开放访问期刊，该刊预计审稿周期： 12周，或约稿 。

基础信息
  • 大类学科：计算机科学
  • 小类学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING
  • 是否预警：否
  • 影响因子：1.4
  • ISSN：0934-5043
  • E-ISSN：1433-299X
  • CiteScore：3.3
  • H-index：36
  • 出版语言：English
  • 出版商：Springer London
  • 出版地区：UNITED STATES
  • 出版周期：Quarterly
投稿咨询 加急服务
期刊简介 中科院分区 JCR分区 CiteScore 期刊指数 论文选摘
  • 是否预警：否
  • 创刊时间：1989
  • 是否OA：未开放
  • 出版地区：UNITED STATES
  • 影响因子：1.4
  • 年发文量：21
  • 出版周期：Quarterly
  • CiteScore：3.3
  • H-index：36
  • 研究类文章占比：100.00%
  • Gold OA文章占比：37.50%
  • 开源占比：0.3871
  • OA被引用占比：0.0645...
  • 出版国人文章占比：0.1
  • 出版修正文章占比：0.0526...

期刊简介

Formal Aspects Of Computing杂志是一本未开放获取期刊，由Springer London出版，Quarterly发行一次。该杂志是计算机科学领域方面发表综合文章的国际论坛。此外，该期刊还有助于促进这些研究领域的科学家之间的交流，从而开发新的研究机会，通过新发现推动该领域的发展，并接触到各个层次的科学家。该刊入选的论文应具有广泛意义的数据、综合研究或概念。

Formal Aspects Of Computing已被国际权威数据库SCIE收录。该刊欢迎来自所有计算机科学及其相关领域的投稿，编辑们致力于迅速评估和发表提交的论文，同时坚持高标准，该期刊发表多种类型的内容，包括原创研究论文、综述、信件、通讯和评论，这些内容详细阐述了该领域的重大进展并涵盖热门话题。近年在Formal Aspects Of Computing期刊上发表文章的机构主要的有：CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)、UNIVERSITE PARIS SACLAY、EAST CHINA NORMAL UNIVERSITY、INRIA、CHINESE ACADEMY OF SCIENCES；在该期刊上发表文章的主要国家和地区有：USA、England、GERMANY (FED REP GER)、CHINA MAINLAND、France。

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

中科院分区表被广泛应用于国际科研评价体系中。许多国际学术机构、研究基金以及大学都采用这种分区方式来评估研究者的学术贡献和水平，这使得中科院SCI期刊分区在国际上得到了广泛的认可和应用。中科院SCI期刊分区的计算方式主要基于期刊的三年平均影响因子， 这一计算方式更准确地反映期刊在一段时间内的学术影响力和水平。

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%

Cite Score（2024年最新版）

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

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

39%

CiteScore分区标准主要是基于学科领域期刊的引用次数排名进行划分的。具体来说，这个标准将期刊分为四个区域：Q1、Q2、Q3和Q4。Q1区包含的是引用次数排名最前的前25%的期刊，这些期刊在学科领域内具有最高的影响力。接下来的Q2区包含引用次数排名次高的25%的期刊，以此类推，Q3和Q4区分别包含引用次数排名中等的和后25%的期刊。

期刊指数

影响因子和CiteScore统计图

影响因子和CiteScore都是重要的学术评价指标，能够帮助研究者和学者了解期刊的学术影响力。影响因子（Impact Factor）和CiteScore在计算方式和覆盖范围上有所不同。影响因子主要关注期刊过去两年内发表的论文被引用的次数，而CiteScore则考虑了过去三年的数据。此外，影响因子是基于Web of Science数据库计算的，而CiteScore则是基于Scopus数据库。这使得两种指标在评估学术期刊时具有不同的侧重点和覆盖范围。

中科院分区表统计图
被他刊引用次数统计
引用他刊次数统计

期刊被他刊引用次数反映了期刊上发表的论文被其他研究者和学者引用的频率。被引指数越高，说明该期刊的论文在学术界受到的关注越广泛，影响力也越大。

期刊引用他刊次数指标通常指的是该期刊所发表的论文中引用其他期刊文献的次数。这个指标可以反映期刊在学术交流和知识传播中的活跃程度，以及期刊对外部研究成果的引用和整合能力。

该期刊中国学者近期发表论文选摘

  • Editorial Journal: FORMAL ASPECTS OF COMPUTING, 2019, Vol.31, 1-1, DOI:10.1007/s00165-018-00477-6
  • Formal verification and quantitative metrics of MPSoC data dynamics Journal: FORMAL ASPECTS OF COMPUTING, 2017, Vol.30, 219-237, DOI:10.1007/s00165-017-0444-0
  • An inductive approach to strand spaces Journal: FORMAL ASPECTS OF COMPUTING, 2011, Vol.25, 465-501, DOI:10.1007/s00165-011-0187-2
  • Compensation by design Journal: FORMAL ASPECTS OF COMPUTING, 2013, Vol.26, 623-676, DOI:10.1007/s00165-013-0275-6
  • Model checking dynamic pushdown networks Journal: FORMAL ASPECTS OF COMPUTING, 2015, Vol.27, 397-421, DOI:10.1007/s00165-014-0330-y
  • Denotational semantics and its algebraic derivation for an event-driven system-level language Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 133-166, DOI:10.1007/s00165-014-0309-8
  • Formalizing provable anonymity in Isabelle/HOL Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 255-282, DOI:10.1007/s00165-014-0315-x
  • Verification of distributed systems with the axiomatic system of MSVL Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 103-131, DOI:10.1007/s00165-014-0303-1
  • Deciding probabilistic automata weak bisimulation: theory and practice Journal: FORMAL ASPECTS OF COMPUTING, 2016, Vol.28, 109-143, DOI:10.1007/s00165-016-0356-4
  • Editorial Journal: FORMAL ASPECTS OF COMPUTING, 2017, Vol.29, 581-582, DOI:10.1007/s00165-017-0431-5

上一本 Forestry Chronicle

下一本 Formal Methods In System Design

SCI杂志列表 返回首页
免责声明

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

相关期刊