當(dāng)前位置：首頁 SCI期刊 SCIE期刊計算機(jī)科學(xué) 中科院4區(qū) JCRQ3 期刊介紹(非官網(wǎng))

Formal Aspects Of ComputingSCIE

國際簡稱：FORM ASP COMPUT 參考譯名：計算的形式方面

中科院分區(qū)
4區(qū)
CiteScore分區(qū)
Q2
JCR分區(qū)
Q3

基本信息：: ISSN：0934-5043; E-ISSN：1433-299X; 是否OA：未開放; 是否預(yù)警：否; TOP期刊：否

出版信息：: 出版地區(qū)：UNITED STATES; 出版商：Springer London; 出版語言：English; 出版周期：Quarterly; 出版年份：1989; 研究方向：工程技術(shù)-計算機(jī)：軟件工程

評價信息：: 影響因子：1.4; H-index：36; CiteScore指數(shù)：3.3; SJR指數(shù)：0.518; SNIP指數(shù)：1.091

發(fā)文數(shù)據(jù)：: Gold OA文章占比：37.50%; 研究類文章占比：100.00%; 年發(fā)文量：21; 自引率：0; 開源占比：0.3871; 出版撤稿占比：0; 出版國人文章占比：0.1; OA被引用占比：0.0645...

投稿咨詢加急見刊

英文簡介期刊介紹 CiteScore數(shù)據(jù) 中科院SCI分區(qū) JCR分區(qū) 發(fā)文數(shù)據(jù) 常見問題

英文簡介Formal Aspects Of Computing期刊介紹

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.

期刊簡介Formal Aspects Of Computing期刊介紹

《Formal Aspects Of Computing》自1989出版以來，是一本計算機(jī)科學(xué)優(yōu)秀雜志。致力于發(fā)表原創(chuàng)科學(xué)研究結(jié)果，并為計算機(jī)科學(xué)各個領(lǐng)域的原創(chuàng)研究提供一個展示平臺，以促進(jìn)計算機(jī)科學(xué)領(lǐng)域的的進(jìn)步。該刊鼓勵先進(jìn)的、清晰的闡述，從廣泛的視角提供當(dāng)前感興趣的研究主題的新見解，或?qū)彶槎嗄陙砟硞€重要領(lǐng)域的所有重要發(fā)展。該期刊特色在于及時報道計算機(jī)科學(xué)領(lǐng)域的最新進(jìn)展和新發(fā)現(xiàn)新突破等。該刊近一年未被列入預(yù)警期刊名單，目前已被權(quán)威數(shù)據(jù)庫SCIE收錄，得到了廣泛的認(rèn)可。

該期刊投稿重要關(guān)注點(diǎn)：

預(yù)計審稿時間： 12周，或約稿
計算機(jī)科學(xué)
COMPUTER SCIENCE, SOFTWARE ENGINEERING
SCIE
中科院4區(qū)
非預(yù)警

Cite Score數(shù)據(jù)（2024年最新版）Formal Aspects Of Computing Cite Score數(shù)據(jù)

CiteScore：3.3
SJR：0.518
SNIP：1.091

學(xué)科類別	分區(qū)	排名	百分位
大類：Mathematics 小類：Theoretical Computer Science	Q2	57 / 130	56%
大類：Mathematics 小類：Software	Q3	246 / 407	39%

CiteScore 是由Elsevier(愛思唯爾)推出的另一種評價期刊影響力的文獻(xiàn)計量指標(biāo)。反映出一家期刊近期發(fā)表論文的年篇均引用次數(shù)。CiteScore以Scopus數(shù)據(jù)庫中收集的引文為基礎(chǔ)，針對的是前四年發(fā)表的論文的引文。CiteScore的意義在于，它可以為學(xué)術(shù)界提供一種新的、更全面、更客觀地評價期刊影響力的方法，而不僅僅是通過影響因子(IF)這一單一指標(biāo)來評價。

歷年Cite Score趨勢圖

中科院SCI分區(qū)Formal Aspects Of Computing 中科院分區(qū)

中科院 2023年12月升級版 綜述期刊：否 Top期刊：否

