X
    學術可視化工作室RC   登錄   提交文稿
學術英文編修

FORMAL ASPECTS OF COMPUTING

期刊標題檢索 最新評論: 沒有評論


期刊名稱:   ISSN:   主題領域:   影響因子範圍: -
索引:   類別:   開放訪問:   排序方式:

[FORMAL ASPECTS OF COMPUTING]您好,您是該頁面的第 13733 位訪客。

期刊簡介
期刊名稱FORMAL ASPECTS OF COMPUTING FORMAL ASPECTS OF COMPUTING
LetPub Score
5.1
50 ratings
Rate

Reputation
6.4

Influence
3.7

Speed
7.1

期刊簡稱FORM ASP COMPUT
ISSN0934-5043
E-ISSN1433-299X
h-index36
CiteScore
CiteScoreSJRSNIPCiteScore Rank
3.300.5181.091
Subject fieldQuartilesRankPercentile
Category: Mathematics
Subcategory: Theoretical Computer Science
Q257 / 130
Category: Mathematics
Subcategory: Software
Q3246 / 407

自引率 (2023-2024)0.00%自引率趨勢
掲載範囲
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

In particular, the scope of Formal Aspects of Computing includes:
well-founded notations for the description of systems;
verifiable design methods;
elucidation of fundamental computational concepts;
approaches to fault-tolerant design;
theorem-proving support;
state-exploration tools;
formal underpinning of widely used notations and methods;
formal approaches to requirements analysis.
官方網站https://www.springer.com/journal/165
在線稿件提交https://www.editorialmanager.com/FAOC
開放訪問No
出版商Springer London
主題領域工程技术
出版國/地區UNITED STATES
發行頻率四半期刊行
創刊年1989
每年文章數21每年文章數趨勢
黃金OA百分比37.50%
Web of Science 四分位
2023-2024
WOS Quartile: Q3

CategoryEditionJIF QuartileJIF RankingJIF Percentage
COMPUTER SCIENCE, SOFTWARE ENGINEERINGSCIEQ388/131
索引 (SCI or SCIE)Science Citation Index Expanded
鏈接到PubMed Central (PMC)https://www.ncbi.nlm.nih.gov/nlmcatalog?term=0934-5043%5BISSN%5D
平均審稿時間 *來自出版商的數據:
來自作者的數據: >12 Week(s), or Invited contributions
競爭力 *來自作者的數據: Easy
參考鏈接
相關期刊 【FORMAL ASPECTS OF COMPUTING】CiteScore趨勢
自引率趨勢 每年文章數趨勢
作者評論
*所有的審稿過程指標,如接受率和審稿速度,僅限於用戶提交的稿件。因此,這些指標可能無法準確反映期刊的競爭力或速度。
  • 同一學科的期刊
  • CiteScore趨勢
  • 自引率趨勢
  • 每年文章數趨勢
  •  
    學科內的可信期刊 影響因子
    ACM TRANSACTIONS ON GRAPHICSH-index: 173

    CiteScore: 14.30
    IEEE Transactions on Dependable and Secure ComputingH-index: 59

    CiteScore: 11.20
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGYH-index: 70

    CiteScore: 6.30
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICSH-index: 118

    CiteScore: 10.40
    INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCEH-index: 73

    CiteScore: 7.20
    COMPUTER STANDARDS & INTERFACESH-index: 58

    CiteScore: 11.90
    ACM Transactions on Internet TechnologyH-index: 46

    CiteScore: 10.30
    INFORMATION AND SOFTWARE TECHNOLOGYH-index: 88

    CiteScore: 9.10
    IEEE INTERNET COMPUTINGH-index: 103

    CiteScore: 7.60
    EMPIRICAL SOFTWARE ENGINEERINGH-index: 59

    CiteScore: 8.50
    學科內最受檢索的期刊 頁面查看次數
    VISUAL COMPUTER216993
    JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION186940
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS127520
    COMPUTER-AIDED DESIGN125396
    COMPUTER JOURNAL115362
    IEEE Transactions on Dependable and Secure Computing115256
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY107524
    ACM TRANSACTIONS ON GRAPHICS97549
    Computers & Graphics95039
    Scientific Programming82347
  •  

    FORMAL ASPECTS OF COMPUTING FORMAL ASPECTS OF COMPUTING
    明年預測:
    穩步上升 無變化 逐步下降  刷新
  •  

     
  •  

     


首頁    上一頁    下一頁    末頁  (0/0)
  [FORMAL ASPECTS OF COMPUTING] 的評論撰寫評論
暫無評論。
首頁    上一頁    下一頁    末頁  (0/0)

開始撰寫 [FORMAL ASPECTS OF COMPUTING] 的評論:





Contact us

Contact us  

Your name*

Your email*

Your message*

Please fill in all fields and provide a valid email.

Security Code*