statistiche ricercatore

Continente	#
NA - Nord America	1.100
EU - Europa	916
AS - Asia	424
SA - Sud America	119
Continente sconosciuto - Info sul continente non disponibili	30
AF - Africa	11
OC - Oceania	1
Totale	2.601

Nazione	#
US - Stati Uniti d'America	1.084
RU - Federazione Russa	538
SG - Singapore	160
BR - Brasile	100
CN - Cina	71
VN - Vietnam	71
DE - Germania	70
HK - Hong Kong	58
SE - Svezia	52
UA - Ucraina	52
FI - Finlandia	47
IT - Italia	34
GB - Regno Unito	24
BE - Belgio	21
FR - Francia	21
IN - India	21
NL - Olanda	19
IE - Irlanda	15
CA - Canada	10
PL - Polonia	10
BD - Bangladesh	7
JP - Giappone	7
ZA - Sudafrica	7
IQ - Iraq	6
MX - Messico	6
AR - Argentina	5
CO - Colombia	4
EC - Ecuador	4
SA - Arabia Saudita	4
UZ - Uzbekistan	4
VE - Venezuela	4
BG - Bulgaria	3
PK - Pakistan	3
ES - Italia	2
ET - Etiopia	2
TR - Turchia	2
TW - Taiwan	2
AE - Emirati Arabi Uniti	1
AT - Austria	1
AZ - Azerbaigian	1
CD - Congo	1
CL - Cile	1
EU - Europa	1
GR - Grecia	1
JO - Giordania	1
KI - Kiribati	1
LB - Libano	1
LK - Sri Lanka	1
LT - Lituania	1
LU - Lussemburgo	1
MA - Marocco	1
MY - Malesia	1
PH - Filippine	1
PS - Palestinian Territory	1
PT - Portogallo	1
RO - Romania	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
UY - Uruguay	1
Totale	2.572

Nome	#
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies	189
Specification and Validation of Link Reversal Routing via Graph Transformations	172
Parameterized Verification of Broadcast Networks of Register Automata	170
Parameterized model checking for security policy analysis	169
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks	168
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module	165
ALPS: An Action Language for Policy Specification and Automated Safety Analysis	161
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper)	160
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks	156
A Formal Model of Asynchronous Broadcast Communication	155
On the Verification of Timed Ad Hoc Networks	146
Adding Data Registers to Parameterized Networks with Broadcast	136
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies	135
Model Checking Paxos in Spin	133
Compiling NATO authorization policies for enforcement in the cloud and SDNs	133
Parameterized verification of time-sensitive models of ad hoc network protocols	133
Graph- versus Vector-Based Analysis of a Consensus Protocol	120
Totale	2.601

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	46	0	0	2	4	0	2	2	11	8	3	2	12
2022/2023	287	20	36	6	51	12	35	3	29	59	27	5	4
2023/2024	143	15	4	17	2	9	15	16	17	2	35	1	10
2024/2025	451	9	2	25	9	5	9	52	41	147	54	77	21
2025/2026	1.135	34	62	63	121	88	41	142	413	93	26	47	5
2026/2027	110	50	46	14	0	0	0	0	0	0	0	0	0
Totale													2.601

IRIS Institutional Research Information System