Formal Methods in System Design
Impact Factor & Key Scientometrics

Formal Methods in System Design
Overview

Impact Factor

0.442

H Index

57

Impact Factor

1.214

I. Basic Journal Info

Country

Netherlands
Journal ISSN: 09259856, 15728102
Publisher: Kluwer Academic Publishers
History: 1992-ongoing
Journal Hompage: Link
How to Get Published:

Research Categories

Scope/Description:

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

II. Science Citation Report (SCR)



Formal Methods in System Design
SCR Impact Factor

Formal Methods in System Design
SCR Journal Ranking

Formal Methods in System Design
SCImago SJR Rank

SCImago Journal Rank (SJR indicator) is a measure of scientific influence of scholarly journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from.

0.334

Formal Methods in System Design
Scopus 2-Year Impact Factor Trend

Note: impact factor data for reference only

Formal Methods in System Design
Scopus 3-Year Impact Factor Trend

Note: impact factor data for reference only

Formal Methods in System Design
Scopus 4-Year Impact Factor Trend

Note: impact factor data for reference only

Formal Methods in System Design
Impact Factor History

2-year 3-year 4-year
  • 2023 Impact Factor
    0.792 0.835 0.952
  • 2022 Impact Factor
    0.98 1.2 1.162
  • 2021 Impact Factor
    1.214 1.158 1.865
  • 2020 Impact Factor
    1.146 1.9 2.255
  • 2019 Impact Factor
    1.902 2.418 2.216
  • 2018 Impact Factor
    2.06 1.904 1.792
  • 2017 Impact Factor
    2.244 2.125 2.167
  • 2016 Impact Factor
    1.63 2.282 2.495
  • 2015 Impact Factor
    2.073 2.333 2.226
  • 2014 Impact Factor
    2.295 NA NA
  • 2013 Impact Factor
    1.196 NA NA
  • 2012 Impact Factor
    1.463 NA NA
  • 2011 Impact Factor
    1.778 NA NA
  • 2010 Impact Factor
    2 NA NA
  • 2009 Impact Factor
    1.375 NA NA
  • 2008 Impact Factor
    1.184 NA NA
  • 2007 Impact Factor
    1.24 NA NA
  • 2006 Impact Factor
    1.909 NA NA
  • 2005 Impact Factor
    2.159 NA NA
  • 2004 Impact Factor
    1 NA NA
  • 2003 Impact Factor
    1.755 NA NA
  • 2002 Impact Factor
    1.348 NA NA
  • 2001 Impact Factor
    1.175 NA NA
  • 2000 Impact Factor
    1.051 NA NA
Note: impact factor data for reference only

HIGHEST PAID JOBS

LATEX TUTORIALS

MUST-READ BOOKS


Impact Factor

Impact factor (IF) is a scientometric factor based on the yearly average number of citations on articles published by a particular journal in the last two years. A journal impact factor is frequently used as a proxy for the relative importance of a journal within its field. Find out more: What is a good impact factor?


III. Other Science Influence Indicators

Any impact factor or scientometric indicator alone will not give you the full picture of a science journal. There are also other factors such as H-Index, Self-Citation Ratio, SJR, SNIP, etc. Researchers may also consider the practical aspect of a journal such as publication fees, acceptance rate, review speed. (Learn More)

Formal Methods in System Design
H-Index

The h-index is an author-level metric that attempts to measure both the productivity and citation impact of the publications of a scientist or scholar. The index is based on the set of the scientist's most cited papers and the number of citations that they have received in other publications

57

Formal Methods in System Design
H-Index History