Statistics for Decidability and Algorithmic Analysis of Dependent Object Types (DOT)

Total visits

views
Decidability and Algorithmic Analysis of Dependent Object Types (DOT) 93

Total visits per month

views
January 2025 3
February 2025 1
March 2025 0
April 2025 0
May 2025 3
June 2025 1
July 2025 1

File Visits

views
Hu_Zhong_Sheng.pdf 62
Hu_Zhong_Sheng.pdf(legacy) 35

Top country views

views
United States 38
Ireland 10
Canada 9
Singapore 9
Hong Kong SAR China 6
China 4
France 3
United Kingdom 2
Russia 2
Brazil 1
Czechia 1
Spain 1
Finland 1
Indonesia 1
South Korea 1
Luxembourg 1
Malaysia 1
Taiwan 1

Top city views

views
Dublin 10
Boardman 7
Hong Kong 6
Boydton 5
Singapore 5
Montreal 4
Ashburn 3
Fort Worth 3
Prineville 3
Shanghai 3
Springfield 3
Coeur d'Alene 2
Harringay 2
Pointe-aux-Trembles 2
Sandston 2
Toronto 2
Boadilla del Monte 1
Calgary 1
DeKalb 1
Fremont 1
Fuzhou 1
Helsinki 1
Jakarta 1
Kuala Lumpur 1
Kyoto 1
Luxembourg 1
Paris 1
Prague 1
Recife 1