RIZZI, ALESSANDRO MARIA
 Distribuzione geografica
Continente #
NA - Nord America 720
EU - Europa 199
AS - Asia 67
AF - Africa 3
SA - Sud America 2
Totale 991
Nazione #
US - Stati Uniti d'America 703
IT - Italia 62
DE - Germania 17
CA - Canada 16
GB - Regno Unito 16
SG - Singapore 16
SE - Svezia 15
ES - Italia 14
VN - Vietnam 14
FI - Finlandia 12
IE - Irlanda 12
JO - Giordania 12
IN - India 10
CH - Svizzera 9
BE - Belgio 8
CN - Cina 6
GR - Grecia 6
RU - Federazione Russa 6
UA - Ucraina 5
FR - Francia 4
PL - Polonia 4
CI - Costa d'Avorio 3
HK - Hong Kong 3
IR - Iran 3
NL - Olanda 3
AT - Austria 2
BR - Brasile 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
DK - Danimarca 1
LT - Lituania 1
MX - Messico 1
PT - Portogallo 1
RO - Romania 1
SY - Repubblica araba siriana 1
Totale 991
Città #
Chandler 95
Fairfield 87
Woodbridge 83
Ann Arbor 64
Wilmington 47
Ashburn 38
Houston 38
Seattle 36
Cambridge 33
Dearborn 14
Málaga 13
Amman 12
Dublin 12
Ottawa 12
Lawrence 10
Medford 9
Brussels 8
Singapore 8
Milan 7
Saronno 7
Zurich 7
Des Moines 6
Boardman 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
Phoenix 2
Princeton 2
Redwood City 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
Chongqing 1
Copenhagen 1
Dallas 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
Los Angeles 1
Mcallen 1
Miami 1
Monserrato 1
Montréal 1
Munich 1
New York 1
Nürnberg 1
Piemonte 1
Richland 1
Santo Agostinho 1
Tappahannock 1
Texarkana 1
Trieste 1
Varese 1
Vernon 1
Waterford 1
Yellow Springs 1
Totale 755
Nome #
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications 167
Optimal Map Reduce Job Capacity Allocation in Cloud Systems. 119
Fluid petri nets for the performance evaluation of mapreduce and spark applications 107
Optimal capacity allocation for executing mapreduce jobs in cloud systems 95
Syntax-Driven Program Verification of Matching Logic Properties 95
Incremental reachability checking of kernelc programs using matching logic 83
Haptichem - A Haptic based tool for Chemistry Education and Research 79
HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World 78
An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems 64
Integrating topological proofs with model checking to instrument iterative design 54
TOrPEDO: witnessing model correctness with topological proofs 41
Haptichem 39
Totale 1.021
Categoria #
all - tutte 3.240
article - articoli 1.082
book - libri 0
conference - conferenze 1.798
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.120


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020211 10 20 4 16 26 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
Totale 1.021