SCI Journal

Impact Factor Database

Formal Aspects of Computing

Basic Journal Info


Journal ISSN: 09345043, 1433299X
Publisher: Springer Verlag
History: 1989-ongoing
Journal Hompage: Link

Research Categories

Formal Aspects of Computing

Impact Factor


Impact Factor


Impact Factor



This journal aims to publish contributions at the junction of theory and practice.The objective is to disseminate applicable research.Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application. The term "formal methods" has been applied to a range of notations, theories and tools.There is no doubt that some of these have already had a significant impact on practical applications of computing.Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.

Formal Aspects of Computing

2-year Impact Factor Trend
Note: impact factor data for reference only

Formal Aspects of Computing

3-year Impact Factor Trend
Note: impact factor data for reference only

Formal Aspects of Computing

4-year Impact Factor Trend
Note: impact factor data for reference only

Impact Factor

The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric factor based on the yearly average number of citations on articles published by a particular journal in the last two years. In other words, the impact factor of 2020 is the average of the number of cited publications divided by the citable publications of a journal. A journal impact factor is frequently used as a proxy for the relative importance of a journal within its field. Normally, journals with higher impact factors are often deemed to have more influence than those with lower ones. However, the science community has also noted that review articles typically are more citable than research articles.

Find out more: What is a good impact factor?
And check out: How to get published in a top science journal?

See what other people are reading


Formal Aspects of Computing

Impact Factor History
  • 2019 Impact Factor 1.281
  • 2018 Impact Factor 1.716
  • 2017 Impact Factor 1.862
  • 2016 Impact Factor 1.542
  • 2015 Impact Factor 0.894
  • 2014 Impact Factor 1.726
  • 2013 Impact Factor 1.620
  • 2012 Impact Factor 1.574
  • 2011 Impact Factor 1.241
  • 2010 Impact Factor 1.722
  • 2009 Impact Factor 2.059
  • 2008 Impact Factor 1.739
  • 2007 Impact Factor 1.182
  • 2006 Impact Factor 1.000
  • 2005 Impact Factor 1.050
  • 2004 Impact Factor 0.949
  • 2003 Impact Factor 1.111
  • 2002 Impact Factor 0.865
  • 2001 Impact Factor 0.516
  • 2000 Impact Factor 0.729
Note: impact factor data for reference only

See what other people are reading


Other Journal Impact Indicator

Any journal impact factor or scientometric indicator alone will not give you the full picture of a science journal. That’s why every year, scholars review current metrics to improve upon them and sometimes come up with new ones. There are also other factors to sider for example, H-Index, Self-Citation Ratio, SJR (SCImago Journal Rank Indicator) and SNIP (Source Normalized Impact per Paper). Researchers may also consider the practical aspect of a journal such as publication fees, acceptance rate, review speed.

(Read More)

Formal Aspects of Computing


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


Formal Aspects of Computing

SCImago Journal Rank (SJR)

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.