This page shows usage statistics for the item: Verifying social expectations by model checking truncated paths

Click on a number to switch between file downloads and item page views or to view usage statistics for a different date range.

Currently showing: Item page views; All dates

File downloadsItem page views
Current month11
Previous month25
All dates314569
Custom date range
to
    Maximum number of items/collections/authors etc. shown:
  • 2
  • 5
  • 10
  • 20
  • 50
  • 100

Top visitors' geographic locations

Click on a country's usage number to view usage statistics for visits from that country.

Currently showing: Item page views; All dates

Top country views

Item page views
United States169
New Zealand91
France48
China37
United Kingdom24
Germany17
Australia14
Poland11
Russia11
Brazil10
Canada7
Ukraine5
Sweden4
Czech Republic3
EU3
Denmark2
Italy2
South Korea2
South Africa2
Belarus1
Greece1
Hong Kong1
India1
Iran1
Lebanon1
Netherlands1
Portugal1
Romania1

Top cities views

Item page views
Dunedin79
Fairfield20
Ann Arbor19
Ashburn16
Dallas16
Milton13
Cambridge12
Beijing8
Woodbridge8
Houston7
Shenzhen6
Dearborn5
Southend5
Buffalo4
Jacksonville4
Wilmington4
Saint Petersburg3
Shanghai3
Sunnyvale3
Wellington3
Cary2
Chongqing2
Edmonton2
Fortaleza2
Fremont2
Fuzhou2
Hefei2
Indialantic2
Jinhua2
Montréal2
Mountain View2
Norwalk2
Oakland2
Ottawa2
Palo Alto2
Redwood City2
Seattle2
Auburn Hills1
Aurora1
Brisbane1
Brooklyn1
Carol Stream1
Central District1
Chantilly1
Cluj1
Daejeon1
Edenvale1
Guangzhou1
Hangzhou1
Harbin1
Henderson1
Hässleholm1
Invercargill1
Jinan1
Johannesburg1
La Jolla1
Linköping1
Los Angeles1
Manhattan1
Moscow1
Nancy1
Nürnberg1
Phoenix1
Porto1
San Jose1
Santa Ana1
Støvring1
Syracuse1
Trofarello1
University Park1
Waco1
Waihi Beach1
Wichita1
Willingboro1