FORMAL ASPECTS OF COMPUTING
✓未列入中科院《国际期刊预警名单》（含官方历年名单与2026动态预警）
FORM ASP COMPUT
JCR Q4中科院 4 区 · 计算机科学SCIE
最新影响因子
1.1
5年影响因子
1.5
JCR分区
Q4（105/128）
全球排名
13903
ISSN
0934-5043
eISSN
1433-299X
出版商
ASSOC COMPUTING MACHINERY
语言
English
JCI
0.32
总引用
502
年发文量
24
数据年份
2025
影响因子
1.1
最新影响因子（2025）
1.5
5年影响因子
JCR Q4 分区
中科院小类 4 区 · 计算机：软件工程
中科院小类 4 区 · 计算机：软件工程
期刊详细信息
期刊名称FORMAL ASPECTS OF COMPUTING
缩写FORM ASP COMPUT
ISSN0934-5043
eISSN1433-299X
出版商ASSOC COMPUTING MACHINERY
语言English
数据库收录Web of Science(SCIE); Scopus
JCR学科COMPUTER SCIENCE, SOFTWARE ENGINEERING(SCIE):Q4 105/128
JCR分区Q4
JCR排名105/128
全球排名13903
JCI0.32
中科院大类4 区 · 计算机科学
中科院小类4 区 · 计算机：软件工程
是否Top期刊否
数据年份2025
