statistiche ricercatore

Continente	#
EU - Europa	1.102
NA - Nord America	695
AS - Asia	599
SA - Sud America	83
Continente sconosciuto - Info sul continente non disponibili	40
AF - Africa	15
OC - Oceania	1
Totale	2.535

Nazione	#
RU - Federazione Russa	848
US - Stati Uniti d'America	658
SG - Singapore	215
CN - Cina	173
IT - Italia	106
BR - Brasile	69
VN - Vietnam	55
HK - Hong Kong	41
DE - Germania	38
GB - Regno Unito	24
FR - Francia	23
CA - Canada	22
BD - Bangladesh	21
KR - Corea	17
IN - India	16
NL - Olanda	14
TR - Turchia	14
PK - Pakistan	9
FI - Finlandia	8
JP - Giappone	8
PL - Polonia	8
ES - Italia	6
IQ - Iraq	6
MX - Messico	6
ZA - Sudafrica	6
AR - Argentina	5
CZ - Repubblica Ceca	5
AT - Austria	4
SA - Arabia Saudita	4
UA - Ucraina	4
AE - Emirati Arabi Uniti	3
HN - Honduras	3
IL - Israele	3
LT - Lituania	3
MA - Marocco	3
UY - Uruguay	3
UZ - Uzbekistan	3
VE - Venezuela	3
BG - Bulgaria	2
IR - Iran	2
MY - Malesia	2
PA - Panama	2
SE - Svezia	2
AL - Albania	1
AU - Australia	1
BE - Belgio	1
BH - Bahrain	1
BJ - Benin	1
BM - Bermuda	1
BW - Botswana	1
CI - Costa d'Avorio	1
CL - Cile	1
EC - Ecuador	1
EG - Egitto	1
HR - Croazia	1
HU - Ungheria	1
ID - Indonesia	1
JM - Giamaica	1
JO - Giordania	1
KE - Kenya	1
KZ - Kazakistan	1
LB - Libano	1
LU - Lussemburgo	1
ML - Mali	1
PE - Perù	1
PS - Palestinian Territory	1
RO - Romania	1
SK - Slovacchia (Repubblica Slovacca)	1
SV - El Salvador	1
SY - Repubblica araba siriana	1
TT - Trinidad e Tobago	1
Totale	2.495

Nome	#
Complexity results for modal logic with recursion via translations and tableaux	186
Centralized vs Decentralized Monitors for Hyperproperties	177
On first-order runtime enforcement of branching-time properties	164
Runtime Instrumentation for Reactive Components (Artifact)	162
A Monitoring Tool for Linear-Time $$\mu $$HML	161
The Best a Monitor Can Do	159
Better Late Than Never or: Verifying Asynchronous Components at Runtime	157
Runtime Instrumentation for Reactive Components	152
An operational guide to monitorability with applications to regular properties	151
Complexity through Translations for Modal Logic with Recursion	142
Monitoring Hyperproperties with Circuits	142
A monitoring tool for linear-time μHML	141
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties	136
On Probabilistic Monitorability	132
On Benchmarking for Concurrent Runtime Verification	129
Comparing controlled system synthesis and suppression enforcement	129
On Bidirectional Runtime Enforcement	115
Totale	2.535

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2023/2024	60	0	0	0	0	0	0	0	0	0	0	43	17
2024/2025	503	8	27	97	64	37	42	38	17	25	45	66	37
2025/2026	1.888	107	67	41	193	102	881	168	59	127	40	70	33
2026/2027	84	45	39	0	0	0	0	0	0	0	0	0	0
Totale													2.535