PESCETTI, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 232
AS - Asia 190
EU - Europa 162
SA - Sud America 32
AF - Africa 8
Totale 624
Nazione #
US - Stati Uniti d'America 226
CN - Cina 91
SG - Singapore 71
SE - Svezia 31
IE - Irlanda 28
FI - Finlandia 23
IT - Italia 23
BR - Brasile 22
UA - Ucraina 22
DE - Germania 13
HK - Hong Kong 11
VN - Vietnam 8
GB - Regno Unito 7
NL - Olanda 6
ZA - Sudafrica 6
AR - Argentina 5
CA - Canada 5
EC - Ecuador 3
IN - India 3
BE - Belgio 2
PL - Polonia 2
RU - Federazione Russa 2
TR - Turchia 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
CI - Costa d'Avorio 1
DZ - Algeria 1
ES - Italia 1
IR - Iran 1
JP - Giappone 1
KW - Kuwait 1
MX - Messico 1
RS - Serbia 1
Totale 624
Città #
Ashburn 55
Singapore 42
Beijing 28
Dublin 28
Jacksonville 25
Santa Clara 21
Chandler 20
Ann Arbor 18
Nanjing 12
Hong Kong 11
Boardman 8
Kunming 7
San Mateo 7
Johannesburg 6
Princeton 5
Shanghai 5
Toronto 5
Nanchang 4
San Giuliano Milanese 4
Wilmington 4
Buffalo 3
Dearborn 3
Hefei 3
Jinan 3
Los Angeles 3
New York 3
Rapino 3
Brussels 2
City of London 2
Council Bluffs 2
Dallas 2
Des Moines 2
Düsseldorf 2
Helsinki 2
Ho Chi Minh City 2
Houston 2
London 2
Niterói 2
Parma 2
Redwood City 2
Scandiano 2
Abidjan 1
Algiers 1
Alvorada 1
Amsterdam 1
Angera 1
Ankara 1
Atlanta 1
Bahía Blanca 1
Belo Horizonte 1
Bergamo 1
Brooklyn 1
Capannoli 1
Carapicuíba 1
Changsha 1
Charlestown 1
Chennai 1
Columbus 1
Coronel Fabriciano 1
Cosmópolis 1
Denver 1
Dubai 1
Fortaleza 1
Fuzhou 1
Guaraciaba do Norte 1
Ha Long 1
Haiphong 1
Hangzhou 1
Hanoi 1
Huzhou 1
Itabirito 1
Izmir 1
Jiaxing 1
Joinville 1
João Dourado 1
Junín 1
Kuwait City 1
Machala 1
Mariano Moreno 1
Milagro 1
Milton Keynes 1
Moscow 1
Mumbai 1
Ningbo 1
Ninh Bình 1
Novi Bečej 1
Orem 1
Paraty 1
Phủ Lý 1
Presidencia Roque Sáenz Peña 1
Pune 1
Querétaro 1
Quilmes 1
Rockville 1
Rome 1
Salto 1
Salvador 1
San Jose 1
Shaoxing 1
Shenyang 1
Totale 423
Nome #
A New Look at the Automatic Synthesis of Linear Ranking Functions 169
On the Design of Generic Static Analyzers for Imperative Languages 130
Verification of C Programs Via Natural Semantics and Abstract Interpretation 117
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 109
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 101
Totale 626
Categoria #
all - tutte 1.940
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.940


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202120 0 0 0 0 0 1 6 0 7 1 5 0
2021/202240 1 1 0 4 4 0 7 7 0 4 5 7
2022/202387 14 3 5 5 6 13 2 6 31 0 2 0
2023/202444 0 6 1 2 0 10 1 17 2 0 1 4
2024/2025114 3 6 15 7 9 15 4 4 15 16 7 13
2025/2026147 31 19 20 34 31 12 0 0 0 0 0 0
Totale 626