statistiche ricercatore

Continente	#
NA - Nord America	951
EU - Europa	898
AS - Asia	424
SA - Sud America	116
AF - Africa	11
Continente sconosciuto - Info sul continente non disponibili	1
OC - Oceania	1
Totale	2.402

Nazione	#
US - Stati Uniti d'America	936
RU - Federazione Russa	538
SG - Singapore	160
BR - Brasile	99
CN - Cina	71
VN - Vietnam	71
DE - Germania	70
HK - Hong Kong	58
UA - Ucraina	52
FI - Finlandia	47
SE - Svezia	36
IT - Italia	34
GB - Regno Unito	24
BE - Belgio	21
FR - Francia	21
IN - India	21
NL - Olanda	19
IE - Irlanda	14
PL - Polonia	10
CA - Canada	9
BD - Bangladesh	7
JP - Giappone	7
ZA - Sudafrica	7
IQ - Iraq	6
MX - Messico	6
AR - Argentina	5
SA - Arabia Saudita	4
UZ - Uzbekistan	4
VE - Venezuela	4
CO - Colombia	3
EC - Ecuador	3
PK - Pakistan	3
BG - Bulgaria	2
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.402

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

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	60	0	0	0	0	0	0	0	0	0	26	9	25
2021/2022	52	4	2	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.075	34	62	63	121	88	41	142	413	93	18	0	0
Totale													2.431

IRIS Institutional Research Information System