Journal of Formalized Reasoning
Impact Factor & Key Scientometrics

Journal of Formalized Reasoning
Overview

Impact Factor

NA

H Index

8

Impact Factor

0

I. Basic Journal Info

Country

Italy
Journal ISSN: 19725787
Publisher: Alma Mater Studiorum (Bologna)
History: 2013-2020
Journal Hompage: Link
How to Get Published:

Research Categories

Scope/Description:

The journal is meant to become the natural target for research papers describing significant automated or semiautomated formalization efforts in any area including classical mathematics constructive mathematics formal algorithms and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular the journal provides a forum for comparing alternative approaches enhance reusability of solutions and provide a clear view of the current state of the field. Although outside the scope of the journal it will also help to better understand the requirements for automatic and interactive tools supporting the formalization effort becoming a major vehicle for their diffusion and enhancement. The journal encourages the submission of interesting insightful and informative papers preferably accompanied by formal scripts. Although the journal is not meant to become a repository for proof scripts an effort will be made to ensure that the experimental data backing formalisation papers will remain accessible.

II. Science Citation Report (SCR)



Journal of Formalized Reasoning
SCR Impact Factor

Journal of Formalized Reasoning
SCR Journal Ranking

Journal of Formalized Reasoning
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.

Journal of Formalized Reasoning
Scopus 2-Year Impact Factor Trend

Note: impact factor data for reference only

Journal of Formalized Reasoning
Scopus 3-Year Impact Factor Trend

Note: impact factor data for reference only

Journal of Formalized Reasoning
Scopus 4-Year Impact Factor Trend

Note: impact factor data for reference only

Journal of Formalized Reasoning
Impact Factor History

2-year 3-year 4-year
  • 2022 Impact Factor
    3 0.75 0.857
  • 2021 Impact Factor
    0 0.143 0.182
  • 2020 Impact Factor
    1.167 0.7 1.542
  • 2019 Impact Factor
    0.571 1.19 1.481
  • 2018 Impact Factor
    1.389 1.458 1.444
  • 2017 Impact Factor
    1.9 1.783 1.577
  • 2016 Impact Factor
    0.667 0.5 0.5
  • 2015 Impact Factor
    1.167 1.167 1.167
  • 2014 Impact Factor
    0.667 NA NA
  • 2013 Impact Factor
    0 NA NA
  • 2012 Impact Factor
    NA NA NA
  • 2011 Impact Factor
    NA NA NA
  • 2010 Impact Factor
    NA NA NA
  • 2009 Impact Factor
    NA NA NA
  • 2008 Impact Factor
    NA NA NA
  • 2007 Impact Factor
    NA NA NA
  • 2006 Impact Factor
    NA NA NA
  • 2005 Impact Factor
    NA NA NA
  • 2004 Impact Factor
    NA NA NA
  • 2003 Impact Factor
    NA NA NA
  • 2002 Impact Factor
    NA NA NA
  • 2001 Impact Factor
    NA NA NA
  • 2000 Impact Factor
    NA 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)

Journal of Formalized Reasoning
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

8

Journal of Formalized Reasoning
H-Index History