1. Venues
  2. Journals
  3. Formal Methods in System Design
Q3WoS
JournalSCIE

Formal Methods in System Design

Springer US · United States

Metrics

Impact factor
1+0.2
Clarivate JCR
WoS quartile
Q3
Clarivate JCR, best category
SJR
0.29Q3
SCImago
h-index
47
CAS tier
Tier 3
Chinese Academy of Sciences
Citations per paper
1.32
last 2 years
Articles per year
24
Self-citation
28.6%
Fee (APC), est.
$2,773
estimated, check the journal

About this journal

ISSN
0925-9856 (print) · 1572-8102 (online)
Publisher
Springer US · Springer Nature
Country
United States · Western Europe
Indexed in
SCIE
Access
Hybrid · 55.4% gold OA
Founded
1992
Frequency
Bimonthly
Original research
100%
Subject areas
Computer Science, Mathematics
Categories
Engineering & Technology, Computer Science: Theory & Methods
Common topics
Computer science, Mathematics, Programming language, Algorithm, Theoretical computer science

Similar journals

  1. Q3WoSjournalSCIEOpen access

    Softwarex

    ELSEVIER · ISSN 2352-7110 · Netherlands · Computer ScienceImpact factor 1.9h-index 59SJR 0.50
  2. Q3WoSjournalSCIE

    Science of Computer Programming

    Elsevier · ISSN 0167-6423 · Netherlands · Computer Science, MathematicsImpact factor 1.6h-index 59SJR 0.39
  3. Q3WoSjournalSCIE

    International Journal on Software Tools for Technology Transfer

    Springer Berlin Heidelberg · ISSN 1433-2779 · Germany · Computer ScienceImpact factor 1.7h-index 50SJR 0.48
  4. Q3WoSjournalSCIE

    Software Testing Verification & Reliability

    John Wiley and Sons Ltd · ISSN 0960-0833 · England · Computer Science, EngineeringImpact factor 1.7h-index 44SJR 0.48
  5. Q3WoSjournalSCIE

    Software Quality Journal

    Springer US · ISSN 0963-9314 · Netherlands · Computer Science, EngineeringImpact factor 2.4h-index 37SJR 0.46
  6. Q3WoSjournalSCIE

    International Journal of Parallel Programming

    Springer US · ISSN 0885-7458 · United States · Computer Science, MathematicsImpact factor 1.1h-index 31SJR 0.27

Figures as of the last import; ranks are a guide, not a verdict. Back to all journals