Traverso, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 560
EU - Europa 271
AS - Asia 94
Continente sconosciuto - Info sul continente non disponibili 1
Totale 926
Nazione #
US - Stati Uniti d'America 557
DE - Germania 57
UA - Ucraina 51
FI - Finlandia 43
HK - Hong Kong 36
SE - Svezia 32
IT - Italia 30
BE - Belgio 18
VN - Vietnam 17
SG - Singapore 16
GB - Regno Unito 14
IE - Irlanda 14
CN - Cina 13
IN - India 8
RU - Federazione Russa 5
FR - Francia 4
CA - Canada 3
JP - Giappone 2
AT - Austria 1
EU - Europa 1
LK - Sri Lanka 1
LU - Lussemburgo 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
Totale 926
Città #
Chandler 155
Jacksonville 119
Ann Arbor 52
Hong Kong 36
Helsinki 26
Boardman 20
Trento 20
Wilmington 19
Brussels 18
Dearborn 17
Dong Ket 17
Kronberg 17
Ashburn 15
Dublin 14
Phoenix 14
Beijing 7
Miami 7
Pune 7
Singapore 7
Woodbridge 6
Los Angeles 5
Neumarkt 4
Secaucus 4
Brooklyn 2
Campogalliano 2
Cheyenne 2
Mountain View 2
Munich 2
Norwalk 2
Redwood City 2
Tokyo 2
Toronto 2
Bratislava 1
Carol Stream 1
Chongqing 1
Colombo 1
Dallas 1
Jiaxing 1
Kunming 1
Milan 1
Nanjing 1
New York 1
North Weymouth 1
Ottawa 1
Portland 1
Saint Petersburg 1
Tashkent 1
Verona 1
Vienna 1
Vigolo Vattaro 1
Totale 642
Nome #
Specification and Validation of Link Reversal Routing via Graph Transformations 74
Parameterized Verification of Broadcast Networks of Register Automata 71
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) 68
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks 66
A Formal Model of Asynchronous Broadcast Communication 60
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 60
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 59
Parameterized model checking for security policy analysis 59
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 58
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks 57
On the Verification of Timed Ad Hoc Networks 51
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 50
Model Checking Paxos in Spin 48
Parameterized verification of time-sensitive models of ad hoc network protocols 48
Graph- versus Vector-Based Analysis of a Consensus Protocol 43
Compiling NATO authorization policies for enforcement in the cloud and SDNs 42
Adding Data Registers to Parameterized Networks with Broadcast 41
Totale 955
Categoria #
all - tutte 6.295
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 6.295


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020116 0 0 0 0 24 15 19 1 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/202550 9 2 25 9 5 0 0 0 0 0 0 0
Totale 955