statistiche ricercatore

Continente	#
NA - Nord America	3.825
EU - Europa	2.019
AS - Asia	1.273
SA - Sud America	77
AF - Africa	15
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	1
Totale	7.215

Nazione	#
US - Stati Uniti d'America	3.806
IT - Italia	493
SG - Singapore	387
FR - Francia	373
DE - Germania	358
CN - Cina	331
GB - Regno Unito	309
VN - Vietnam	219
RU - Federazione Russa	118
UA - Ucraina	89
HK - Hong Kong	83
TR - Turchia	75
KR - Corea	53
IE - Irlanda	51
BR - Brasile	50
NL - Olanda	48
IN - India	37
SE - Svezia	35
AT - Austria	28
FI - Finlandia	24
BE - Belgio	20
CH - Svizzera	17
CA - Canada	15
PT - Portogallo	15
JP - Giappone	14
MY - Malesia	14
AP - ???statistics.table.value.countryCode.AP???	11
ID - Indonesia	11
TH - Thailandia	10
EU - Europa	9
AR - Argentina	7
CL - Cile	7
ES - Italia	6
CO - Colombia	5
IL - Israele	5
PH - Filippine	5
PL - Polonia	5
SA - Arabia Saudita	5
ZA - Sudafrica	5
TW - Taiwan	4
BD - Bangladesh	3
EG - Egitto	3
KZ - Kazakistan	3
LT - Lituania	3
PK - Pakistan	3
SN - Senegal	3
AE - Emirati Arabi Uniti	2
BG - Bulgaria	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
KG - Kirghizistan	1
MK - Macedonia	1
MM - Myanmar	1
NO - Norvegia	1
OM - Oman	1
PA - Panama	1
RO - Romania	1
SI - Slovenia	1
SY - Repubblica araba siriana	1
TN - Tunisia	1
UY - Uruguay	1
UZ - Uzbekistan	1
VE - Venezuela	1
Totale	7.215

Nome	#
Formally based semi-automatic implementation of an open security protocol	840
Visual Model-Driven Design, Verification and Implementation of Security Protocols	724
The JavaSPI Framework for Security Protocol Implementation	714
An Overview of Software-based Support Tools for ISO 26262	692
Vulnerability Modelling for the Analysis of Network Attacks	616
Detecting Chains of Vulnerabilities in Industrial Networks	614
Spi2Java: automatic cryptographic protocol java code generation from spi calculus	595
Automated Formal Methods for Security Protocol Engineering	556
A Lightweight Security Analyzer inside GCC	550
JavaSPI: A Framework for Security Protocol Implementation	523
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software	419
Extended protection against stack smashing attacks without performance loss	239
Automatic Verification Techniques to Improve the Open Source Software Quality	197
Totale	7.279

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	31	0	0	0	0	0	0	0	0	0	0	15	16
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.145	80	49	59	80	101	100	191	121	213	150	1	0
Totale													7.279

PORTO @ Archivio Istituzionale della Ricerca