TURRINI, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 137
EU - Europa 97
AS - Asia 57
Totale 291
Nazione #
US - Stati Uniti d'America 136
CN - Cina 38
GB - Regno Unito 36
SG - Singapore 13
RU - Federazione Russa 10
FR - Francia 9
FI - Finlandia 8
IE - Irlanda 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
ID - Indonesia 1
NL - Olanda 1
Totale 291
Città #
Jacksonville 40
Chandler 29
Southend 21
Beijing 20
Ann Arbor 18
Lancaster 12
Houston 10
Singapore 10
Dublin 8
Ashburn 5
Guangzhou 5
Cagliari 4
Lawrence 4
Princeton 4
Seoul 3
Wilmington 3
Brussels 2
Nanjing 2
Norwalk 2
Santa Clara 2
Shenyang 2
Sindelfingen 2
Dortmund 1
Haikou 1
Hangzhou 1
Hebei 1
Jakarta 1
Jinan 1
Moscow 1
Ottawa 1
Sant'Ambrogio di Valpolicella 1
Verona 1
Totale 218
Nome #
Hierarchical and compositional verification of cryptographic protocols 105
Conditional Automata: A Tool for Safe Removal of Negligible Events 69
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 66
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 51
Totale 291
Categoria #
all - tutte 994
article - articoli 234
book - libri 0
conference - conferenze 474
curatela - curatele 0
other - altro 286
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.988


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202031 0 0 0 0 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/202527 5 7 0 14 1 0 0 0 0 0 0 0
Totale 291