Rocchetto, Marco
 Distribuzione geografica
Continente #
NA - Nord America 254
EU - Europa 246
AS - Asia 195
SA - Sud America 16
AF - Africa 4
Totale 715
Nazione #
US - Stati Uniti d'America 253
RU - Federazione Russa 98
SG - Singapore 69
CN - Cina 66
GB - Regno Unito 47
IT - Italia 24
VN - Vietnam 24
FR - Francia 17
DE - Germania 14
IE - Irlanda 14
HK - Hong Kong 13
BR - Brasile 11
FI - Finlandia 9
KR - Corea 9
SE - Svezia 9
BE - Belgio 5
AR - Argentina 4
TR - Turchia 4
UA - Ucraina 4
JP - Giappone 3
IN - India 2
MA - Marocco 2
NL - Olanda 2
AT - Austria 1
BD - Bangladesh 1
BG - Bulgaria 1
CA - Canada 1
CL - Cile 1
DZ - Algeria 1
IL - Israele 1
IQ - Iraq 1
KE - Kenya 1
PH - Filippine 1
PL - Polonia 1
QA - Qatar 1
Totale 715
Città #
Moscow 43
Ann Arbor 40
Singapore 37
Southend 28
Chandler 25
San Jose 23
Jacksonville 21
Ashburn 19
Woodbridge 16
Dallas 15
Dublin 14
Hong Kong 13
Verona 11
Ho Chi Minh City 9
Beijing 7
Munich 6
Brussels 5
Houston 5
Jinan 5
Lawrence 5
Nanjing 5
Princeton 5
Wilmington 5
Cagliari 4
Hanoi 4
Los Angeles 4
Seoul 4
The Dalles 4
Hebei 3
Lancaster 3
London 3
Orem 3
Phoenix 3
Sezze 3
Shenyang 3
Tianjin 3
Tokyo 3
Ankara 2
Changsha 2
Columbus 2
Da Nang 2
Haikou 2
New York 2
Norwalk 2
Redondo Beach 2
Taiyuan 2
Taizhou 2
Algiers 1
Alvorada 1
Arapongas 1
Atlanta 1
Auburn Hills 1
Aurora do Tocantins 1
Basingstoke 1
Biên Hòa 1
Boardman 1
Boston 1
Buffalo 1
Bắc Giang 1
Carandaí 1
Casablanca 1
Concordia 1
Crossville 1
Des Moines 1
Doha 1
Edinburgh 1
Fortaleza 1
Franco da Rocha 1
Frankfurt am Main 1
Fuzhou 1
Groningen 1
Guangzhou 1
Hai Bà Trưng 1
Haiphong 1
Hangzhou 1
Helsinki 1
Hualpén 1
Huzhou 1
Istanbul 1
Itaquaquecetuba 1
Jaipur 1
Jiaxing 1
Karbala 1
Lonigo 1
Manila 1
Nanchang 1
Naples 1
Nha Trang 1
Ningbo 1
Ninh Bình 1
Ottawa 1
Paranatinga 1
Passo Fundo 1
Redmond 1
Resistencia 1
Rio dos Cedros 1
Rostov-on-Don 1
Roubaix 1
San Diego 1
Santa Isabel 1
Totale 482
Nome #
Using interpolation for the verification of security protocols 170
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 167
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 135
Methods and tools for design time and runtime formal analysis of security protocols and web applications 132
Model-Based Detection of CSRF 114
Totale 718
Categoria #
all - tutte 2.341
article - articoli 0
book - libri 0
conference - conferenze 1.893
curatela - curatele 0
other - altro 448
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.682


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 0 1 3 1
2021/202246 2 13 1 2 4 3 3 2 1 0 4 11
2022/202382 6 3 9 9 7 24 3 4 11 0 4 2
2023/202438 2 5 2 3 6 3 2 4 1 4 5 1
2024/202582 4 7 2 14 3 8 0 3 11 6 7 17
2025/2026296 20 15 17 46 88 18 36 21 21 14 0 0
Totale 718