Statistics for Dynamic Invariant Generation for Concurrent Programs
Total visits
| views | |
|---|---|
| Dynamic Invariant Generation for Concurrent Programs | 464 |
Total visits per month
| views | |
|---|---|
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
File Visits
| views | |
|---|---|
| Chattopadhyay_A_T_2014.pdf | 690 |
Top country views
| views | |
|---|---|
| United States | 182 |
| China | 51 |
| France | 51 |
| United Kingdom | 38 |
| Germany | 29 |
| India | 15 |
| Italy | 11 |
| Hong Kong SAR China | 8 |
| Mexico | 8 |
| Russia | 8 |
| Canada | 5 |
| Hungary | 5 |
| Ireland | 4 |
| South Korea | 4 |
| Brazil | 3 |
| Singapore | 3 |
| United Arab Emirates | 2 |
| Czechia | 2 |
| Japan | 2 |
| Malaysia | 2 |
| Sweden | 2 |
| Vietnam | 2 |
| Netherlands | 1 |
| Pakistan | 1 |
| Thailand | 1 |
| Tunisia | 1 |
| Taiwan | 1 |
| Ukraine | 1 |
| South Africa | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 40 |
| Southend | 33 |
| Reston | 31 |
| Hangzhou | 14 |
| Blacksburg | 13 |
| Sunnyvale | 9 |
| Des Moines | 7 |
| Saint Petersburg | 7 |
| Jersey City | 6 |
| Shanghai | 5 |
| Beijing | 4 |
| Dublin | 4 |
| Mountain View | 4 |
| Ningbo | 4 |
| Brooklyn | 3 |
| Central | 3 |
| Chongqing | 3 |
| Lincoln | 3 |
| Montréal | 3 |
| New Delhi | 3 |
| Roanoke | 3 |
| Shenzhen | 3 |
| Singapore | 3 |
| São Paulo | 3 |
| Abu Dhabi | 2 |
| Ames | 2 |
| Balingen | 2 |
| Castro Valley | 2 |
| Delhi | 2 |
| Friedberg | 2 |
| Hanoi | 2 |
| Houston | 2 |
| Kowloon | 2 |
| Los Angeles | 2 |
| Meadville | 2 |
| Mexico City | 2 |
| Paris | 2 |
| Pune | 2 |
| San Miguel de Cozumel | 2 |
| Tianjin | 2 |
| Zhengzhou | 2 |
| Bad Homburg | 1 |
| Berlin | 1 |
| Bosco Chiesanuova | 1 |
| Boston | 1 |
| Brick | 1 |
| Brno | 1 |
| Budaörs | 1 |
| Cambridge | 1 |
| Central District | 1 |
| Centreville | 1 |
| Daejeon | 1 |
| Folsom | 1 |
| Fremont | 1 |
| Gainesville | 1 |
| Göttingen | 1 |
| Hallstavik | 1 |
| Hamburg | 1 |
| Harbin | 1 |
| Harrisburg | 1 |
| Hefei | 1 |
| Ingolstadt | 1 |
| Keswick | 1 |
| Kolkata | 1 |
| Kuala Lumpur | 1 |
| Las Vegas | 1 |
| Ludwigshafen am Rhein | 1 |
| Milan | 1 |
| Minneapolis | 1 |
| Nanjing | 1 |
| Nantong | 1 |
| New York | 1 |
| Novosibirsk | 1 |
| Old Bridge | 1 |
| Ottawa | 1 |
| Palatine | 1 |
| Palo Alto | 1 |
| Peshawar | 1 |
| Petaling Jaya | 1 |
| Philadelphia | 1 |
| Pisa | 1 |
| Piscataway | 1 |
| Putian | 1 |
| Redwood City | 1 |
| Rochester | 1 |
| Santa Clara | 1 |
| Seoul | 1 |
| South El Monte | 1 |
| Taipei | 1 |
| The Bronx | 1 |
| The Hague | 1 |
| Tokyo | 1 |
| Trenton | 1 |
| Urbana | 1 |
| Wilmington | 1 |
| Winston Salem | 1 |