Scimago Journal & Country Rank

Formal Aspects of Computing

Country United Kingdom  - SIR icon
38
H Index
Subject Area and CategoryComputer Science
Software

Mathematics
Theoretical Computer Science
Publisher Springer London
Publication typeJournals
ISSN09345043, 1433299X
Coverage1989-2020
Scope 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. In particular, the scope of Formal Aspects of Computing includes: well-founded notations for the description of systems; verifiable design methods; elucidation of fundamental computational concepts; approaches to fault-tolerant design; theorem-proving support; state-exploration tools; formal underpinning of widely used notations and methods; formal approaches to requirements analysis.

Homepage

How to publish in this journal

Contact

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
Software1999Q2
Software2000Q2
Software2001Q2
Software2002Q2
Software2003Q2
Software2004Q2
Software2005Q2
Software2006Q2
Software2007Q2
Software2008Q1
Software2009Q1
Software2010Q2
Software2011Q2
Software2012Q2
Software2013Q2
Software2014Q2
Software2015Q2
Software2016Q2
Software2017Q2
Software2018Q2
Software2019Q3
Theoretical Computer Science1999Q2
Theoretical Computer Science2000Q2
Theoretical Computer Science2001Q2
Theoretical Computer Science2002Q2
Theoretical Computer Science2003Q2
Theoretical Computer Science2004Q2
Theoretical Computer Science2005Q2
Theoretical Computer Science2006Q3
Theoretical Computer Science2007Q2
Theoretical Computer Science2008Q2
Theoretical Computer Science2009Q2
Theoretical Computer Science2010Q2
Theoretical Computer Science2011Q3
Theoretical Computer Science2012Q3
Theoretical Computer Science2013Q2
Theoretical Computer Science2014Q2
Theoretical Computer Science2015Q3
Theoretical Computer Science2016Q3
Theoretical Computer Science2017Q3
Theoretical Computer Science2018Q3
Theoretical Computer Science2019Q3
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
19990.361
20000.476
20010.460
20020.643
20030.583
20040.571
20050.532
20060.463
20070.539
20080.886
20090.940
20100.638
20110.506
20120.449
20130.739
20140.690
20150.421
20160.411
20170.377
20180.430
20190.329
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)19990.598
Cites / Doc. (4 years)20000.821
Cites / Doc. (4 years)20010.681
Cites / Doc. (4 years)20020.958
Cites / Doc. (4 years)20031.176
Cites / Doc. (4 years)20040.854
Cites / Doc. (4 years)20051.345
Cites / Doc. (4 years)20061.238
Cites / Doc. (4 years)20071.019
Cites / Doc. (4 years)20081.457
Cites / Doc. (4 years)20091.874
Cites / Doc. (4 years)20101.570
Cites / Doc. (4 years)20111.438
Cites / Doc. (4 years)20121.478
Cites / Doc. (4 years)20131.784
Cites / Doc. (4 years)20141.970
Cites / Doc. (4 years)20151.295
Cites / Doc. (4 years)20161.366
Cites / Doc. (4 years)20171.497
Cites / Doc. (4 years)20181.884
Cites / Doc. (4 years)20191.664
Cites / Doc. (3 years)19990.598
Cites / Doc. (3 years)20000.951
Cites / Doc. (3 years)20010.624
Cites / Doc. (3 years)20021.045
Cites / Doc. (3 years)20031.148
Cites / Doc. (3 years)20041.000
Cites / Doc. (3 years)20051.298
Cites / Doc. (3 years)20061.173
Cites / Doc. (3 years)20071.072
Cites / Doc. (3 years)20081.642
Cites / Doc. (3 years)20091.878
Cites / Doc. (3 years)20101.675
Cites / Doc. (3 years)20111.354
Cites / Doc. (3 years)20121.379
Cites / Doc. (3 years)20131.758
Cites / Doc. (3 years)20142.066
Cites / Doc. (3 years)20151.146
Cites / Doc. (3 years)20161.383
Cites / Doc. (3 years)20171.620
Cites / Doc. (3 years)20182.063
Cites / Doc. (3 years)20191.520
Cites / Doc. (2 years)19990.673
Cites / Doc. (2 years)20000.729
Cites / Doc. (2 years)20010.516
Cites / Doc. (2 years)20020.865
Cites / Doc. (2 years)20031.111
Cites / Doc. (2 years)20040.949
Cites / Doc. (2 years)20051.050
Cites / Doc. (2 years)20061.000
Cites / Doc. (2 years)20071.182
Cites / Doc. (2 years)20081.739
Cites / Doc. (2 years)20092.059
Cites / Doc. (2 years)20101.722
Cites / Doc. (2 years)20111.241
Cites / Doc. (2 years)20121.574
Cites / Doc. (2 years)20131.620
Cites / Doc. (2 years)20141.726
Cites / Doc. (2 years)20150.894
Cites / Doc. (2 years)20161.542
Cites / Doc. (2 years)20171.862
Cites / Doc. (2 years)20181.716
Cites / Doc. (2 years)20191.281
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 Cites19994
Self Cites20003
Self Cites20010
Self Cites20022
Self Cites20032
Self Cites20041
Self Cites20052
Self Cites20064
Self Cites20075
Self Cites20086
Self Cites20099
Self Cites20105
Self Cites20116
Self Cites20123
Self Cites20133
Self Cites201416
Self Cites20153
Self Cites20167
Self Cites20176
Self Cites20185
Self Cites20194
Total Cites199949
Total Cites200078
Total Cites200158
Total Cites200270
Total Cites200370
Total Cites200462
Total Cites2005109
Total Cites200695
Total Cites200774
Total Cites2008110
Total Cites2009139
Total Cites2010129
Total Cites2011111
Total Cites2012120
Total Cites2013174
Total Cites2014219
Total Cites2015141
Total Cites2016148
Total Cites2017175
Total Cites2018198
Total Cites2019152
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 document19990.549
External Cites per document20000.915
External Cites per document20010.624
External Cites per document20021.015
External Cites per document20031.115
External Cites per document20040.984
External Cites per document20051.274
External Cites per document20061.123
External Cites per document20071.000
External Cites per document20081.552
External Cites per document20091.757
External Cites per document20101.610
External Cites per document20111.280
External Cites per document20121.345
External Cites per document20131.727
External Cites per document20141.915
External Cites per document20151.122
External Cites per document20161.318
External Cites per document20171.565
External Cites per document20182.010
External Cites per document20191.480
Cites per document19990.598
Cites per document20000.951
Cites per document20010.624
Cites per document20021.045
Cites per document20031.148
Cites per document20041.000
Cites per document20051.298
Cites per document20061.173
Cites per document20071.072
Cites per document20081.642
Cites per document20091.878
Cites per document20101.675
Cites per document20111.354
Cites per document20121.379
Cites per document20131.758
Cites per document20142.066
Cites per document20151.146
Cites per document20161.383
Cites per document20171.620
Cites per document20182.063
Cites per document20191.520
% 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
199910.00
20008.82
200133.33
200226.92
200327.03
200432.00
200547.83
200624.00
200723.33
200827.59
200943.33
201050.00
201122.22
201229.27
201343.24
201442.59
201548.00
201647.50
201741.46
201862.07
201963.33
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 documents19990
Non-citable documents20000
Non-citable documents20010
Non-citable documents20020
Non-citable documents20032
Non-citable documents20044
Non-citable documents20054
Non-citable documents20064
Non-citable documents20074
Non-citable documents200811
Non-citable documents200910
Non-citable documents201012
Non-citable documents20119
Non-citable documents201211
Non-citable documents201310
Non-citable documents20148
Non-citable documents20159
Non-citable documents20169
Non-citable documents201711
Non-citable documents201810
Non-citable documents201910
Citable documents199982
Citable documents200082
Citable documents200193
Citable documents200267
Citable documents200361
Citable documents200462
Citable documents200584
Citable documents200681
Citable documents200769
Citable documents200867
Citable documents200974
Citable documents201077
Citable documents201182
Citable documents201287
Citable documents201399
Citable documents2014106
Citable documents2015123
Citable documents2016107
Citable documents2017108
Citable documents201896
Citable documents2019100
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 documents199955
Uncited documents200046
Uncited documents200162
Uncited documents200238
Uncited documents200335
Uncited documents200447
Uncited documents200553
Uncited documents200641
Uncited documents200740
Uncited documents200835
Uncited documents200929
Uncited documents201034
Uncited documents201147
Uncited documents201257
Uncited documents201345
Uncited documents201449
Uncited documents201561
Uncited documents201647
Uncited documents201750
Uncited documents201837
Uncited documents201948
Cited documents199927
Cited documents200036
Cited documents200131
Cited documents200229
Cited documents200328
Cited documents200419
Cited documents200535
Cited documents200644
Cited documents200733
Cited documents200843
Cited documents200955
Cited documents201055
Cited documents201144
Cited documents201241
Cited documents201364
Cited documents201465
Cited documents201571
Cited documents201669
Cited documents201769
Cited documents201869
Cited documents201962
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
Metrics based on Scopus® data as of April 2020
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-2020. Data Source: Scopus®