statistiche ricercatore

Continente	#
NA - Nord America	1.008
EU - Europa	899
AS - Asia	424
SA - Sud America	117
AF - Africa	11
Continente sconosciuto - Info sul continente non disponibili	1
OC - Oceania	1
Totale	2.461

Nazione	#
US - Stati Uniti d'America	992
RU - Federazione Russa	538
SG - Singapore	160
BR - Brasile	100
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
CA - Canada	10
PL - Polonia	10
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
BG - Bulgaria	3
CO - Colombia	3
EC - Ecuador	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.461

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

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	25	0	0	0	0	0	0	0	0	0	0	0	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.134	34	62	63	121	88	41	142	413	93	26	47	4
Totale													2.490

IRIS Institutional Research Information System