statistiche ricercatore

Continente	#
AS - Asia	1.013
NA - Nord America	943
EU - Europa	853
SA - Sud America	123
AF - Africa	11
Continente sconosciuto - Info sul continente non disponibili	1
OC - Oceania	1
Totale	2.945

Nazione	#
US - Stati Uniti d'America	901
SG - Singapore	495
RU - Federazione Russa	405
IT - Italia	255
VN - Vietnam	184
CN - Cina	170
BR - Brasile	103
HK - Hong Kong	61
DE - Germania	50
FR - Francia	41
CA - Canada	25
JP - Giappone	25
IE - Irlanda	17
SE - Svezia	15
IN - India	13
NL - Olanda	13
FI - Finlandia	12
BD - Bangladesh	10
TR - Turchia	10
GB - Regno Unito	9
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
AR - Argentina	4
UA - Ucraina	4
BG - Bulgaria	3
ID - Indonesia	3
TW - Taiwan	3
UY - Uruguay	3
ZA - Sudafrica	3
CL - Cile	2
CR - Costa Rica	2
DO - Repubblica Dominicana	2
IL - Israele	2
LT - Lituania	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
BO - Bolivia	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
KW - Kuwait	1
KZ - Kazakistan	1
MA - Marocco	1
MY - Malesia	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	2.945

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

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	4	0	0	0	0	0	0	0	0	0	0	0	4
2021/2022	265	11	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.317	119	86	137	92	272	46	219	66	146	98	30	6
Totale													2.984