Formal Methods in Computer-Aided Design, FMCAD

ISSN 2708-7824

Publisher: Institute of Electrical and Electronics Engineers Inc.

Scopus · Q4

Is Formal Methods in Computer-Aided Design, FMCAD indexed in Scopus? Yes — actively indexed in Scopus, coverage 2024–2025, best quartile Q4, CiteScore 0.9.

Is Formal Methods in Computer-Aided Design, FMCAD in Web of Science? No — it is not currently in the Web of Science core collections (SCIE, SSCI, AHCI or ESCI).

Is Formal Methods in Computer-Aided Design, FMCAD open access? No — it is not registered as an open-access journal in DOAJ or Scopus.

0.9

CiteScore 2025

Scopus

Best quartile

23rd percentile

Indexed in

major index

ScopusElsevier Scopus

Status

Active

Coverage

2024–2025

Source type

Journal

Open access

CiteScore

0.9

Best quartile

Q4 · 23rd pctile

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

View this source on Scopus.com

Web of ScienceClarivate (SCIE/SSCI/AHCI/ESCI)

Not listed in Web of Science.

ABDCAustralian Business Deans Council 2025

Not listed in ABDC.

DOAJDirectory of Open Access Journals (live)

Checking DOAJ…

FT50Financial Times research list

Not listed in FT50.

UT DallasUTD top-100 business research

Not listed in UT Dallas.

ONOS · APC coveredOne Nation One Subscription (Govt of India)

Not in the ONOS APC-supported list.

Publishing in this journal is not centrally APC-funded under One Nation One Subscription.

Official sources & links

Scopus source ↗

Related journals

Explore this journal in the interactive dashboard →

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.