Traverso, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 578
EU - Europa 315
AS - Asia 155
SA - Sud America 21
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.070
Nazione #
US - Stati Uniti d'America 574
DE - Germania 66
HK - Hong Kong 52
SG - Singapore 51
UA - Ucraina 51
FI - Finlandia 47
RU - Federazione Russa 33
SE - Svezia 32
IT - Italia 30
BE - Belgio 21
BR - Brasile 17
VN - Vietnam 17
CN - Cina 15
GB - Regno Unito 14
IE - Irlanda 14
IN - India 9
FR - Francia 4
CA - Canada 3
UZ - Uzbekistan 3
JP - Giappone 2
AT - Austria 1
BD - Bangladesh 1
CL - Cile 1
EC - Ecuador 1
EU - Europa 1
IQ - Iraq 1
JO - Giordania 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MX - Messico 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
VE - Venezuela 1
Totale 1.070
Città #
Chandler 155
Jacksonville 119
Ann Arbor 52
Hong Kong 52
Helsinki 30
Singapore 23
Brussels 21
Boardman 20
Trento 20
Wilmington 19
Dearborn 17
Dong Ket 17
Kronberg 17
Ashburn 15
Dublin 14
Phoenix 14
Beijing 7
Miami 7
Pune 7
Woodbridge 6
Falkenstein 5
Los Angeles 5
Neumarkt 4
Secaucus 4
Moscow 3
Tashkent 3
Brooklyn 2
Campogalliano 2
Cheyenne 2
Frankfurt am Main 2
Mountain View 2
Munich 2
Norwalk 2
Redwood City 2
Tokyo 2
Toronto 2
Algarrobo 1
Amman 1
Açu 1
Barbacena 1
Basra 1
Beirut 1
Bratislava 1
Cachoeirinha 1
Calvillo 1
Campinas 1
Carol Stream 1
Chongqing 1
Colombo 1
Colorado Springs 1
Dallas 1
Dhaka 1
Fazenda Rio Grande 1
Goiânia 1
Guayaquil 1
Jaguarão 1
Jeddah 1
Jiaxing 1
Kochi 1
Kunming 1
Milan 1
Mineiros 1
Montevideo 1
Nanjing 1
New York 1
North Weymouth 1
Novo Repartimento 1
Ottawa 1
Portland 1
Porto Alegre 1
Recife 1
Rio Grande 1
Rio de Janeiro 1
Saint Petersburg 1
Salvador 1
Shanghai 1
Simão Dias 1
Sinop 1
Tangará da Serra 1
Verona 1
Vienna 1
Vigolo Vattaro 1
Totale 722
Nome #
Parameterized Verification of Broadcast Networks of Register Automata 87
Specification and Validation of Link Reversal Routing via Graph Transformations 81
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks 77
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) 77
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 70
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 69
A Formal Model of Asynchronous Broadcast Communication 67
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks 66
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 66
Parameterized model checking for security policy analysis 65
Model Checking Paxos in Spin 58
On the Verification of Timed Ad Hoc Networks 55
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 55
Parameterized verification of time-sensitive models of ad hoc network protocols 54
Compiling NATO authorization policies for enforcement in the cloud and SDNs 53
Graph- versus Vector-Based Analysis of a Consensus Protocol 50
Adding Data Registers to Parameterized Networks with Broadcast 49
Totale 1.099
Categoria #
all - tutte 7.169
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 7.169


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202057 0 0 0 0 0 0 0 0 23 6 18 10
2020/2021157 28 0 20 8 17 3 19 0 2 26 9 25
2021/202252 4 2 2 4 0 2 2 11 8 3 2 12
2022/2023287 20 36 6 51 12 35 3 29 59 27 5 4
2023/2024143 15 4 17 2 9 15 16 17 2 35 1 10
2024/2025194 9 2 25 9 5 9 52 41 42 0 0 0
Totale 1.099