Organization Unit Statistics: E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Geo Map
Region
#
EU - Europe
239
NA - North America
40
OC - Oceania
18
AS - Asia, other
10
AF - Africa
4
SA - South America
1
Total
312
Country
#
AT - Austria
162
US - United States of America
30
DE - Germany
22
IE - Ireland
20
GB - United Kingdom
17
AU - Australia
10
CA - Canada
9
FR - France
8
NZ - New Zealand
8
SG - Singapore
6
other - Other Country
20
Total
312
City
#
Vienna
87
Dublin
18
Des Moines
13
Helsinki
4
Brisbane
3
Cape Town
3
Hamilton
3
Kamen
3
Strasbourg
3
Hong Kong
2
other
173
Total
312
Most viewed projects
#
ID: 7581 - Automated Reasoning with Theories and Induction for Software Technologies
79
Total
79
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2020
0 0
0 0 0 0
0 0 0 2
6 7
15
2021
0 0
0 0 0 0
2 0 0 1
7 0
10
2022
0 16
1 0 2 0
59 15 0 6
1 0
100
2023
5 37
2 7 12 7
4 12 6 18
4 7
121
2024
31 23
7 4 1 0
0 0 0 0
0 0
66
Ever
312
Geo Map
Region | # |
---|---|
EU - Europe | 239 |
NA - North America | 40 |
OC - Oceania | 18 |
AS - Asia, other | 10 |
AF - Africa | 4 |
SA - South America | 1 |
Total | 312 |
Country | # |
---|---|
AT - Austria | 162 |
US - United States of America | 30 |
DE - Germany | 22 |
IE - Ireland | 20 |
GB - United Kingdom | 17 |
AU - Australia | 10 |
CA - Canada | 9 |
FR - France | 8 |
NZ - New Zealand | 8 |
SG - Singapore | 6 |
other - Other Country | 20 |
Total | 312 |
City | # |
---|---|
Vienna | 87 |
Dublin | 18 |
Des Moines | 13 |
Helsinki | 4 |
Brisbane | 3 |
Cape Town | 3 |
Hamilton | 3 |
Kamen | 3 |
Strasbourg | 3 |
Hong Kong | 2 |
other | 173 |
Total | 312 |
Most viewed projects | # |
---|---|
ID: 7581 - Automated Reasoning with Theories and Induction for Software Technologies | 79 |
Total | 79 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2020 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 6 | 7 | 15 |
2021 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 1 | 7 | 0 | 10 |
2022 | 0 | 16 | 1 | 0 | 2 | 0 | 59 | 15 | 0 | 6 | 1 | 0 | 100 |
2023 | 5 | 37 | 2 | 7 | 12 | 7 | 4 | 12 | 6 | 18 | 4 | 7 | 121 |
2024 | 31 | 23 | 7 | 4 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 66 |
Ever | 312 |