Statistics: Conference Series: Formal Methods in Computer-Aided Design

From:   ever     To:   now     Change data

Geo Map

Region #
EU - Europe 4280
NA - North America 1792
AS - Asia, other 1279
SA - South America 64
AF - Africa 27
OC - Oceania 14
Unknown 1
Total 7457
Country #
AT - Austria 2056
US - United States of America 1709
DE - Germany 584
CN - China 363
GB - United Kingdom 265
IN - India 228
FR - France 181
IT - Italy 178
IL - Israel 161
FI - Finland 160
other - Other Country 1572
Total 7457
City #
Vienna 1727
Helsinki 152
Qingdao 119
Ashburn 85
San Francisco 80
Austin 76
Ann Arbor 73
New York 73
Singapore 71
Tel Aviv 70
other 3109
Total 5635
Most downloaded files #
ID: 80322 - Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf - ITEM:( 20.500.12708/18607) 425
Total 425


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2020 00 0000 00229593 352205 1379
2021 0248 171218321208 2481081061002 476274 3380
2022 267203 194312251101 207122179542 30218 2698
Ever 7457