期刊基本信息

期刊名称：FORMAL ASPECTS OF COMPUTING
期刊级别： Science Citation Index Expanded (SCIE) Scopus (CiteScore)
期刊ISSN：0934-5043
期刊EISSN：1433-299X
简称：FORM ASP COMPUT
影响因子：1.4
实时影响因子：截止2025年5月19日：1.333
五年影响因子：1.3
JCI期刊引文指标：0.48
h-index：36
2024-2025自引率：7.10%
期刊官方网站：期刊官方网站
期刊投稿网址：https://www.editorialmanager.com/FAOC
是否OA开放访问：No
出版商：Springer London
出版年份：1989

FORMAL ASPECTS OF COMPUTING

Science Citation Index Expanded (SCIE)Scopus (CiteScore)

期刊介绍

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.

期刊语言要求

Language
Presenting your work in a well-structured manuscript and in well-written English gives it its best chance for editors and reviewers to understand it and evaluate it fairly. Many researchers find that getting some independent support helps them present their results in the best possible light.

投稿要求

通讯方式：SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013
涉及的研究方向：工程技术-计算机：软件工程
出版国家或地区：UNITED STATES
出版语言：English
年文章数：25
PubMed Central (PMC)链接：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0934-5043%5BISSN%5D
平均录用比例：容易

CITESCORE

CiteScore

SJR

SNIP

CiteScore排名

3.70

0.462

0.870

学科	分区	排名	百分位
大类：Mathematics 小类：Theoretical Computer Science	Q2	52 / 136	62%
大类：Mathematics 小类：Software	Q2	239 / 490	51%

WOS期刊JCR分区

WOS分区等级：3区

按JIF指标学科分区	收录子集	JIF分区	JIF排名	JIF百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING	SCIE	Q3	87/128	32.4%

按JCI指标学科分区	收录子集	JCI分区	JCI排名	JCI百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING	SCIE	Q3	84/128	34.77%

期刊分区表预警名单

2025年03月发布的2025版：不在预警名单中

2024年02月发布的2024版：不在预警名单中

2023年01月发布的2023版：不在预警名单中

2021年12月发布的2021版：不在预警名单中

2020年12月发布的2020版：不在预警名单中

中科院2025年3月升级版

点击查看中国科学院期刊分区趋势图

大类学科

小类学科

Top期刊

综述期刊

计算机科学 3区

COMPUTER SCIENCE, SOFTWARE ENGINEERING
计算机：软件工程

3区

否

中科院2023年12月旧的升级版