TURRINI, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 133
EU - Europa 95
AS - Asia 48
Totale 276
Nazione #
US - Stati Uniti d'America 132
GB - Regno Unito 36
CN - Cina 35
FR - Francia 9
FI - Finlandia 8
IE - Irlanda 8
RU - Federazione Russa 8
SG - Singapore 8
DE - Germania 7
IT - Italia 7
SE - Svezia 5
UA - Ucraina 4
KR - Corea 3
BE - Belgio 2
VN - Vietnam 2
CA - Canada 1
NL - Olanda 1
Totale 276
Città #
Jacksonville 40
Chandler 29
Southend 21
Beijing 20
Ann Arbor 18
Lancaster 12
Houston 10
Dublin 8
Singapore 6
Guangzhou 5
Ashburn 4
Cagliari 4
Lawrence 4
Princeton 4
Seoul 3
Wilmington 3
Brussels 2
Nanjing 2
Norwalk 2
Shenyang 2
Sindelfingen 2
Dortmund 1
Haikou 1
Hangzhou 1
Hebei 1
Jinan 1
Moscow 1
Ottawa 1
Sant'Ambrogio di Valpolicella 1
Santa Clara 1
Verona 1
Totale 211
Nome #
Hierarchical and compositional verification of cryptographic protocols 101
Conditional Automata: A Tool for Safe Removal of Negligible Events 65
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 63
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 47
Totale 276
Categoria #
all - tutte 899
article - articoli 214
book - libri 0
conference - conferenze 421
curatela - curatele 0
other - altro 264
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.798


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202035 0 0 0 4 4 7 1 5 1 8 1 4
2020/202134 1 4 0 4 7 4 0 4 4 0 4 2
2021/202224 0 2 0 1 0 0 10 1 2 1 2 5
2022/202365 6 8 6 8 6 14 0 5 8 1 2 1
2023/202425 2 4 1 2 1 0 0 4 0 3 3 5
2024/202512 5 7 0 0 0 0 0 0 0 0 0 0
Totale 276