Statistics for Dynamic Invariant Generation for Concurrent Programs

Total visits

views
Dynamic Invariant Generation for Concurrent Programs 456

Total visits per month

views
October 2023 3
November 2023 0
December 2023 0
January 2024 0
February 2024 0
March 2024 0
April 2024 0

File Visits

views
Chattopadhyay_A_T_2014.pdf 624

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
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