Scimago Journal & Country Rank

Journal of Formalized Reasoningopen access

Country

Italy

Universities and research institutions in Italy
Media Ranking in Italy

Subject Area and Category

Publisher

Alma Mater Studiorum (Bologna)

H-Index

9

Publication type

Journals

ISSN

19725787

Coverage

2013-2020

Information

Homepage

How to publish in this journal

sacerdot@cs.unibo.it

Scope

The journal is meant to become the natural target for research papers describing significant, automated or semi-automated 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. Join the conversation about this journal
Quartiles

The set of journals have been ranked according to their SJR and divided into four equal groups, four quartiles. Q1 (green) comprises the quarter of the journals with the highest values, Q2 (yellow) the second highest values, Q3 (orange) the third highest values and Q4 (red) the lowest values.

CategoryYearQuartile
Computer Science (miscellaneous)2014Q3
Computer Science (miscellaneous)2015Q1
Computer Science (miscellaneous)2016Q4
Computer Science (miscellaneous)2017Q1
Computer Science (miscellaneous)2018Q1
Computer Science (miscellaneous)2019Q1
Computer Science (miscellaneous)2020Q4
Computer Science (miscellaneous)2021Q4
Computer Science (miscellaneous)2022Q4
Computer Science (miscellaneous)2023Q4
Mathematics (miscellaneous)2014Q4
Mathematics (miscellaneous)2015Q2
Mathematics (miscellaneous)2016Q4
Mathematics (miscellaneous)2017Q2
Mathematics (miscellaneous)2018Q2
Mathematics (miscellaneous)2019Q2
Mathematics (miscellaneous)2020Q4
Mathematics (miscellaneous)2021Q4
Mathematics (miscellaneous)2022Q4
Mathematics (miscellaneous)2023Q4
SJR

The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of 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 It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.

YearSJR
20140.188
20150.742
20160.141
20170.574
20180.706
20190.534
20200.150
20210.109
20220.108
20230.134
Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

YearDocuments
20133
20143
20156
201614
20174
20183
20193
20201
20210
20220
20230
Citations per document

This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.

Cites per documentYearValue
Cites / Doc. (4 years)20130.000
Cites / Doc. (4 years)20140.667
Cites / Doc. (4 years)20151.167
Cites / Doc. (4 years)20160.500
Cites / Doc. (4 years)20171.577
Cites / Doc. (4 years)20181.444
Cites / Doc. (4 years)20191.481
Cites / Doc. (4 years)20201.542
Cites / Doc. (4 years)20210.273
Cites / Doc. (4 years)20221.000
Cites / Doc. (4 years)20230.500
Cites / Doc. (3 years)20130.000
Cites / Doc. (3 years)20140.667
Cites / Doc. (3 years)20151.167
Cites / Doc. (3 years)20160.500
Cites / Doc. (3 years)20171.783
Cites / Doc. (3 years)20181.458
Cites / Doc. (3 years)20191.190
Cites / Doc. (3 years)20200.700
Cites / Doc. (3 years)20210.286
Cites / Doc. (3 years)20220.750
Cites / Doc. (3 years)20231.000
Cites / Doc. (2 years)20130.000
Cites / Doc. (2 years)20140.667
Cites / Doc. (2 years)20151.167
Cites / Doc. (2 years)20160.667
Cites / Doc. (2 years)20171.900
Cites / Doc. (2 years)20181.389
Cites / Doc. (2 years)20190.571
Cites / Doc. (2 years)20201.167
Cites / Doc. (2 years)20210.000
Cites / Doc. (2 years)20223.000
Cites / Doc. (2 years)20230.000
Total Cites 
Self-Cites

Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.

CitesYearValue
Self Cites20130
Self Cites20140
Self Cites20150
Self Cites20160
Self Cites20170
Self Cites20180
Self Cites20190
Self Cites20200
Self Cites20210
Self Cites20220
Self Cites20230
Total Cites20130
Total Cites20142
Total Cites20157
Total Cites20166
Total Cites201741
Total Cites201835
Total Cites201925
Total Cites20207
Total Cites20212
Total Cites20223
Total Cites20231
External Cites per Doc 
Cites per Doc

Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years. External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.

CitesYearValue
External Cites per document20130
External Cites per document20140.667
External Cites per document20151.167
External Cites per document20160.500
External Cites per document20171.783
External Cites per document20181.458
External Cites per document20191.190
External Cites per document20200.700
External Cites per document20210.286
External Cites per document20220.750
External Cites per document20231.000
Cites per document20130.000
Cites per document20140.667
Cites per document20151.167
Cites per document20160.500
Cites per document20171.783
Cites per document20181.458
Cites per document20191.190
Cites per document20200.700
Cites per document20210.286
Cites per document20220.750
Cites per document20231.000
% International Collaboration

International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.

YearInternational Collaboration
20130.00
201466.67
201533.33
201621.43
201725.00
201833.33
20190.00
20200.00
20210
20220
20230
Citable documents 
Non-citable documents

Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.

DocumentsYearValue
Non-citable documents20130
Non-citable documents20140
Non-citable documents20150
Non-citable documents20160
Non-citable documents20171
Non-citable documents20181
Non-citable documents20191
Non-citable documents20200
Non-citable documents20210
Non-citable documents20220
Non-citable documents20230
Citable documents20130
Citable documents20143
Citable documents20156
Citable documents201612
Citable documents201722
Citable documents201823
Citable documents201920
Citable documents202010
Citable documents20217
Citable documents20224
Citable documents20231
Cited documents 
Uncited documents

Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.

DocumentsYearValue
Uncited documents20130
Uncited documents20142
Uncited documents20153
Uncited documents20169
Uncited documents201712
Uncited documents201815
Uncited documents201913
Uncited documents20208
Uncited documents20215
Uncited documents20223
Uncited documents20230
Cited documents20130
Cited documents20141
Cited documents20153
Cited documents20163
Cited documents201711
Cited documents20189
Cited documents20198
Cited documents20202
Cited documents20212
Cited documents20221
Cited documents20231
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
SCImago Graphica
Explore, visually communicate and make sense of data with our new data visualization tool.
Metrics based on Scopus® data as of March 2024
Loading comments…

Leave a comment

* Required

* Required

* Required

* Required

The users of Scimago Journal & Country Rank have the possibility to dialogue through comments linked to a specific journal. The purpose is to have a forum in which general doubts about the processes of publication in the journal, experiences and other issues derived from the publication of papers are resolved. For topics on particular articles, maintain the dialogue through the usual channels with your editor.

Developed by:
Scimago Lab
Powered by:
Powered by scopus

Follow us on @ScimagoJR

Scimago Lab, Copyright 2007-2024. Data Source: Scopus®

Legal Notice

Privacy Policy