Statistics for Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2014
Total visits
| views | |
|---|---|
| Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2014 | 1090 |
Total visits per month
| views | |
|---|---|
| October 2023 | 2 |
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 1 |
| March 2024 | 1 |
| April 2024 | 0 |
File Visits
| views | |
|---|---|
| FMCAD_2014.pdf(legacy) | 2292 |
| FMCAD_2014.pdf | 2032 |
| 147519 | 160 |
Top country views
| views | |
|---|---|
| Germany | 896 |
| United States | 339 |
| China | 174 |
| France | 65 |
| United Kingdom | 52 |
| South Korea | 18 |
| Russia | 17 |
| Norway | 14 |
| Sweden | 13 |
| Italy | 8 |
| Belgium | 7 |
| Japan | 7 |
| India | 5 |
| Iran | 4 |
| Uzbekistan | 4 |
| Canada | 3 |
| Switzerland | 3 |
| Czechia | 3 |
| Finland | 3 |
| Lithuania | 3 |
| Netherlands | 3 |
| Pakistan | 3 |
| Austria | 2 |
| Spain | 2 |
| Hong Kong SAR China | 2 |
| Ireland | 2 |
| Israel | 2 |
| Mexico | 2 |
| Poland | 2 |
| Taiwan | 2 |
| Ukraine | 2 |
| Bulgaria | 1 |
| Cyprus | 1 |
| Denmark | 1 |
| European Union | 1 |
| Greece | 1 |
| Honduras | 1 |
| Indonesia | 1 |
| Luxembourg | 1 |
| Montenegro | 1 |
| Thailand | 1 |
| Venezuela | 1 |
| Vietnam | 1 |
Top city views
| views | |
|---|---|
| Shenzhen | 89 |
| Beijing | 69 |
| Ashburn | 33 |
| Beverly Hills | 32 |
| Austin | 26 |
| Sunnyvale | 24 |
| Nuremberg | 22 |
| Munich | 13 |
| Cupertino | 12 |
| Nürnberg | 10 |
| Boardman | 9 |
| Houston | 9 |
| Umeå | 9 |
| Ann Arbor | 7 |
| Brussels | 7 |
| Kempen | 7 |
| Moscow | 7 |
| Tokyo | 7 |
| Palo Alto | 6 |
| Tettnang | 6 |
| Woodbridge | 6 |
| Stuttgart | 5 |
| Chengdu | 4 |
| Folsom | 4 |
| Ismaning | 4 |
| Wilmington | 4 |
| Council Bluffs | 3 |
| Landshut | 3 |
| Mountain View | 3 |
| Ajmer | 2 |
| Cambridge | 2 |
| Chicago | 2 |
| Clarks Summit | 2 |
| Dallas | 2 |
| Dublin | 2 |
| Frankfurt am Main | 2 |
| Fremont | 2 |
| Guangzhou | 2 |
| Gurgaon | 2 |
| Göttingen | 2 |
| Kursk | 2 |
| Margilan | 2 |
| Menlo Park | 2 |
| San Francisco | 2 |
| Seattle | 2 |
| Shanghai | 2 |
| Tehran | 2 |
| Vancouver | 2 |
| Wuhan | 2 |
| Yautepec | 2 |
| Yekaterinburg | 2 |
| Aachen | 1 |
| Ampfing | 1 |
| Amsterdam | 1 |
| Baltimore | 1 |
| Bangkok | 1 |
| Barcelona | 1 |
| Bastrop | 1 |
| Berkeley | 1 |
| Blacksburg | 1 |
| Bochum | 1 |
| Caputh | 1 |
| Caracas | 1 |
| Central | 1 |
| Columbus | 1 |
| Des Moines | 1 |
| Frankfurt | 1 |
| Frankfurt Am Main | 1 |
| Hangzhou | 1 |
| Hanoi | 1 |
| Interlachen | 1 |
| Jakarta | 1 |
| Jinan | 1 |
| Kherson | 1 |
| Kriens | 1 |
| Kushva | 1 |
| Lahore | 1 |
| Lake Forest | 1 |
| Lenexa | 1 |
| Lincoln | 1 |
| Los Angeles | 1 |
| Lugano | 1 |
| Lund | 1 |
| Luxembourg | 1 |
| Madrid | 1 |
| Manchester | 1 |
| Mcallen | 1 |
| Mesa | 1 |
| Milwaukee | 1 |
| Montgomery | 1 |
| Mölndal | 1 |
| Nanaimo | 1 |
| Nicosia | 1 |
| Ningbo | 1 |
| Nukus | 1 |
| O Fallon | 1 |
| Okara | 1 |
| Okhtyrka | 1 |
| Olalla | 1 |
| Orlando | 1 |