Traverso, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 604
EU - Europa 437
AS - Asia 164
SA - Sud America 40
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.248
Nazione #
US - Stati Uniti d'America 600
RU - Federazione Russa 138
DE - Germania 66
SG - Singapore 56
HK - Hong Kong 54
UA - Ucraina 51
FI - Finlandia 47
BR - Brasile 36
SE - Svezia 32
IT - Italia 30
BE - Belgio 21
NL - Olanda 17
VN - Vietnam 17
CN - Cina 15
GB - Regno Unito 14
IE - Irlanda 14
IN - India 9
FR - Francia 4
UZ - Uzbekistan 4
CA - Canada 3
JP - Giappone 2
ZA - Sudafrica 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
PS - Palestinian Territory 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
VE - Venezuela 1
Totale 1.248
Città #
Chandler 155
Jacksonville 119
Hong Kong 54
Ann Arbor 52
Moscow 31
Helsinki 30
Singapore 28
The Dalles 26
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
São Paulo 4
Tashkent 4
Brooklyn 2
Campogalliano 2
Cheyenne 2
Frankfurt am Main 2
Mountain View 2
Munich 2
Norwalk 2
Nova Mutum 2
Redwood City 2
Rio de Janeiro 2
Tokyo 2
Toronto 2
Algarrobo 1
Amman 1
Açu 1
Barbacena 1
Basra 1
Beirut 1
Belford Roxo 1
Belo Horizonte 1
Brasília 1
Bratislava 1
Cachoeirinha 1
Calvillo 1
Campinas 1
Carol Stream 1
Catanduva 1
Chongqing 1
Colombo 1
Colorado Springs 1
Dallas 1
Dhaka 1
Fazenda Rio Grande 1
Firminópolis 1
Goiânia 1
Guayaquil 1
Jacutinga 1
Jaguarão 1
Jeddah 1
Jiaxing 1
Johannesburg 1
Juiz de Fora 1
Juína Municipality 1
Klerksdorp 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
Ramallah 1
Recife 1
Ribeirão das Neves 1
Rio Grande 1
Saint Petersburg 1
Salvador 1
Shanghai 1
Simão Dias 1
Sinop 1
Tangará da Serra 1
Valparaíso de Goiás 1
Vargem Grande do Sul 1
Verona 1
Vienna 1
Vigolo Vattaro 1
Totale 805
Nome #
Parameterized Verification of Broadcast Networks of Register Automata 94
Specification and Validation of Link Reversal Routing via Graph Transformations 91
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) 89
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks 86
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 84
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks 80
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 80
A Formal Model of Asynchronous Broadcast Communication 78
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 78
Parameterized model checking for security policy analysis 75
Model Checking Paxos in Spin 68
On the Verification of Timed Ad Hoc Networks 65
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 65
Parameterized verification of time-sensitive models of ad hoc network protocols 63
Compiling NATO authorization policies for enforcement in the cloud and SDNs 61
Adding Data Registers to Parameterized Networks with Broadcast 61
Graph- versus Vector-Based Analysis of a Consensus Protocol 59
Totale 1.277
Categoria #
all - tutte 7.634
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.634


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202028 0 0 0 0 0 0 0 0 0 0 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/2025372 9 2 25 9 5 9 52 41 147 54 19 0
Totale 1.277