statistiche ricercatore

Continente	#
EU - Europa	1.167
NA - Nord America	1.128
AS - Asia	447
Continente sconosciuto - Info sul continente non disponibili	84
SA - Sud America	82
AF - Africa	17
OC - Oceania	11
Totale	2.936

Nazione	#
US - Stati Uniti d'America	1.100
RU - Federazione Russa	837
IT - Italia	153
SG - Singapore	132
CN - Cina	124
BR - Brasile	55
VN - Vietnam	45
HK - Hong Kong	28
BD - Bangladesh	27
FR - Francia	26
GB - Regno Unito	26
DE - Germania	25
TR - Turchia	20
IN - India	18
CA - Canada	14
IL - Israele	13
PL - Polonia	13
EC - Ecuador	12
BG - Bulgaria	11
AU - Australia	10
UA - Ucraina	10
AT - Austria	9
ES - Italia	9
DK - Danimarca	8
FI - Finlandia	8
SE - Svezia	8
MX - Messico	7
KR - Corea	6
AR - Argentina	5
IQ - Iraq	5
JP - Giappone	5
CL - Cile	4
MA - Marocco	4
NL - Olanda	4
PH - Filippine	4
UZ - Uzbekistan	4
IE - Irlanda	3
LU - Lussemburgo	3
RO - Romania	3
TN - Tunisia	3
UG - Uganda	3
ZA - Sudafrica	3
AL - Albania	2
BE - Belgio	2
DO - Repubblica Dominicana	2
ET - Etiopia	2
GE - Georgia	2
GR - Grecia	2
ID - Indonesia	2
KZ - Kazakistan	2
MY - Malesia	2
NO - Norvegia	2
NP - Nepal	2
PA - Panama	2
PY - Paraguay	2
AE - Emirati Arabi Uniti	1
BB - Barbados	1
CO - Colombia	1
CR - Costa Rica	1
CY - Cipro	1
EG - Egitto	1
IR - Iran	1
JM - Giamaica	1
KE - Kenya	1
LK - Sri Lanka	1
MD - Moldavia	1
NZ - Nuova Zelanda	1
PE - Perù	1
PS - Palestinian Territory	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
SR - Suriname	1
TH - Thailandia	1
VE - Venezuela	1
Totale	2.852

Nome	#
MUAC: Access control language for mutual benefits	284
Checking the Expressivity of Firewall Languages	270
Can my Firewall System Enforce this Policy?	267
From firewalls to functions and back	262
FWS: Analyzing, maintaining and transcompiling firewalls	256
Are all firewall systems equally powerful?	248
IFCIL: An Information Flow Configuration Language for SELinux	226
Specifying and Verifying Information Flow Control in SELinux Configurations	212
A Logic for Policy Based Resource Exchanges in Multiagent Systems	189
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers	173
Checking Information Flow in Cloud-based IoT Access Control Policies	110
Differential Verification of Information Flow in SEAndroid Policies	78
Effect Semantics for Quantum Process Calculi	60
Policies for Fair Exchanges of Resources	53
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language	46
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers	44
Testing Quantum Processes	44
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier	41
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers	37
A Coalgebraic Model of Quantum Bisimulation	36
Totale	2.936

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	55	0	0	0	1	2	2	11	6	1	2	24	6
2022/2023	157	17	8	4	21	18	20	2	18	32	8	8	1
2023/2024	87	1	4	6	7	8	2	10	9	8	13	8	11
2024/2025	772	9	19	12	42	9	114	177	67	61	81	149	32
2025/2026	1.524	33	49	190	393	58	27	210	54	91	135	159	125
2026/2027	196	184	12	0	0	0	0	0	0	0	0	0	0
Totale													2.936