statistiche ricercatore

Nazione	#
RU - Federazione Russa	848
US - Stati Uniti d'America	599
SG - Singapore	215
CN - Cina	172
IT - Italia	91
BR - Brasile	69
VN - Vietnam	55
HK - Hong Kong	41
DE - Germania	38
GB - Regno Unito	24
FR - Francia	23
CA - Canada	21
KR - Corea	17
IN - India	16
BD - Bangladesh	15
NL - Olanda	14
TR - Turchia	14
PK - Pakistan	9
FI - Finlandia	8
JP - Giappone	8
PL - Polonia	8
IQ - Iraq	6
MX - Messico	6
ZA - Sudafrica	6
AR - Argentina	5
CZ - Repubblica Ceca	5
ES - Italia	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
BG - Bulgaria	2
IR - Iran	2
PA - Panama	2
SE - Svezia	2
VE - Venezuela	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
JO - Giordania	1
KE - Kenya	1
KZ - Kazakistan	1
LB - Libano	1
LU - Lussemburgo	1
ML - Mali	1
MY - Malesia	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
Totale	2.408

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

	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.885	107	67	41	193	102	881	168	59	127	40	70	30
Totale													2.448