statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	857
RU - Federazione Russa	837
IT - Italia	136
SG - Singapore	128
CN - Cina	122
BR - Brasile	55
VN - Vietnam	43
HK - Hong Kong	28
BD - Bangladesh	26
GB - Regno Unito	26
DE - Germania	25
FR - Francia	25
TR - Turchia	20
IN - India	17
IL - Israele	13
PL - Polonia	13
CA - Canada	12
EC - Ecuador	12
BG - Bulgaria	11
UA - Ucraina	10
AT - Austria	9
DK - Danimarca	8
FI - Finlandia	8
SE - Svezia	8
MX - Messico	7
AU - Australia	6
ES - Italia	6
KR - Corea	6
AR - Argentina	5
IQ - Iraq	5
JP - Giappone	5
CL - Cile	4
MA - Marocco	4
NL - Olanda	4
PH - Filippine	4
IE - Irlanda	3
LU - Lussemburgo	3
RO - Romania	3
TN - Tunisia	3
UG - Uganda	3
UZ - Uzbekistan	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.571

Nome	#
MUAC: Access control language for mutual benefits	273
Checking the Expressivity of Firewall Languages	262
Can my Firewall System Enforce this Policy?	257
From firewalls to functions and back	247
FWS: Analyzing, maintaining and transcompiling firewalls	242
Are all firewall systems equally powerful?	234
IFCIL: An Information Flow Configuration Language for SELinux	211
Specifying and Verifying Information Flow Control in SELinux Configurations	196
A Logic for Policy Based Resource Exchanges in Multiagent Systems	178
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers	158
Checking Information Flow in Cloud-based IoT Access Control Policies	85
Differential Verification of Information Flow in SEAndroid Policies	63
Effect Semantics for Quantum Process Calculi	44
Policies for Fair Exchanges of Resources	35
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language	31
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers	31
Testing Quantum Processes	30
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier	27
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers	26
A Coalgebraic Model of Quantum Bisimulation	25
Totale	2.655

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	10	0	0	0	0	0	0	0	0	0	0	0	10
2021/2022	72	17	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.439	33	49	190	393	58	27	210	54	91	135	159	40
Totale													2.655