Traverso, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 390
EU - Europa 191
AS - Asia 27
Continente sconosciuto - Info sul continente non disponibili 1
Totale 609
Nazione #
US - Stati Uniti d'America 389
UA - Ucraina 51
DE - Germania 37
SE - Svezia 32
FI - Finlandia 17
IT - Italia 17
VN - Vietnam 17
BE - Belgio 16
GB - Regno Unito 13
CN - Cina 7
FR - Francia 3
RU - Federazione Russa 3
JP - Giappone 2
AT - Austria 1
CA - Canada 1
EU - Europa 1
IN - India 1
LU - Lussemburgo 1
Totale 609
Città #
Chandler 149
Jacksonville 119
Ann Arbor 52
Wilmington 19
Dearborn 17
Dong Ket 17
Brussels 16
Trento 13
Woodbridge 6
Beijing 3
Secaucus 3
Boardman 2
Brooklyn 2
Cheyenne 2
Mountain View 2
Norwalk 2
Redwood City 2
Tokyo 2
Ashburn 1
Carol Stream 1
Chongqing 1
Dallas 1
Jiaxing 1
Kunming 1
Milan 1
Munich 1
Nanjing 1
North Weymouth 1
Ottawa 1
Saint Petersburg 1
Verona 1
Vienna 1
Vigolo Vattaro 1
Totale 443
Nome #
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) 53
Specification and Validation of Link Reversal Routing via Graph Transformations 53
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks 48
A Formal Model of Asynchronous Broadcast Communication 47
Parameterized Verification of Broadcast Networks of Register Automata 47
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 42
Parameterized model checking for security policy analysis 39
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 37
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 35
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 34
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks 33
On the Verification of Timed Ad Hoc Networks 30
Model Checking Paxos in Spin 29
Graph- versus Vector-Based Analysis of a Consensus Protocol 29
Parameterized verification of time-sensitive models of ad hoc network protocols 29
Compiling NATO authorization policies for enforcement in the cloud and SDNs 27
Adding Data Registers to Parameterized Networks with Broadcast 26
Totale 638
Categoria #
all - tutte 2259
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 2259


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201811 0000 00 18 1010
2018/201937 0000 176 01 5035
2019/2020154 181730 2415 191 2361810
2020/2021157 280208 173 190 226925
2021/202252 4224 02 211 83212
2022/2023163 2036651 1235 30 0000
Totale 638