statistiche ricercatore

Continente	#
AS - Asia	1.016
NA - Nord America	978
EU - Europa	858
SA - Sud America	126
Continente sconosciuto - Info sul continente non disponibili	40
AF - Africa	11
OC - Oceania	1
Totale	3.030

Nazione	#
US - Stati Uniti d'America	921
SG - Singapore	495
RU - Federazione Russa	405
IT - Italia	257
VN - Vietnam	184
CN - Cina	171
BR - Brasile	106
HK - Hong Kong	61
DE - Germania	50
FR - Francia	41
CA - Canada	39
JP - Giappone	25
IE - Irlanda	17
SE - Svezia	15
NL - Olanda	14
IN - India	13
FI - Finlandia	12
BD - Bangladesh	11
GB - Regno Unito	10
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
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
BO - Bolivia	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
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	2.991

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

	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	36	10	26	0	0	0	0	0	0	0	0	0	0
Totale													3.030