statistiche ricercatore

Continente	#
NA - Nord America	3.942
EU - Europa	2.038
AS - Asia	1.295
SA - Sud America	88
AF - Africa	15
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	1
Totale	7.384

Nazione	#
US - Stati Uniti d'America	3.914
IT - Italia	504
SG - Singapore	390
FR - Francia	375
DE - Germania	358
CN - Cina	331
GB - Regno Unito	309
VN - Vietnam	219
RU - Federazione Russa	118
UA - Ucraina	90
HK - Hong Kong	83
TR - Turchia	75
BR - Brasile	57
KR - Corea	53
IE - Irlanda	51
NL - Olanda	49
IN - India	37
SE - Svezia	35
AT - Austria	28
FI - Finlandia	24
BD - Bangladesh	22
BE - Belgio	20
CA - Canada	19
CH - Svizzera	17
PT - Portogallo	15
JP - Giappone	14
MY - Malesia	14
AP - ???statistics.table.value.countryCode.AP???	11
ID - Indonesia	11
AR - Argentina	10
TH - Thailandia	10
EU - Europa	9
CL - Cile	8
ES - Italia	8
CO - Colombia	5
IL - Israele	5
PH - Filippine	5
PL - Polonia	5
SA - Arabia Saudita	5
ZA - Sudafrica	5
TW - Taiwan	4
BG - Bulgaria	3
EG - Egitto	3
KZ - Kazakistan	3
LT - Lituania	3
PK - Pakistan	3
SN - Senegal	3
AE - Emirati Arabi Uniti	2
CR - Costa Rica	2
IQ - Iraq	2
IR - Iran	2
MA - Marocco	2
MX - Messico	2
NP - Nepal	2
PE - Perù	2
PY - Paraguay	2
AG - Antigua e Barbuda	1
AL - Albania	1
AU - Australia	1
BO - Bolivia	1
BY - Bielorussia	1
CZ - Repubblica Ceca	1
DK - Danimarca	1
DZ - Algeria	1
EC - Ecuador	1
HN - Honduras	1
IS - Islanda	1
KG - Kirghizistan	1
MK - Macedonia	1
MM - Myanmar	1
NO - Norvegia	1
OM - Oman	1
PA - Panama	1
PR - Porto Rico	1
RO - Romania	1
SI - Slovenia	1
SV - El Salvador	1
SY - Repubblica araba siriana	1
TN - Tunisia	1
UY - Uruguay	1
UZ - Uzbekistan	1
VE - Venezuela	1
Totale	7.384

Nome	#
Formally based semi-automatic implementation of an open security protocol	851
Visual Model-Driven Design, Verification and Implementation of Security Protocols	741
The JavaSPI Framework for Security Protocol Implementation	722
An Overview of Software-based Support Tools for ISO 26262	706
Detecting Chains of Vulnerabilities in Industrial Networks	635
Vulnerability Modelling for the Analysis of Network Attacks	634
Spi2Java: automatic cryptographic protocol java code generation from spi calculus	621
A Lightweight Security Analyzer inside GCC	575
Automated Formal Methods for Security Protocol Engineering	566
JavaSPI: A Framework for Security Protocol Implementation	530
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software	425
Extended protection against stack smashing attacks without performance loss	242
Automatic Verification Techniques to Improve the Open Source Software Quality	200
Totale	7.448

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	216	13	18	1	11	11	16	27	7	20	17	36	39
2022/2023	317	25	54	8	31	35	47	39	15	27	0	19	17
2023/2024	133	8	21	26	0	16	0	14	4	5	1	20	18
2024/2025	482	12	60	13	55	18	27	36	39	65	33	44	80
2025/2026	1.247	80	49	59	80	101	100	191	121	213	150	32	71
2026/2027	67	67	0	0	0	0	0	0	0	0	0	0	0
Totale													7.448

PORTO @ Archivio Istituzionale della Ricerca