statistiche ricercatore

Continente	#
NA - Nord America	5.442
EU - Europa	2.570
AS - Asia	1.610
SA - Sud America	133
Continente sconosciuto - Info sul continente non disponibili	77
AF - Africa	30
OC - Oceania	10
Totale	9.872

Nazione	#
US - Stati Uniti d'America	5.405
DE - Germania	563
IT - Italia	550
SG - Singapore	504
FR - Francia	424
CN - Cina	420
GB - Regno Unito	367
VN - Vietnam	298
RU - Federazione Russa	142
UA - Ucraina	123
HK - Hong Kong	94
BR - Brasile	93
IE - Irlanda	75
NL - Olanda	66
KR - Corea	65
TR - Turchia	57
AT - Austria	49
IN - India	47
GR - Grecia	39
SE - Svezia	30
CH - Svizzera	27
FI - Finlandia	25
CA - Canada	24
BD - Bangladesh	19
BE - Belgio	19
MY - Malesia	16
AR - Argentina	14
JP - Giappone	13
PT - Portogallo	13
ZA - Sudafrica	13
ID - Indonesia	12
TH - Thailandia	11
AP - ???statistics.table.value.countryCode.AP???	10
AU - Australia	9
CL - Cile	9
PH - Filippine	9
PL - Polonia	9
EU - Europa	8
IL - Israele	8
PK - Pakistan	7
TW - Taiwan	7
CO - Colombia	6
ES - Italia	6
BG - Bulgaria	5
KZ - Kazakistan	5
MX - Messico	5
SA - Arabia Saudita	5
SN - Senegal	5
RO - Romania	4
VE - Venezuela	4
BY - Bielorussia	3
DK - Danimarca	3
EG - Egitto	3
IQ - Iraq	3
KE - Kenya	3
LT - Lituania	3
MA - Marocco	3
PY - Paraguay	3
UZ - Uzbekistan	3
AG - Antigua e Barbuda	2
BO - Bolivia	2
EC - Ecuador	2
IS - Islanda	2
JO - Giordania	2
NO - Norvegia	2
NP - Nepal	2
SY - Repubblica araba siriana	2
A2 - ???statistics.table.value.countryCode.A2???	1
AL - Albania	1
AZ - Azerbaigian	1
BB - Barbados	1
CR - Costa Rica	1
CZ - Repubblica Ceca	1
EE - Estonia	1
ET - Etiopia	1
GH - Ghana	1
GP - Guadalupe	1
GT - Guatemala	1
HN - Honduras	1
KW - Kuwait	1
LV - Lettonia	1
MD - Moldavia	1
MK - Macedonia	1
NE - Niger	1
NZ - Nuova Zelanda	1
OM - Oman	1
PR - Porto Rico	1
RS - Serbia	1
SI - Slovenia	1
Totale	9.803

Nome	#
Formal Verification of Security Protocol Implementations: A Survey	874
Formally based semi-automatic implementation of an open security protocol	856
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code	782
Visual Model-Driven Design, Verification and Implementation of Security Protocols	746
Provably correct Java implementations of Spi Calculus security protocols specifications	729
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access	727
The JavaSPI Framework for Security Protocol Implementation	724
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation	698
Safe abstractions of data encodings in formal security protocol models	693
Formally-Based Black-Box Monitoring of Security Protocols	599
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models	599
Automated Formal Methods for Security Protocol Engineering	566
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models	552
JavaSPI: A Framework for Security Protocol Implementation	531
The new divertor tokamak test facility	196
Totale	9.872

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	249	0	24	1	8	17	31	39	10	26	22	33	38
2022/2023	405	25	67	7	30	40	47	73	24	38	1	26	27
2023/2024	149	8	24	23	4	5	3	14	6	2	7	27	26
2024/2025	605	14	61	18	57	28	39	40	45	87	48	56	112
2025/2026	1.585	108	68	78	101	135	117	255	125	269	182	41	106
2026/2027	131	131	0	0	0	0	0	0	0	0	0	0	0
Totale													9.872

PORTO @ Archivio Istituzionale della Ricerca