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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20195 0 0 0 0 0 0 0 0 0 0 0 5
2019/2020154 18 17 3 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/2024135 15 4 17 2 9 15 16 17 2 35 1 2
Totale 897