Get an email when this journal's indexing changes
Added to or removed from Scopus, Web of Science, ABDC, DOAJ, FT50, UT Dallas or ONOS. One confirmation click; unsubscribe anytime.
Formal Methods in Computer-Aided Design, FMCAD is Scopus-indexed (Q4, CiteScore 0.9). Published by Institute of Electrical and Electronics Engineers Inc..
Checked against the index lists dated .
ISSN 2708-7824Verify ISSN ↗
Publisher: Institute of Electrical and Electronics Engineers Inc.
Cost to publish: No APC data — check the publisher
| Subject area | Rank | Pctile | Q |
|---|---|---|---|
| Artificial Intelligence | 437 / 570 | 23rd | Q4 |
| Computer Graphics and Computer-Aided Design | 103 / 131 | 21st | Q4 |
| Hardware and Architecture | 206 / 245 | 16th | Q4 |
| Computer Science (miscellaneous) | 157 / 179 | 12th | Q4 |
Not listed in: Web of Science, DOAJ, ABDC, ABS / AJG, FT50, UT Dallas, ONOS (subscription), ONOS (APC covered)
Yes — actively indexed in Scopus, coverage 2024–2025, best quartile Q4, CiteScore 0.9.
Formal Methods in Computer-Aided Design, FMCAD is Q4 in Artificial Intelligence (rank 437 of 570), Q4 in Computer Graphics and Computer-Aided Design (rank 103 of 131) and Q4 in Hardware and Architecture (rank 206 of 245), by CiteScore 2025. It is ranked in 4 subject areas in all.
Formal Methods in Computer-Aided Design, FMCAD is not in the Web of Science Core Collection (SCIE, SSCI, AHCI or ESCI), so Clarivate publishes no Journal Impact Factor for it. Its Scopus CiteScore is 0.9, quartile Q4, 23rd percentile. Any "impact factor" quoted elsewhere is not the Clarivate metric. Its SCImago Journal Rank (SJR, a free Scopus-based metric) is 0.280, quartile Q3, with an H-index of 3.
Formal Methods in Computer-Aided Design, FMCAD is published by Institute of Electrical and Electronics Engineers Inc. Its ISSN is 2708-7824.
No — it is not currently in the Web of Science core collections (SCIE, SSCI, AHCI or ESCI).
No — it is not registered as an open-access journal in DOAJ or Scopus.
Index data is curated from public sources (Scopus, Web of Science, ABDC, FT50, UT Dallas, DOAJ). CiteScore and quartiles reflect the latest available Scopus release. Always verify a journal's current status on its official source before submitting.
Comments load as you scroll here.