statistiche ricercatore

Continente	#
NA - Nord America	1.235
EU - Europa	918
AS - Asia	426
SA - Sud America	120
Continente sconosciuto - Info sul continente non disponibili	30
AF - Africa	11
OC - Oceania	1
Totale	2.741

Nazione	#
US - Stati Uniti d'America	1.217
RU - Federazione Russa	538
SG - Singapore	161
BR - Brasile	101
CN - Cina	71
VN - Vietnam	71
DE - Germania	70
HK - Hong Kong	58
SE - Svezia	52
UA - Ucraina	52
FI - Finlandia	47
IT - Italia	35
GB - Regno Unito	25
IN - India	22
BE - Belgio	21
FR - Francia	21
NL - Olanda	19
IE - Irlanda	15
CA - Canada	11
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
HN - Honduras	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.712

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

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	44	0	0	0	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	250	50	46	86	68	0	0	0	0	0	0	0	0
Totale													2.741

IRIS Institutional Research Information System