ZUNINO, ROBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.223
EU - Europa 400
AS - Asia 147
AF - Africa 57
Totale 1.827
Nazione #
US - Stati Uniti d'America 1.188
IT - Italia 136
CN - Cina 95
SE - Svezia 80
BG - Bulgaria 48
DE - Germania 42
CA - Canada 35
FR - Francia 23
UA - Ucraina 20
CI - Costa d'Avorio 19
NG - Nigeria 19
SN - Senegal 19
VN - Vietnam 18
SG - Singapore 17
GB - Regno Unito 13
RU - Federazione Russa 13
FI - Finlandia 11
CH - Svizzera 10
TR - Turchia 9
HK - Hong Kong 2
KR - Corea 2
NL - Olanda 2
CZ - Repubblica Ceca 1
IL - Israele 1
IN - India 1
JP - Giappone 1
KZ - Kazakistan 1
PL - Polonia 1
Totale 1.827
Città #
Woodbridge 190
Fairfield 147
Ann Arbor 133
Houston 115
Chandler 108
Milan 63
Seattle 60
Ashburn 58
Cambridge 54
Wilmington 53
Beijing 48
Sofia 48
Ottawa 35
Jacksonville 32
New York 32
Abidjan 19
Boardman 19
Bremen 19
Dakar 19
Florence 19
Lagos 19
Lawrence 19
Marseille 19
Nanjing 19
Princeton 19
Medford 15
Des Moines 12
Singapore 12
Bern 10
Serra 10
Boulder 8
Izmir 8
Dong Ket 7
San Diego 7
Jüchen 5
Kunming 5
Rome 5
Dearborn 4
Düsseldorf 4
Hebei 4
Orange 4
Auburn Hills 3
Jiaxing 3
Nanchang 3
San Francisco 3
Tianjin 3
Changsha 2
Dallas 2
Frosinone 2
Hong Kong 2
Los Angeles 2
Santa Clara 2
Shenyang 2
Verona 2
Washington 2
Yellow Springs 2
Almaty 1
Amsterdam 1
Chengdu 1
Costa Mesa 1
Frankfurt am Main 1
Haikou 1
Hangzhou 1
Hefei 1
Hendon 1
Indiana 1
Jinan 1
Kilburn 1
Kocaeli 1
Nürnberg 1
Ogden 1
Paris 1
Prague 1
Pune 1
Redwood City 1
Tappahannock 1
Tel Aviv 1
Tokyo 1
Warsaw 1
Totale 1.544
Nome #
Handling exp, x (and Timestamps) in Protocol Analysis 157
A Note on the Perfect Encryption Assumption in a Process Calculus 128
Securing Java with Local Policies 127
Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries 124
Secure Service Composition 120
Securing Java with Local Policies 109
Planning and verifying service composition 102
Semantics-Based Design for Secure Web Services 93
Model Checking Usage Policies 92
A rule-based and imperative language for biochemical modeling and simulation 91
An imperative language of self-modifying graphs for biological systems 90
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 87
nu-Types for Effects and Freshness Analysis 81
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 81
Efficient stochastic simulation of biochemical reactions with noise and delays 71
Hard Life with Weak Binders 56
null 55
null 53
null 49
l: An imperative DSL to stochastically simulate biological systems 27
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 26
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 23
Totale 1.842
Categoria #
all - tutte 5.040
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 5.040


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020307 0 0 14 33 39 36 39 29 40 36 36 5
2020/2021124 17 4 12 7 10 3 8 12 11 9 7 24
2021/2022183 5 12 4 9 33 28 4 10 10 3 13 52
2022/2023340 30 44 20 28 47 35 0 14 80 12 30 0
2023/2024194 27 30 24 18 26 37 3 8 2 3 0 16
2024/202524 1 23 0 0 0 0 0 0 0 0 0 0
Totale 1.842