statistiche ricercatore

Continente	#
NA - Nord America	1.112
AS - Asia	1.017
EU - Europa	890
SA - Sud America	128
Continente sconosciuto - Info sul continente non disponibili	40
AF - Africa	11
OC - Oceania	1
Totale	3.199

Nazione	#
US - Stati Uniti d'America	1.053
SG - Singapore	495
RU - Federazione Russa	405
IT - Italia	286
VN - Vietnam	185
CN - Cina	171
BR - Brasile	107
HK - Hong Kong	61
DE - Germania	50
FR - Francia	41
CA - Canada	40
JP - Giappone	25
IE - Irlanda	17
SE - Svezia	15
NL - Olanda	14
GB - Regno Unito	13
IN - India	13
FI - Finlandia	12
BD - Bangladesh	11
TR - Turchia	10
MX - Messico	9
ES - Italia	7
KR - Corea	7
PH - Filippine	7
IQ - Iraq	6
RO - Romania	6
TH - Thailandia	6
EC - Ecuador	5
PL - Polonia	5
UA - Ucraina	5
AR - Argentina	4
BG - Bulgaria	3
ID - Indonesia	3
TW - Taiwan	3
UY - Uruguay	3
ZA - Sudafrica	3
BO - Bolivia	2
CL - Cile	2
CR - Costa Rica	2
DO - Repubblica Dominicana	2
IL - Israele	2
LT - Lituania	2
MY - Malesia	2
NO - Norvegia	2
PY - Paraguay	2
SN - Senegal	2
UZ - Uzbekistan	2
VE - Venezuela	2
AM - Armenia	1
AZ - Azerbaigian	1
BA - Bosnia-Erzegovina	1
BE - Belgio	1
BZ - Belize	1
CH - Svizzera	1
CZ - Repubblica Ceca	1
DZ - Algeria	1
EG - Egitto	1
EU - Europa	1
HR - Croazia	1
IR - Iran	1
IS - Islanda	1
JM - Giamaica	1
KW - Kuwait	1
KZ - Kazakistan	1
MA - Marocco	1
NG - Nigeria	1
NI - Nicaragua	1
OM - Oman	1
PE - Perù	1
PK - Pakistan	1
PR - Porto Rico	1
RE - Reunion	1
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TO - Tonga	1
TT - Trinidad e Tobago	1
VC - Saint Vincent e Grenadine	1
Totale	3.160

Nome	#
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games	249
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II	214
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation	146
Cycle detection in computation tree logic	141
On promptness in parity games	138
Solving parity games in scala	134
On the Counting of Strategies	133
On Promptness in Parity Games	131
Games with additional winning strategies	130
A game-based model for human-robots interaction	130
Hierarchical cost-parity games	129
Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach	127
Cycle Detection in Computation Tree Logic	123
Additional Winning Strategies in Reachability Games	120
Model-checking graded computation-tree logic with finite path semantics	117
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm	116
Hierarchical cost-parity games	115
Reasoning about graded strategy quantifiers	114
A Smart Compact Traffic Network Vision Based on Wave Representation	114
Hiding actions in concurrent games	111
Graded CTL* over Finite Paths	110
Hiding actions in multi-player games	110
Concurrent Multi-Player Parity Games	107
On promptness in parity games	78
Results on Alternating-Time Temporal Logics with Linear Past	62
Totale	3.199

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	254	0	0	0	7	5	10	79	18	26	4	52	53
2022/2023	218	36	5	7	14	26	33	7	22	37	8	18	5
2023/2024	109	6	26	12	14	5	10	4	2	2	1	18	9
2024/2025	830	35	44	1	8	35	73	84	66	19	52	361	52
2025/2026	1.327	119	86	137	92	272	46	219	66	146	98	30	16
2026/2027	205	10	65	63	67	0	0	0	0	0	0	0	0
Totale													3.199