Formal Methods in System Design

Yayıncı: Springer Netherlands
Ülke: Netherlands · Western Europe
Tür: journal
ISSN: 09259856

15728102

Scopus 0,29 SJR

Scopus Q3 SJR Q

WoS Q3 JCR Q

WoS 1 JIF

Scopus 59 H-Index

Bütünleşik değerlendirme

Scopus tarafı Scimago SJR; WoS tarafı Master Journal List + JCR/JIF. Kaynaklar ISSN üzerinden eşleştirilir. WoS / JCR metrikleri yalnızca 1997 ve sonrası yıllar için vardır.

WoS / JCR verileri 1997 ve sonrası içindir.

Scopus

Scopus · Scimago

SJR 0,29
Quartile Q3
H-Index 59
Atıf/yayın 1,32
Doküman (3y) 56
Atıf (3y) 78

Clarivate

Web of Science · JCR · 2025

JCR Q Q3
JIF 1
5Y JIF 1
JCI 0,23

WoS indeksleri

SCIE

Konu sınıflandırması

Kategoriler (SJR)

Hardware and Architecture Q3
Software Q3
Theoretical Computer Science Q4

Alanlar

Computer Science
Mathematics

WoS kategorileri

Computer Science, Theory & Methods

Yıllık quartile karşılaştırması

Scimago (SJR) tüm yıllar; Clarivate (JCR / JIF / JCI) 1997 ve sonrası. Güncel yıl açık; diğer yıllar kapalıdır.

WoS / JCR verileri 1997 ve sonrası içindir.

Not: JCR Q, JIF, 5Y JIF, JCI ve JCI Q sütunları 1997 öncesi için boştur — bu sitede WoS/JCR verisi 1997’den başlar.
Yıl	SJR Q	JCR Q (1997+)	SJR	JIF (1997+)	5Y JIF (1997+)	JCI (1997+)	JCI Q (1997+)	H-Index
2025	Q3	Q3	0,29	1	1	0,23	Q4	59
2024	Q3	Q4	0,345	0,8	1,2	0,26	Q4	58
2023	Q3	Q3	0,4	0,7	0,8	0,27	Q4	58
2022	Q3	Q4	0,32	0,8	1,2	0,32	Q3	58
2021	Q3	Q3	0,502	1,1	1,7	0,3	Q4	58
2020	Q3	Q4	0,334	0,4	0,7	0,31	Q4	58
2019	Q2	Q4	0,516	0,7	0,7	0,55	Q3	58
2018	—	Q4	—	0,8	0,7	0,7	Q2	—
2017	Q2	Q3	0,445	0,8	1	0,83	Q2	58
2016	Q1	Q3	0,682	1	1,7	—	—	58
2015	Q1	Q2	0,8	1,1	1,2	—	—	58
2014	Q1	Q3	0,768	0,9	1,2	—	—	58
2013	Q2	Q4	0,549	0,4	0,9	—	—	58
2012	Q1	Q4	0,736	0,3	0,7	—	—	58
2011	Q1	Q3	0,554	0,7	0,7	—	—	58
2010	Q1	Q2	0,616	1,2	0,8	—	—	58
2009	—	Q2	—	1,1	1,2	—	—	—
2008	—	Q3	—	0,8	1	—	—	—
2007	—	Q3	—	0,7	0,9	—	—	—
2006	—	Q2	—	0,9	—	—	—	—
2005	—	Q2	—	1,3	—	—	—	—
2004	—	Q3	—	0,7	—	—	—	—
2003	—	Q1	—	1,5	—	—	—	—
2002	—	Q3	—	0,5	—	—	—	—
2001	—	Q3	—	0,4	—	—	—	—
2000	—	Q3	—	0,5	—	—	—	—
1999	—	Q2	—	0,7	—	—	—	—
1998	—	Q1	—	0,7	—	—	—	—
1997	—	Q3	—	0,2	—	—	—	—

JCR kategori quartile geçmişi

Yıla ve kategoriye göre JCR / JCI quartile. 1997 ve sonrası.

WoS / JCR verileri 1997 ve sonrası içindir.

Not: Bu tablo 1997+ Clarivate kategori quartile kayıtlarını gösterir.
Yıl	Kategori	Edition	JCR Q (1997+)	JCI Q (1997+)	Sıra
2025	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	Q4	107/146
2024	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	Q4	111/147
2023	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	Q4	104/144
2022	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	Q3	95/111
2021	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	Q4	77/110
2020	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	Q4	104/110
2019	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	Q3	93/108
2018	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	Q2	83/105
2017	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	Q2	74/103
2016	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	71/104
2015	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	—	44/105
2014	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	55/102
2013	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	—	88/102
2012	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q4	—	94/100
2011	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	52/99
2010	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	—	42/97
2009	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	—	46/92
2008	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	52/84
2007	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	46/79
2006	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	—	34/75
2005	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	—	20/71
2004	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	39/70
2003	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q1	—	16/70
2002	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	45/69
2001	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	47/71
2000	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	39/67
1999	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	—	23/61
1998	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q1	—	14/64
1997	COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	—	44/59