Traverso, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 617
EU - Europa 440
AS - Asia 168
SA - Sud America 55
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.283
Nazione #
US - Stati Uniti d'America 613
RU - Federazione Russa 138
DE - Germania 66
SG - Singapore 57
HK - Hong Kong 54
BR - Brasile 51
UA - Ucraina 51
FI - Finlandia 47
SE - Svezia 33
IT - Italia 30
BE - Belgio 21
NL - Olanda 17
VN - Vietnam 17
CN - Cina 15
GB - Regno Unito 14
IE - Irlanda 14
IN - India 10
FR - Francia 4
UZ - Uzbekistan 4
CA - Canada 3
JP - Giappone 3
ZA - Sudafrica 2
AT - Austria 1
BD - Bangladesh 1
BG - Bulgaria 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
PL - Polonia 1
PS - Palestinian Territory 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
UY - Uruguay 1
VE - Venezuela 1
Totale 1.283
Città #
Chandler 155
Jacksonville 119
Hong Kong 54
Ann Arbor 52
Moscow 31
Helsinki 30
Singapore 29
The Dalles 27
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
Los Angeles 6
São Paulo 6
Woodbridge 6
Falkenstein 5
Neumarkt 4
Secaucus 4
Tashkent 4
Brooklyn 3
Tokyo 3
Atlanta 2
Campogalliano 2
Cheyenne 2
Frankfurt am Main 2
Mountain View 2
Munich 2
New York 2
Norwalk 2
Nova Mutum 2
Redwood City 2
Rio de Janeiro 2
San Francisco 2
Toronto 2
Algarrobo 1
Amman 1
Ankara 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
Charlotte 1
Chennai 1
Chongqing 1
Colombo 1
Colorado Springs 1
Cuiabá 1
Dallas 1
Dhaka 1
Eunápolis 1
Fazenda Rio Grande 1
Firminópolis 1
Garanhuns 1
Goiânia 1
Guayaquil 1
Jaboatão dos Guararapes 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
Natal 1
North Weymouth 1
Novo Repartimento 1
Ottawa 1
Portland 1
Porto Alegre 1
Praia Grande 1
Ramallah 1
Recife 1
Ribeirão das Neves 1
Rio Grande 1
Saint Petersburg 1
Totale 816
Nome #
Parameterized Verification of Broadcast Networks of Register Automata 97
Specification and Validation of Link Reversal Routing via Graph Transformations 92
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) 90
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks 88
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 85
A Formal Model of Asynchronous Broadcast Communication 83
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 83
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks 81
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 79
Parameterized model checking for security policy analysis 78
Model Checking Paxos in Spin 69
On the Verification of Timed Ad Hoc Networks 67
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 66
Adding Data Registers to Parameterized Networks with Broadcast 65
Compiling NATO authorization policies for enforcement in the cloud and SDNs 64
Parameterized verification of time-sensitive models of ad hoc network protocols 64
Graph- versus Vector-Based Analysis of a Consensus Protocol 61
Totale 1.312
Categoria #
all - tutte 7.787
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.787


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/2025407 9 2 25 9 5 9 52 41 147 54 54 0
Totale 1.312