按学科、JCR 分区、新锐分区、CCF 等级、影响因子和预警状态筛选 2.4 万个期刊与会议，查看历年影响因子趋势和综合评级。
Formal Methods in System Design（FMSD）：2025 年影响因子 1，JCR Q3，新锐 4 区，CCF B 类。含历年影响因子趋势、JCR/新锐/中科院分区与 CCF 等级。
A 级（3 / 4）：新锐 4 区；JCR Q3；CCF B 类
| 年份 | 影响因子 | JCR 分区 |
|---|---|---|
| 2025 | 1 | Q3 |
| 2024 | 0.8 | Q4 |
| 2023 | 0.7 | Q3 |
| 2022 | 0.8 | Q4 |
| 2021 | 1.1 | |
| 2020 | 0.442 |
| 学科 | 分区 | 排名 | 百分位 |
|---|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | Q3 | 107/146 | 前 74% |
计算机科学：4 区
| 年份 | 大类 | 分区 |
|---|---|---|
| 2025 | 计算机科学 | 4 区 |
| 2023 | 计算机科学 | 4 区 |
| 2022 | 计算机科学 | 4 区 |
| 2021 | 计算机科学 | 3 区 |
| 年份 | 等级 | 领域 |
|---|---|---|
| 2026 | B 类 | 计算机科学理论 |
| 2022 | B 类 | 计算机科学理论 |
| 2019 | B 类 | 计算机科学理论 |