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: File downloads; All dates

File downloadsItem page views
Current month24
Previous month2026
All dates288515
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: File downloads; All dates

Top country views

File downloads
United States95
China56
Germany26
Brazil15
New Zealand10
France8
Ireland8
Romania6
Canada4
United Kingdom4
Iraq4
Netherlands4
India3
Spain2
Indonesia2
Italy2
South Korea2
Luxembourg2
Philippines2
Sweden2
A21
Australia1
Belgium1
Colombia1
Denmark1
Greece1
Hong Kong1
Japan1
Kazakhstan1
Latvia1
Nigeria1
Norway1
Poland1
Portugal1
Russia1
Turkey1
Ukraine1
South Africa1

Top cities views

File downloads
Beijing25
Fairfield16
Ashburn11
Buffalo8
Cambridge8
Dunedin7
Guangzhou7
Boston5
Houston5
Shanghai5
Fortaleza4
Jinan4
Pilot Mountain4
Sulaimani4
Woodbridge4
Cluj3
University Park3
Wilmington3
Wuhan3
Auckland2
Cebu2
Chengdu2
Daejeon2
Dallas2
Gurgaon2
Hebei2
León2
Rollingergrund2
Santa Ana2
Almaty1
Bergen1
Brasov1
Brussels1
Calcutta1
Central District1
Chatham1
Chicago1
Clearwater1
Cluj-napoca1
Delft1
Edenvale1
Edmonton1
Esmeraldas1
Freiburg1
Guelph1
Henan1
Invercargill1
Jakarta1
Köln1
Lane1
Lenexa1
Linköping1
Montréal1
Mountain View1
Nancy1
Narbonne1
Newtonville1
Niterói1
Nürnberg1
Ogden1
Ottawa1
Oxford1
Paris1
Porto1
Poway1
Seattle1
Sydney1
Thessaloníki1
Tianjin1
Trofarello1
Verona1
Villeneuve-le-roi1
Xidian1
Zhengzhou1