Formal Methods in System Design
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
SCImago
Q3
WOS
Q4
Impact factor
0.8
SJR
0.345
CiteScore
2.3
Categories
Hardware and Architecture
Software
Theoretical Computer Science
Areas
Computer Science
Mathematics
Years of issue
1992-2025
journal names
Formal Methods in System Design
FORM METHOD SYST DES
Top-3 citing journals
Lecture Notes in Computer Science
(5103 citations)
Formal Methods in System Design
(339 citations)
International Journal on Software Tools for Technology Transfer
(289 citations)
Top-3 organizations
National Institute for Research in Digital Science and Technology
(54 publications)
Technion – Israel Institute of Technology
(37 publications)
Carnegie Mellon University
(35 publications)
National Institute for Research in Digital Science and Technology
(14 publications)
Vienna University of Technology
(11 publications)
Albert Ludwig University of Freiburg
(6 publications)
Top-3 countries
Top-1 researchers by articles count
1 publication in journal
Schlehuber-Caissier Philipp
6 publications,
73 citations
h-index: 3
Most cited in 5 years
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-100
Citing journals
Citing publishers
Publishing organizations
Publishing organizations in 5 years
Publishing countries
Publishing countries in 5 years
|
5
10
15
20
25
30
35
|
|
|
USA
|
USA, 33, 23.4%
USA
33 publications, 23.4%
|
|
United Kingdom
|
United Kingdom, 22, 15.6%
United Kingdom
22 publications, 15.6%
|
|
Germany
|
Germany, 21, 14.89%
Germany
21 publications, 14.89%
|
|
Austria
|
Austria, 18, 12.77%
Austria
18 publications, 12.77%
|
|
France
|
France, 15, 10.64%
France
15 publications, 10.64%
|
|
Italy
|
Italy, 12, 8.51%
Italy
12 publications, 8.51%
|
|
Israel
|
Israel, 10, 7.09%
Israel
10 publications, 7.09%
|
|
India
|
India, 9, 6.38%
India
9 publications, 6.38%
|
|
Sweden
|
Sweden, 7, 4.96%
Sweden
7 publications, 4.96%
|
|
Canada
|
Canada, 6, 4.26%
Canada
6 publications, 4.26%
|
|
Australia
|
Australia, 4, 2.84%
Australia
4 publications, 2.84%
|
|
Denmark
|
Denmark, 4, 2.84%
Denmark
4 publications, 2.84%
|
|
Netherlands
|
Netherlands, 3, 2.13%
Netherlands
3 publications, 2.13%
|
|
Singapore
|
Singapore, 3, 2.13%
Singapore
3 publications, 2.13%
|
|
China
|
China, 2, 1.42%
China
2 publications, 1.42%
|
|
Belgium
|
Belgium, 2, 1.42%
Belgium
2 publications, 1.42%
|
|
Spain
|
Spain, 2, 1.42%
Spain
2 publications, 1.42%
|
|
New Zealand
|
New Zealand, 2, 1.42%
New Zealand
2 publications, 1.42%
|
|
Norway
|
Norway, 2, 1.42%
Norway
2 publications, 1.42%
|
|
Czech Republic
|
Czech Republic, 2, 1.42%
Czech Republic
2 publications, 1.42%
|
|
Switzerland
|
Switzerland, 2, 1.42%
Switzerland
2 publications, 1.42%
|
|
Russia
|
Russia, 1, 0.71%
Russia
1 publication, 0.71%
|
|
Argentina
|
Argentina, 1, 0.71%
Argentina
1 publication, 0.71%
|
|
Ireland
|
Ireland, 1, 0.71%
Ireland
1 publication, 0.71%
|
|
Iceland
|
Iceland, 1, 0.71%
Iceland
1 publication, 0.71%
|
|
UAE
|
UAE, 1, 0.71%
UAE
1 publication, 0.71%
|
|
5
10
15
20
25
30
35
|
1 publication in journal
Schlehuber-Caissier Philipp
6 publications,
73 citations
h-index: 3