Scimago Journal & Country Rank

Formal Aspects of Computing

Country Germany  - SIR icon SIR Ranking of Germany
36
H Index
Subject Area and CategoryComputer Science
Software

Mathematics
Theoretical Computer Science
PublisherSpringer Verlag
Publication typeJournals
ISSN09345043, 1433299X
Coverage1989-ongoing
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. 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.

Homepage

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
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
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
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.333
Cites / Doc. (4 years)20061.181
Cites / Doc. (4 years)20070.885
Cites / Doc. (4 years)20081.344
Cites / Doc. (4 years)20091.760
Cites / Doc. (4 years)20101.545
Cites / Doc. (4 years)20111.415
Cites / Doc. (4 years)20121.487
Cites / Doc. (4 years)20131.792
Cites / Doc. (4 years)20141.955
Cites / Doc. (4 years)20151.295
Cites / Doc. (4 years)20161.352
Cites / Doc. (4 years)20171.483
Cites / Doc. (4 years)20181.890
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.286
Cites / Doc. (3 years)20061.111
Cites / Doc. (3 years)20070.928
Cites / Doc. (3 years)20081.485
Cites / Doc. (3 years)20091.760
Cites / Doc. (3 years)20101.641
Cites / Doc. (3 years)20111.341
Cites / Doc. (3 years)20121.391
Cites / Doc. (3 years)20131.768
Cites / Doc. (3 years)20142.047
Cites / Doc. (3 years)20151.146
Cites / Doc. (3 years)20161.364
Cites / Doc. (3 years)20171.602
Cites / Doc. (3 years)20182.083
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)20060.935
Cites / Doc. (2 years)20071.023
Cites / Doc. (2 years)20081.532
Cites / Doc. (2 years)20091.942
Cites / Doc. (2 years)20101.704
Cites / Doc. (2 years)20111.222
Cites / Doc. (2 years)20121.590
Cites / Doc. (2 years)20131.634
Cites / Doc. (2 years)20141.712
Cites / Doc. (2 years)20150.882
Cites / Doc. (2 years)20161.514
Cites / Doc. (2 years)20171.845
Cites / Doc. (2 years)20181.730
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 Cites20188
Total Cites199949
Total Cites200078
Total Cites200158
Total Cites200270
Total Cites200370
Total Cites200462
Total Cites2005108
Total Cites200690
Total Cites200764
Total Cites2008101
Total Cites2009132
Total Cites2010128
Total Cites2011110
Total Cites2012121
Total Cites2013175
Total Cites2014217
Total Cites2015141
Total Cites2016146
Total Cites2017173
Total Cites2018200
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.262
External Cites per document20061.062
External Cites per document20070.855
External Cites per document20081.397
External Cites per document20091.640
External Cites per document20101.577
External Cites per document20111.268
External Cites per document20121.356
External Cites per document20131.737
External Cites per document20141.896
External Cites per document20151.122
External Cites per document20161.299
External Cites per document20171.546
External Cites per document20182.000
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.286
Cites per document20061.111
Cites per document20070.928
Cites per document20081.485
Cites per document20091.760
Cites per document20101.641
Cites per document20111.341
Cites per document20121.391
Cites per document20131.768
Cites per document20142.047
Cites per document20151.146
Cites per document20161.364
Cites per document20171.602
Cites per document20182.083
% 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
200230.77
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
201863.64
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 documents200810
Non-citable documents20099
Non-citable documents201011
Non-citable documents20119
Non-citable documents201211
Non-citable documents201310
Non-citable documents20148
Non-citable documents20159
Non-citable documents20169
Non-citable documents201711
Non-citable documents201810
Citable documents199982
Citable documents200082
Citable documents200193
Citable documents200267
Citable documents200361
Citable documents200462
Citable documents200584
Citable documents200681
Citable documents200769
Citable documents200868
Citable documents200975
Citable documents201078
Citable documents201182
Citable documents201287
Citable documents201399
Citable documents2014106
Citable documents2015123
Citable documents2016107
Citable documents2017108
Citable documents201896
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 documents200554
Uncited documents200642
Uncited documents200742
Uncited documents200835
Uncited documents200929
Uncited documents201034
Uncited documents201147
Uncited documents201257
Uncited documents201345
Uncited documents201449
Uncited documents201562
Uncited documents201647
Uncited documents201750
Uncited documents201838
Cited documents199927
Cited documents200036
Cited documents200131
Cited documents200229
Cited documents200328
Cited documents200419
Cited documents200534
Cited documents200643
Cited documents200731
Cited documents200843
Cited documents200955
Cited documents201055
Cited documents201144
Cited documents201241
Cited documents201364
Cited documents201465
Cited documents201570
Cited documents201669
Cited documents201769
Cited documents201868
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
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-2019. Data Source: Scopus®