Scimago Journal & Country Rank

Formal Aspects of Computing

Country

United States

Universities and research institutions in United States
Media Ranking in United States

Subject Area and Category

Publisher

Association for Computing Machinery (ACM)

H-Index

44

Publication type

Journals

ISSN

09345043, 1433299X

Coverage

1989-2023

Information

Homepage

How to publish in this journal

jim.woodcock@york.ac.uk

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. 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
Software2020Q3
Software2021Q3
Software2022Q2
Software2023Q3
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
Theoretical Computer Science2020Q3
Theoretical Computer Science2021Q3
Theoretical Computer Science2022Q2
Theoretical Computer Science2023Q3
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
20200.366
20210.508
20220.684
20230.518
Total Documents

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

YearDocuments
199930
200034
20013
200226
200337
200425
200523
200625
200727
200829
200930
201031
201136
201241
201337
201441
201538
201640
201742
201829
201929
202015
202146
202211
202323
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.610
Cites / Doc. (4 years)20000.830
Cites / Doc. (4 years)20010.690
Cites / Doc. (4 years)20020.969
Cites / Doc. (4 years)20031.151
Cites / Doc. (4 years)20040.840
Cites / Doc. (4 years)20051.352
Cites / Doc. (4 years)20061.189
Cites / Doc. (4 years)20070.955
Cites / Doc. (4 years)20081.320
Cites / Doc. (4 years)20091.769
Cites / Doc. (4 years)20101.432
Cites / Doc. (4 years)20111.282
Cites / Doc. (4 years)20121.349
Cites / Doc. (4 years)20131.594
Cites / Doc. (4 years)20141.752
Cites / Doc. (4 years)20151.316
Cites / Doc. (4 years)20161.293
Cites / Doc. (4 years)20171.455
Cites / Doc. (4 years)20181.789
Cites / Doc. (4 years)20191.544
Cites / Doc. (4 years)20201.364
Cites / Doc. (4 years)20211.261
Cites / Doc. (4 years)20221.479
Cites / Doc. (4 years)20231.693
Cites / Doc. (3 years)19990.610
Cites / Doc. (3 years)20000.963
Cites / Doc. (3 years)20010.634
Cites / Doc. (3 years)20021.060
Cites / Doc. (3 years)20031.111
Cites / Doc. (3 years)20040.970
Cites / Doc. (3 years)20051.307
Cites / Doc. (3 years)20061.141
Cites / Doc. (3 years)20071.000
Cites / Doc. (3 years)20081.440
Cites / Doc. (3 years)20091.753
Cites / Doc. (3 years)20101.512
Cites / Doc. (3 years)20111.222
Cites / Doc. (3 years)20121.247
Cites / Doc. (3 years)20131.583
Cites / Doc. (3 years)20141.860
Cites / Doc. (3 years)20151.185
Cites / Doc. (3 years)20161.302
Cites / Doc. (3 years)20171.546
Cites / Doc. (3 years)20181.942
Cites / Doc. (3 years)20191.414
Cites / Doc. (3 years)20201.260
Cites / Doc. (3 years)20211.452
Cites / Doc. (3 years)20221.611
Cites / Doc. (3 years)20231.736
Cites / Doc. (2 years)19990.692
Cites / Doc. (2 years)20000.746
Cites / Doc. (2 years)20010.516
Cites / Doc. (2 years)20020.865
Cites / Doc. (2 years)20031.034
Cites / Doc. (2 years)20040.921
Cites / Doc. (2 years)20051.048
Cites / Doc. (2 years)20061.000
Cites / Doc. (2 years)20071.063
Cites / Doc. (2 years)20081.481
Cites / Doc. (2 years)20091.929
Cites / Doc. (2 years)20101.610
Cites / Doc. (2 years)20111.082
Cites / Doc. (2 years)20121.448
Cites / Doc. (2 years)20131.468
Cites / Doc. (2 years)20141.564
Cites / Doc. (2 years)20150.923
Cites / Doc. (2 years)20161.443
Cites / Doc. (2 years)20171.821
Cites / Doc. (2 years)20181.634
Cites / Doc. (2 years)20191.211
Cites / Doc. (2 years)20201.500
Cites / Doc. (2 years)20211.341
Cites / Doc. (2 years)20221.377
Cites / Doc. (2 years)20231.842
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 Cites20074
Self Cites20086
Self Cites20099
Self Cites20105
Self Cites20116
Self Cites20123
Self Cites20133
Self Cites20149
Self Cites201510
Self Cites20167
Self Cites20176
Self Cites20186
Self Cites20193
Self Cites20204
Self Cites20218
Self Cites20223
Self Cites20230
Total Cites199950
Total Cites200079
Total Cites200159
Total Cites200271
Total Cites200370
Total Cites200464
Total Cites2005115
Total Cites200697
Total Cites200773
Total Cites2008108
Total Cites2009142
Total Cites2010130
Total Cites2011110
Total Cites2012121
Total Cites2013171
Total Cites2014212
Total Cites2015141
Total Cites2016151
Total Cites2017184
Total Cites2018233
Total Cites2019157
Total Cites2020126
Total Cites2021106
Total Cites2022145
Total Cites2023125
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.561
External Cites per document20000.927
External Cites per document20010.634
External Cites per document20021.030
External Cites per document20031.079
External Cites per document20040.955
External Cites per document20051.284
External Cites per document20061.094
External Cites per document20070.945
External Cites per document20081.360
External Cites per document20091.642
External Cites per document20101.453
External Cites per document20111.156
External Cites per document20121.216
External Cites per document20131.556
External Cites per document20141.781
External Cites per document20151.101
External Cites per document20161.241
External Cites per document20171.496
External Cites per document20181.892
External Cites per document20191.387
External Cites per document20201.220
External Cites per document20211.342
External Cites per document20221.578
External Cites per document20231.736
Cites per document19990.610
Cites per document20000.963
Cites per document20010.634
Cites per document20021.060
Cites per document20031.111
Cites per document20040.970
Cites per document20051.307
Cites per document20061.141
Cites per document20071.000
Cites per document20081.440
Cites per document20091.753
Cites per document20101.512
Cites per document20111.222
Cites per document20121.247
Cites per document20131.583
Cites per document20141.860
Cites per document20151.185
Cites per document20161.302
Cites per document20171.546
Cites per document20181.942
Cites per document20191.414
Cites per document20201.260
Cites per document20211.452
Cites per document20221.611
Cites per document20231.736
% 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
200725.93
200827.59
200943.33
201051.61
201122.22
201229.27
201343.24
201439.02
201550.00
201647.50
201740.48
201862.07
201965.52
202033.33
202156.52
202245.45
202352.17
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 documents20088
Non-citable documents20097
Non-citable documents20109
Non-citable documents20118
Non-citable documents201210
Non-citable documents20139
Non-citable documents20148
Non-citable documents20159
Non-citable documents20169
Non-citable documents201711
Non-citable documents201811
Non-citable documents201911
Non-citable documents202011
Non-citable documents20218
Non-citable documents202211
Non-citable documents20238
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 documents2015110
Citable documents2016107
Citable documents2017108
Citable documents2018109
Citable documents2019100
Citable documents202089
Citable documents202165
Citable documents202279
Citable documents202364
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 documents199954
Uncited documents200045
Uncited documents200161
Uncited documents200238
Uncited documents200335
Uncited documents200447
Uncited documents200552
Uncited documents200641
Uncited documents200740
Uncited documents200833
Uncited documents200927
Uncited documents201032
Uncited documents201147
Uncited documents201256
Uncited documents201344
Uncited documents201450
Uncited documents201552
Uncited documents201646
Uncited documents201749
Uncited documents201844
Uncited documents201948
Uncited documents202041
Uncited documents202127
Uncited documents202234
Uncited documents202324
Cited documents199928
Cited documents200037
Cited documents200132
Cited documents200229
Cited documents200328
Cited documents200419
Cited documents200536
Cited documents200644
Cited documents200733
Cited documents200842
Cited documents200954
Cited documents201054
Cited documents201143
Cited documents201241
Cited documents201364
Cited documents201464
Cited documents201567
Cited documents201670
Cited documents201770
Cited documents201876
Cited documents201963
Cited documents202059
Cited documents202146
Cited documents202256
Cited documents202348
% Female Authors

Evolution of the percentage of female authors.

YearFemale Percent
199910.17
200022.03
200116.67
20020.00
200320.69
200425.00
200514.81
200614.29
200722.45
200815.94
200917.14
201016.44
201120.88
201221.69
201317.05
201422.22
201516.33
201617.92
201720.59
201832.22
201914.29
202014.29
202116.67
202217.14
202312.33
Documents cited by public policy (Overton)

Evolution of the number of documents cited by public policy documents according to Overton database.

DocumentsYearValue
Overton19991
Overton20000
Overton20010
Overton20020
Overton20031
Overton20040
Overton20050
Overton20060
Overton20070
Overton20080
Overton20090
Overton20100
Overton20110
Overton20120
Overton20130
Overton20140
Overton20150
Overton20160
Overton20170
Overton20180
Overton20190
Overton20200
Overton20210
Overton20220
Overton20230
Documents related to SDGs (UN)

Evolution of the number of documents related to Sustainable Development Goals defined by United Nations. Available from 2018 onwards.

DocumentsYearValue
SDG20180
SDG20190
SDG20201
SDG20214
SDG20223
SDG20232
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