Statistics: Conference Series: Formal Methods in Computer-Aided Design
Geo Map
Region
#
EU - Europe
33776
NA - North America
9870
AS - Asia, other
6722
SA - South America
240
OC - Oceania
227
AF - Africa
219
Unknown
437
Total
51491
Country
#
AT - Austria
19895
US - United States of America
9287
IE - Ireland
5064
CN - China
3261
DE - Germany
1942
FR - France
1473
RU - Russian Federation
969
SG - Singapore
963
GB - United Kingdom
941
SE - Sweden
816
other - Other Country
6868
Total
51479
City
#
Vienna
9101
Dublin
5033
Ashburn
828
Qingdao
682
Helsinki
392
Council Bluffs
355
Shanghai
319
Los Angeles
309
Mödling
287
Klosterneuburg
281
other
26655
Total
44242
Most viewed items
#
ID: 85807 - Small Proofs from Congruence Closure
1034
Total
1034
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2020
0 0
0 0 0 0
0 0 660 624
455 300
2039
2021
0 268
338 297 341 171
344 150 87 912
754 378
4040
2022
523 528
456 726 462 243
1420 2341 2449 3027
737 717
13629
2023
1350 1018
1269 968 860 2156
735 1554 851 4540
3572 3680
22553
2024
3414 3537
2279 0 0 0
0 0 0 0
0 0
9230
Ever
51491
Geo Map
Region | # |
---|---|
EU - Europe | 33776 |
NA - North America | 9870 |
AS - Asia, other | 6722 |
SA - South America | 240 |
OC - Oceania | 227 |
AF - Africa | 219 |
Unknown | 437 |
Total | 51491 |
Country | # |
---|---|
AT - Austria | 19895 |
US - United States of America | 9287 |
IE - Ireland | 5064 |
CN - China | 3261 |
DE - Germany | 1942 |
FR - France | 1473 |
RU - Russian Federation | 969 |
SG - Singapore | 963 |
GB - United Kingdom | 941 |
SE - Sweden | 816 |
other - Other Country | 6868 |
Total | 51479 |
City | # |
---|---|
Vienna | 9101 |
Dublin | 5033 |
Ashburn | 828 |
Qingdao | 682 |
Helsinki | 392 |
Council Bluffs | 355 |
Shanghai | 319 |
Los Angeles | 309 |
Mödling | 287 |
Klosterneuburg | 281 |
other | 26655 |
Total | 44242 |
Most viewed items | # |
---|---|
ID: 85807 - Small Proofs from Congruence Closure | 1034 |
Total | 1034 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2020 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 660 | 624 | 455 | 300 | 2039 |
2021 | 0 | 268 | 338 | 297 | 341 | 171 | 344 | 150 | 87 | 912 | 754 | 378 | 4040 |
2022 | 523 | 528 | 456 | 726 | 462 | 243 | 1420 | 2341 | 2449 | 3027 | 737 | 717 | 13629 |
2023 | 1350 | 1018 | 1269 | 968 | 860 | 2156 | 735 | 1554 | 851 | 4540 | 3572 | 3680 | 22553 |
2024 | 3414 | 3537 | 2279 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9230 |
Ever | 51491 |