TURRINI, Andrea
 Distribuzione geografica
Continente #
EU - Europa 187
NA - Nord America 171
AS - Asia 127
SA - Sud America 8
AF - Africa 1
Totale 494
Nazione #
US - Stati Uniti d'America 168
RU - Federazione Russa 81
SG - Singapore 49
CN - Cina 48
GB - Regno Unito 37
IT - Italia 17
FR - Francia 12
HK - Hong Kong 12
FI - Finlandia 11
DE - Germania 9
IE - Irlanda 8
BR - Brasile 7
KR - Corea 7
VN - Vietnam 7
SE - Svezia 5
UA - Ucraina 4
CA - Canada 3
BE - Belgio 2
AE - Emirati Arabi Uniti 1
BW - Botswana 1
EC - Ecuador 1
ID - Indonesia 1
IN - India 1
NL - Olanda 1
TR - Turchia 1
Totale 494
Città #
Jacksonville 40
Chandler 29
Moscow 27
Beijing 22
Southend 21
Singapore 19
Ann Arbor 18
Lancaster 12
Ashburn 11
Hong Kong 11
Houston 10
Dublin 8
Milan 7
Guangzhou 5
The Dalles 5
Cagliari 4
Lawrence 4
Princeton 4
Dallas 3
Helsinki 3
Ho Chi Minh City 3
Santa Clara 3
Seoul 3
Wilmington 3
Brussels 2
Buffalo 2
Columbus 2
Nanjing 2
New York 2
Norwalk 2
Shenyang 2
Sindelfingen 2
Antalya 1
Bergamo 1
Bismarck 1
Calgary 1
Cangzhou 1
Carangola 1
Carapicuíba 1
College Park 1
Denver 1
Diadema 1
Divinópolis 1
Dortmund 1
Falkenstein 1
Frankfurt am Main 1
Fuzhou 1
Gaborone 1
Guayaquil 1
Haikou 1
Hangzhou 1
Hebei 1
Jaipur 1
Jakarta 1
Japeri 1
Jinan 1
Liaocheng 1
Naples 1
Ottawa 1
Presidente Prudente 1
Redondo Beach 1
Richmond 1
Rome 1
Roubaix 1
Saint Paul 1
San Marcos 1
Sant'Ambrogio di Valpolicella 1
Taubaté 1
Thái Bình 1
Thái Nguyên 1
Vancouver 1
Verona 1
Totale 331
Nome #
Hierarchical and compositional verification of cryptographic protocols 148
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 128
Conditional Automata: A Tool for Safe Removal of Negligible Events 124
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 94
Totale 494
Categoria #
all - tutte 1.498
article - articoli 366
book - libri 0
conference - conferenze 738
curatela - curatele 0
other - altro 394
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.996


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202118 0 0 0 0 0 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/202584 5 7 0 14 1 4 1 12 13 6 6 15
2025/2026146 18 8 10 39 68 3 0 0 0 0 0 0
Totale 494