首页 > SCI杂志> Formal Methods In System Design(非官网)
Formal Methods In System Design
加入收藏
人气：2

Formal Methods In System Design SCIE

  • ISSN：0925-9856
  • 出版商：Springer US
  • 出版语言：English
  • E-ISSN：1572-8102
  • 出版地区：UNITED STATES
  • 是否预警：否
  • 创刊时间：1992
  • 出版周期：Bimonthly
  • TOP期刊：否
  • 影响因子：0.7
  • 是否OA：未开放
  • CiteScore：2
  • H-index：47
  • 研究类文章占比：100.00%
  • Gold OA文章占比：46.75%
  • 文章自引率：0.125
  • 开源占比：0.4107
  • OA被引用占比：0.5294...
  • 出版国人文章占比：0.01
  • 国际标准简称：FORM METHOD SYST DES
  • 涉及的研究方向：工程技术-计算机：理论方法
  • 中文名称：系统设计中的形式化方法
  • 预计审稿周期： 12周，或约稿
国内分区信息：

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

国际分区信息：

JCR学科：COMPUTER SCIENCE, THEORY & METHODS  JCR分区  Q3

学术咨询 免费咨询
期刊简介 国内分区 国际分区 CiteScore 期刊评价 发文统计 高引用文章
  • 影响因子：0.7
  • Gold OA文章占比：46.75%
  • OA被引用占比：0.5294...
  • CiteScore：2
  • 研究类文章占比：100.00%
  • 开源占比：0.4107
  • 文章自引率：0.125
  • 出版国人文章占比：0.01

推荐合适期刊 投稿指导 助力快速见刊

Formal Methods In System Design 期刊简介

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

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

Formal Methods In System Design 期刊国内分区信息

中科院分区 2023年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 4区 否 否
中科院分区 2022年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 3区 否 否
中科院分区 2021年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 3区 否 否
中科院分区 2021年12月基础版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 4区 否 否
中科院分区 2021年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 3区 否 否
中科院分区 2020年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 3区 否 否

Formal Methods In System Design 期刊国际分区信息（2023-2024年最新版）

按JIF指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143

27.6%
按JCI指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, THEORY & METHODS SCIE Q4 120 / 143

16.43%

CiteScore指数（2024年最新版）

  • CiteScore：2
  • SJR：0.4
  • SNIP：0.666
学科类别 分区 排名 百分位
大类：Mathematics 小类：Theoretical Computer Science Q3 92 / 130

29%
大类：Mathematics 小类：Hardware and Architecture Q4 136 / 177

23%
大类：Mathematics 小类：Software Q4 314 / 407

22%

期刊评价数据趋势图

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

发文统计

年发文量统计
年份 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023
年发文量 23 23 17 30 25 18 12 24 20 34
国家/地区发文量统计
国家/地区 数量
USA 22
France 16
GERMANY (FED REP GER) 9
England 7
Austria 6
Switzerland 6
Israel 4
Italy 4
Sweden 4
Canada 3
机构发文量统计
机构 数量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) 11
COMMUNAUTE UNIVERSITE GRENOBLE ALPES 6
UNIVERSITY OF CALIFORNIA SYSTEM 6
INRIA 5
AUSTRIAN INSTITUTE OF TECHNOLOGY (AIT) 3
ETH ZURICH 3
IMDEA SOFTWARE INST 3
MICROSOFT 3
NEW YORK UNIVERSITY 3
SORBONNE UNIVERSITE 3

高引用文章

文章名称 引用次数
Monitoring hyperproperties 3
TeLEx: learning signal temporal logic from positive examples using tightness metric 3
A survey of challenges for runtime verification from advanced application domains (beyond software) 2
Probabilistic black-box reachability checking (extended version) 1
Incrementally closing octagons 1
An improved algorithm for the control synthesis of nonlinear sampled switched systems 1
Conditions of contracts for separating responsibilities in heterogeneous systems 1
Solving parity games via priority promotion 1
Validating numerical semidefinite programming solvers for polynomial invariants 1
Efficient verification of railway infrastructure designs against standard regulations 1

我们的优势

相关期刊

推荐期刊

免责声明

若用户需要出版服务，请联系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。

友情链接