大類學(xué)科	分區(qū)	小類學(xué)科	分區(qū)
計算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機(jī)：軟件工程	4區(qū)

中科院分區(qū)表 是以客觀數(shù)據(jù)為基礎(chǔ)，運(yùn)用科學(xué)計量學(xué)方法對國際、國內(nèi)學(xué)術(shù)期刊依據(jù)影響力進(jìn)行等級劃分的期刊評價標(biāo)準(zhǔn)。它為我國科研、教育機(jī)構(gòu)的管理人員、科研工作者提供了一份評價國際學(xué)術(shù)期刊影響力的參考數(shù)據(jù)，得到了全國各地高校、科研機(jī)構(gòu)的廣泛認(rèn)可。

中科院分區(qū)表 將所有期刊按照一定指標(biāo)劃分為1區(qū)、2區(qū)、3區(qū)、4區(qū)四個層次，類似于“優(yōu)、良、及格”等。最開始，這個分區(qū)只是為了方便圖書管理及圖書情報領(lǐng)域的研究和期刊評估。之后中科院分區(qū)逐步發(fā)展成為了一種評價學(xué)術(shù)期刊質(zhì)量的重要工具。

歷年中科院分區(qū)趨勢圖

JCR分區(qū)Formal Aspects Of Computing JCR分區(qū)

2023-2024 年最新版

按JIF指標(biāo)學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING	SCIE	Q3	88 / 131	33.2%

按JCI指標(biāo)學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING	SCIE	Q4	99 / 131	24.81%

JCR分區(qū)的優(yōu)勢在于它可以幫助讀者對學(xué)術(shù)文獻(xiàn)質(zhì)量進(jìn)行評估。不同學(xué)科的文章引用量可能存在較大的差異，此時單獨(dú)依靠影響因子(IF)評價期刊的質(zhì)量可能是存在一定問題的。因此，JCR將期刊按照學(xué)科門類和影響因子分為不同的分區(qū)，這樣讀者可以根據(jù)自己的研究領(lǐng)域和需求選擇合適的期刊。

歷年影響因子趨勢圖

發(fā)文數(shù)據(jù)

2023-2024 年國家/地區(qū)發(fā)文量統(tǒng)計

國家/地區(qū)數(shù)量
USA21
England16
GERMANY (FED REP GER)16
CHINA MAINLAND14
France14
Italy9
Canada7
Denmark5
Australia4
Netherlands4

本刊中國學(xué)者近年發(fā)表論文

1、Editorial
Author: Martin Fr?nzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan

Journal: FORMAL ASPECTS OF COMPUTING, 2019, Vol.31, 1-1, DOI:10.1007/s00165-018-00477-6
2、Formal verification and quantitative metrics of MPSoC data dynamics
Author: Hui Zhang, Jinzhao Wu

Journal: FORMAL ASPECTS OF COMPUTING, 2017, Vol.30, 219-237, DOI:10.1007/s00165-017-0444-0
3、An inductive approach to strand spaces
Author: Yongjian Li, Jun Pang

Journal: FORMAL ASPECTS OF COMPUTING, 2011, Vol.25, 465-501, DOI:10.1007/s00165-011-0187-2
4、Compensation by design
Author: Xi Liu, Shaofa Yang, J. W. Sanders

Journal: FORMAL ASPECTS OF COMPUTING, 2013, Vol.26, 623-676, DOI:10.1007/s00165-013-0275-6
5、Model checking dynamic pushdown networks
Author: Fu Song, Tayssir Touili

Journal: FORMAL ASPECTS OF COMPUTING, 2015, Vol.27, 397-421, DOI:10.1007/s00165-014-0330-y
6、Denotational semantics and its algebraic derivation for an event-driven system-level language
Author: H. Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke

Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 133-166, DOI:10.1007/s00165-014-0309-8
7、Formalizing provable anonymity in Isabelle/HOL
Author: Yongjian Li, Jun Pang

Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 255-282, DOI:10.1007/s00165-014-0315-x
8、Verification of distributed systems with the axiomatic system of MSVL
Author: Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang

Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 103-131, DOI:10.1007/s00165-014-0303-1