RIZZI, ALESSANDRO MARIA
 Distribuzione geografica
Continente #
NA - Nord America 793
EU - Europa 205
AS - Asia 96
SA - Sud America 4
AF - Africa 3
Totale 1.101
Nazione #
US - Stati Uniti d'America 776
IT - Italia 62
SG - Singapore 34
DE - Germania 18
CA - Canada 16
GB - Regno Unito 16
SE - Svezia 15
ES - Italia 14
VN - Vietnam 14
FI - Finlandia 12
IE - Irlanda 12
JO - Giordania 12
CN - Cina 11
IN - India 10
CH - Svizzera 9
BE - Belgio 8
RU - Federazione Russa 7
GR - Grecia 6
ID - Indonesia 5
UA - Ucraina 5
FR - Francia 4
PL - Polonia 4
CI - Costa d'Avorio 3
HK - Hong Kong 3
IR - Iran 3
NL - Olanda 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
BR - Brasile 2
LT - Lituania 2
AZ - Azerbaigian 1
DK - Danimarca 1
EC - Ecuador 1
LU - Lussemburgo 1
MX - Messico 1
PE - Perù 1
PT - Portogallo 1
RO - Romania 1
SY - Repubblica araba siriana 1
Totale 1.101
Città #
Chandler 95
Fairfield 87
Woodbridge 83
Ann Arbor 64
Santa Clara 52
Wilmington 47
Ashburn 39
Houston 38
Seattle 36
Cambridge 33
Singapore 24
Boardman 17
Dearborn 14
Málaga 13
Amman 12
Dublin 12
Ottawa 12
Lawrence 10
Medford 9
Brussels 8
Milan 7
Saronno 7
Zurich 7
Des Moines 6
Jakarta 5
San Diego 5
Beijing 4
Columbus 4
Mountain View 4
Ternate 4
Warsaw 4
Abidjan 3
Central 3
Dong Ket 3
Helsinki 3
London 3
Norwalk 3
Redmond 3
Amsterdam 2
Charlotte 2
Desio 2
Lyon 2
New York 2
Phoenix 2
Princeton 2
Redwood City 2
Tirana 2
Vienna 2
Al Ain 1
Athens 1
Augusta 1
Bad Kreuznach 1
Baku 1
Blanes 1
Brooklyn 1
Canyon Country 1
Castelo Branco 1
Changzhi 1
Chongqing 1
Copenhagen 1
Dallas 1
Dubai 1
Easton 1
Falkenstein 1
Falls Church 1
Forest City 1
Fremont 1
Genova 1
Gorla Maggiore 1
Groningen 1
Hounslow 1
Jacksonville 1
Kaunas 1
Le Perreux 1
Lima 1
Los Angeles 1
Luxembourg 1
Mcallen 1
Miami 1
Monserrato 1
Montréal 1
Munich 1
Newark 1
Nürnberg 1
Piemonte 1
Quito 1
Richland 1
Santo Agostinho 1
Shanghai 1
Tappahannock 1
Texarkana 1
Trieste 1
Varese 1
Vernon 1
Waterford 1
Yellow Springs 1
Totale 851
Nome #
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications 181
Optimal Map Reduce Job Capacity Allocation in Cloud Systems. 127
Fluid petri nets for the performance evaluation of mapreduce and spark applications 118
Optimal capacity allocation for executing mapreduce jobs in cloud systems 105
Syntax-Driven Program Verification of Matching Logic Properties 102
Incremental reachability checking of kernelc programs using matching logic 88
Haptichem - A Haptic based tool for Chemistry Education and Research 88
HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World 88
An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems 74
Integrating topological proofs with model checking to instrument iterative design 61
TOrPEDO: witnessing model correctness with topological proofs 53
Haptichem 47
Totale 1.132
Categoria #
all - tutte 3.802
article - articoli 1.275
book - libri 0
conference - conferenze 2.081
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.158


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020135 0 0 0 0 0 30 23 21 21 11 20 9
2020/2021176 20 18 6 13 7 5 16 16 20 22 15 18
2021/202294 7 6 1 4 5 11 4 7 10 9 11 19
2022/2023204 17 28 4 21 29 20 0 13 42 14 11 5
2023/202472 9 12 8 5 3 4 8 1 0 7 0 15
2024/2025111 1 10 19 5 41 35 0 0 0 0 0 0
Totale 1.132