Formal Methods in System Design
Q3 Journal
Journal
Country
Netherlands
Western Europe
Subject Area and Category
Computer Science
└
Hardware and Architecture
Q3
└
Software
Q3
└
Theoretical Computer Science
Q4
Publisher
SJR 2025
0.290
Q3
SJR Score
H-Index
59
Citations / Doc (2yr)
1.32
Total Docs. (latest)
36
Total Citations (3yr)
78
Publication type
Journals
ISSN
15728102, 09259856
Coverage
1992-2022, 2024-2026
Journal Rank
#17,543
Subject Categories
Hardware and Architecture
Q3
Software
Q3
Theoretical Computer Science
Q4
Subject Areas
Detailed Metrics
| Total Docs. (latest) | 36 |
| Total Docs. (3 years) | 56 |
| Total Refs. | 1,587 |
| Total Citations (3 years) | 78 |
| Citable Docs. (3 years) | 51 |
| Citations / Doc. (2 years) | 1.32 |
| Ref. / Doc. | 44.08 |
| % Female | 19.8% |
Metrics Visualization
Latest year data vs 3-year cumulative figures
Publication & Citation Trend
Loading trend data from Crossref...
Top 10 Most Cited Articles
Loading articles...
Researcher Reviews
Write a ReviewNo reviews yet for this journal.
Be the first to share your experience!
Share Your Experience
Your review will be published after moderation. Email will not be displayed publicly.