Statistics: 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Geo Map
Region
#
NA - North America
326
AS - Asia, other
2
EU - Europe
2
SA - South America
1
Unknown
12
Total
343
Country
#
US - United States of America
326
NL - Netherlands
2
BR - Brazil
1
PK - Pakistan
1
SG - Singapore
1
Unknown
12
Total
343
City
#
Amsterdam
2
Ashburn
1
Dallas
1
Itabaianinha
1
Lahore
1
Unknown
337
Total
343
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2021
0 0
0 0 0 0
80 50 72 24
0 72
298
2022
1 0
0 0 0 0
0 0 0 1
0 0
2
2023
0 0
1 0 0 0
0 1 0 0
2 0
4
2024
0 0
1 1 2 0
1 2 4 2
2 1
16
2025
2 2
2 0 0 1
1 0 2 0
11 0
21
2026
1 1
0 0 0 0
0 0 0 0
0 0
2
Ever
343
Geo Map
| Region | # |
|---|---|
| NA - North America | 326 |
| AS - Asia, other | 2 |
| EU - Europe | 2 |
| SA - South America | 1 |
| Unknown | 12 |
| Total | 343 |
| Country | # |
|---|---|
| US - United States of America | 326 |
| NL - Netherlands | 2 |
| BR - Brazil | 1 |
| PK - Pakistan | 1 |
| SG - Singapore | 1 |
| Unknown | 12 |
| Total | 343 |
| City | # |
|---|---|
| Amsterdam | 2 |
| Ashburn | 1 |
| Dallas | 1 |
| Itabaianinha | 1 |
| Lahore | 1 |
| Unknown | 337 |
| Total | 343 |
| Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2021 | 0 | 0 | 0 | 0 | 0 | 0 | 80 | 50 | 72 | 24 | 0 | 72 | 298 |
| 2022 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 2 |
| 2023 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 2 | 0 | 4 |
| 2024 | 0 | 0 | 1 | 1 | 2 | 0 | 1 | 2 | 4 | 2 | 2 | 1 | 16 |
| 2025 | 2 | 2 | 2 | 0 | 0 | 1 | 1 | 0 | 2 | 0 | 11 | 0 | 21 |
| 2026 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 |
| Ever | 343 | ||||||||||||