statistiche ricercatore

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

Nome	#
MUAC: Access control language for mutual benefits	268
Checking the Expressivity of Firewall Languages	253
From firewalls to functions and back	243
FWS: Analyzing, maintaining and transcompiling firewalls	237
Can my Firewall System Enforce this Policy?	232
Are all firewall systems equally powerful?	224
IFCIL: An Information Flow Configuration Language for SELinux	203
A Logic for Policy Based Resource Exchanges in Multiagent Systems	170
Specifying and Verifying Information Flow Control in SELinux Configurations	166
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers	140
Checking Information Flow in Cloud-based IoT Access Control Policies	55
Differential Verification of Information Flow in SEAndroid Policies	44
Effect Semantics for Quantum Process Calculi	33
Testing Quantum Processes	24
Policies for Fair Exchanges of Resources	23
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier	22
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers	20
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language	18
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers	17
A Coalgebraic Model of Quantum Bisimulation	17
Totale	2.409

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	27	0	0	0	0	0	0	0	0	0	16	1	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.193	33	49	190	393	58	27	210	54	91	88	0	0
Totale													2.409