Scimago Journal & Country Rank

Formal Methods in System Design

CountryNetherlands
44
H Index
Subject Area and CategoryComputer Science
Hardware and Architecture
Software

Mathematics
Theoretical Computer Science
PublisherKluwer Academic Publishers
Publication typeJournals
ISSN09259856, 15728102
Coverage1992-ongoing
Scope Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods. (source)
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
Hardware and Architecture1999Q1
Hardware and Architecture2000Q1
Hardware and Architecture2001Q2
Hardware and Architecture2002Q1
Hardware and Architecture2003Q1
Hardware and Architecture2004Q2
Hardware and Architecture2005Q1
Hardware and Architecture2006Q1
Hardware and Architecture2007Q1
Hardware and Architecture2008Q2
Hardware and Architecture2009Q2
Hardware and Architecture2010Q1
Hardware and Architecture2011Q1
Hardware and Architecture2012Q1
Hardware and Architecture2013Q2
Hardware and Architecture2014Q1
Hardware and Architecture2015Q1
Hardware and Architecture2016Q1
Hardware and Architecture2017Q2
Software1999Q2
Software2000Q2
Software2001Q2
Software2002Q2
Software2003Q1
Software2004Q2
Software2005Q1
Software2006Q2
Software2007Q1
Software2008Q2
Software2009Q2
Software2010Q2
Software2011Q2
Software2012Q2
Software2013Q2
Software2014Q1
Software2015Q1
Software2016Q1
Software2017Q2
Theoretical Computer Science1999Q2
Theoretical Computer Science2000Q2
Theoretical Computer Science2001Q2
Theoretical Computer Science2002Q2
Theoretical Computer Science2003Q1
Theoretical Computer Science2004Q2
Theoretical Computer Science2005Q2
Theoretical Computer Science2006Q2
Theoretical Computer Science2007Q2
Theoretical Computer Science2008Q3
Theoretical Computer Science2009Q3
Theoretical Computer Science2010Q2
Theoretical Computer Science2011Q3
Theoretical Computer Science2012Q2
Theoretical Computer Science2013Q3
Theoretical Computer Science2014Q2
Theoretical Computer Science2015Q2
Theoretical Computer Science2016Q2
Theoretical Computer Science2017Q2
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.582
20000.465
20010.558
20020.716
20030.868
20040.579
20050.813
20060.662
20070.856
20080.471
20090.512
20100.616
20110.554
20120.736
20130.549
20140.768
20150.800
20160.682
20170.445
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)19991.263
Cites / Doc. (4 years)20001.282
Cites / Doc. (4 years)20011.329
Cites / Doc. (4 years)20021.134
Cites / Doc. (4 years)20031.557
Cites / Doc. (4 years)20041.648
Cites / Doc. (4 years)20052.692
Cites / Doc. (4 years)20061.483
Cites / Doc. (4 years)20071.865
Cites / Doc. (4 years)20081.736
Cites / Doc. (4 years)20091.381
Cites / Doc. (4 years)20101.686
Cites / Doc. (4 years)20111.938
Cites / Doc. (4 years)20122.304
Cites / Doc. (4 years)20131.921
Cites / Doc. (4 years)20142.305
Cites / Doc. (4 years)20152.290
Cites / Doc. (4 years)20162.500
Cites / Doc. (4 years)20172.011
Cites / Doc. (3 years)19991.263
Cites / Doc. (3 years)20000.967
Cites / Doc. (3 years)20011.034
Cites / Doc. (3 years)20021.188
Cites / Doc. (3 years)20031.701
Cites / Doc. (3 years)20041.722
Cites / Doc. (3 years)20052.000
Cites / Doc. (3 years)20061.615
Cites / Doc. (3 years)20072.169
Cites / Doc. (3 years)20081.206
Cites / Doc. (3 years)20091.484
Cites / Doc. (3 years)20101.710
Cites / Doc. (3 years)20112.069
Cites / Doc. (3 years)20122.111
Cites / Doc. (3 years)20131.431
Cites / Doc. (3 years)20142.377
Cites / Doc. (3 years)20152.418
Cites / Doc. (3 years)20162.237
Cites / Doc. (3 years)20171.825
Cites / Doc. (2 years)19990.897
Cites / Doc. (2 years)20001.000
Cites / Doc. (2 years)20011.100
Cites / Doc. (2 years)20021.279
Cites / Doc. (2 years)20031.854
Cites / Doc. (2 years)20041.021
Cites / Doc. (2 years)20052.209
Cites / Doc. (2 years)20061.927
Cites / Doc. (2 years)20071.348
Cites / Doc. (2 years)20081.196
Cites / Doc. (2 years)20091.447
Cites / Doc. (2 years)20102.050
Cites / Doc. (2 years)20111.810
Cites / Doc. (2 years)20121.462
Cites / Doc. (2 years)20131.234
Cites / Doc. (2 years)20142.482
Cites / Doc. (2 years)20152.057
Cites / Doc. (2 years)20161.543
Cites / Doc. (2 years)20171.875
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 Cites19993
Self Cites20002
Self Cites20013
Self Cites20020
Self Cites20034
Self Cites20041
Self Cites20051
Self Cites20061
Self Cites20074
Self Cites20080
Self Cites20092
Self Cites20101
Self Cites20113
Self Cites20122
Self Cites20132
Self Cites20144
Self Cites20154
Self Cites20161
Self Cites20173
Total Cites199972
Total Cites200058
Total Cites200160
Total Cites200276
Total Cites2003114
Total Cites2004124
Total Cites2005134
Total Cites2006105
Total Cites2007141
Total Cites200882
Total Cites200992
Total Cites2010106
Total Cites2011120
Total Cites2012133
Total Cites201393
Total Cites2014183
Total Cites2015191
Total Cites2016170
Total Cites2017115
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 document19991.211
External Cites per document20000.933
External Cites per document20010.983
External Cites per document20021.188
External Cites per document20031.642
External Cites per document20041.708
External Cites per document20051.985
External Cites per document20061.600
External Cites per document20072.108
External Cites per document20081.206
External Cites per document20091.452
External Cites per document20101.694
External Cites per document20112.017
External Cites per document20122.079
External Cites per document20131.400
External Cites per document20142.325
External Cites per document20152.367
External Cites per document20162.224
External Cites per document20171.778
Cites per document19991.263
Cites per document20000.967
Cites per document20011.034
Cites per document20021.188
Cites per document20031.701
Cites per document20041.722
Cites per document20052.000
Cites per document20061.615
Cites per document20072.169
Cites per document20081.206
Cites per document20091.484
Cites per document20101.710
Cites per document20112.069
Cites per document20122.111
Cites per document20131.431
Cites per document20142.377
Cites per document20152.418
Cites per document20162.237
Cites per document20171.825
% 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
199923.81
200021.05
200125.93
200219.23
200320.00
200436.84
200520.00
200632.00
200760.00
200843.75
200919.23
201047.37
201131.82
201241.38
201350.00
201452.17
201547.83
201650.00
201756.25
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 documents20023
Non-citable documents20035
Non-citable documents20046
Non-citable documents20053
Non-citable documents20064
Non-citable documents20074
Non-citable documents20087
Non-citable documents20094
Non-citable documents20105
Non-citable documents20113
Non-citable documents20124
Non-citable documents20135
Non-citable documents20146
Non-citable documents20155
Non-citable documents20162
Non-citable documents20171
Citable documents199957
Citable documents200060
Citable documents200158
Citable documents200264
Citable documents200367
Citable documents200472
Citable documents200567
Citable documents200665
Citable documents200765
Citable documents200868
Citable documents200962
Citable documents201062
Citable documents201158
Citable documents201263
Citable documents201365
Citable documents201477
Citable documents201579
Citable documents201676
Citable documents201763
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 documents199927
Uncited documents200037
Uncited documents200128
Uncited documents200237
Uncited documents200329
Uncited documents200439
Uncited documents200527
Uncited documents200636
Uncited documents200727
Uncited documents200837
Uncited documents200929
Uncited documents201024
Uncited documents201121
Uncited documents201223
Uncited documents201328
Uncited documents201424
Uncited documents201529
Uncited documents201627
Uncited documents201728
Cited documents199930
Cited documents200023
Cited documents200130
Cited documents200230
Cited documents200343
Cited documents200439
Cited documents200543
Cited documents200633
Cited documents200742
Cited documents200838
Cited documents200937
Cited documents201043
Cited documents201140
Cited documents201244
Cited documents201342
Cited documents201459
Cited documents201555
Cited documents201651
Cited documents201736
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-2018. Data Source: Scopus®