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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201914 0 0 0 0 0 0 0 1 5 0 3 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/2023297 20 36 6 51 12 35 3 29 63 30 6 6
2023/2024108 18 9 19 3 11 15 16 17 0 0 0 0
Totale 880