statistiche ricercatore

Continente	#
AS - Asia	664
NA - Nord America	524
EU - Europa	410
SA - Sud America	73
Continente sconosciuto - Info sul continente non disponibili	19
AF - Africa	10
Totale	1.700

Nazione	#
US - Stati Uniti d'America	490
SG - Singapore	327
RU - Federazione Russa	263
CN - Cina	123
VN - Vietnam	105
BR - Brasile	63
IT - Italia	48
HK - Hong Kong	39
DE - Germania	34
CA - Canada	21
FR - Francia	19
JP - Giappone	13
IE - Irlanda	11
FI - Finlandia	10
BD - Bangladesh	9
IN - India	8
PH - Filippine	8
MX - Messico	7
KR - Corea	6
PL - Polonia	5
EC - Ecuador	4
GB - Regno Unito	4
IQ - Iraq	4
PK - Pakistan	4
AR - Argentina	3
ID - Indonesia	3
IL - Israele	3
TR - Turchia	3
UA - Ucraina	3
ZA - Sudafrica	3
BE - Belgio	2
DZ - Algeria	2
ES - Italia	2
LT - Lituania	2
MY - Malesia	2
NP - Nepal	2
SE - Svezia	2
TH - Thailandia	2
AT - Austria	1
BF - Burkina Faso	1
BG - Bulgaria	1
BS - Bahamas	1
CO - Colombia	1
CR - Costa Rica	1
CV - Capo Verde	1
DO - Repubblica Dominicana	1
GT - Guatemala	1
HN - Honduras	1
KE - Kenya	1
LB - Libano	1
NG - Nigeria	1
NL - Olanda	1
PE - Perù	1
PY - Paraguay	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TT - Trinidad e Tobago	1
TW - Taiwan	1
UZ - Uzbekistan	1
Totale	1.681

Nome	#
Cycle detection in computation tree logic	134
Solving parity games using an automata-based algorithm	126
Hierarchical cost-parity games	123
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic	121
Incentive Design for Rational Agents	118
Reasoning About Strategies: On the Model-Checking Problem	118
Equilibria for games with combined qualitative and quantitative objectives	118
Playing Quantitative Games Against an Authority: On the Module Checking Problem	117
Cycle Detection in Computation Tree Logic	116
Reasoning about strategies: On the satisfiability problem	113
Reasoning about quality and fuzziness of strategic behaviours	112
Hierarchical cost-parity games	110
Nash equilibria in concurrent games with lexicographic preferences	103
Timed Trace Alignment with Metric Temporal Logic over Finite Traces	93
Reasoning about Quality and Fuzziness of Strategic Behaviors	78
Totale	1.700

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	71	0	0	0	1	0	4	0	2	13	2	25	24
2022/2023	104	12	2	3	3	21	14	0	18	21	1	8	1
2023/2024	59	2	10	3	13	3	10	0	0	2	0	13	3
2024/2025	524	18	23	0	7	21	40	41	42	18	31	252	31
2025/2026	818	86	71	102	58	161	33	91	48	92	53	11	12
2026/2027	25	12	13	0	0	0	0	0	0	0	0	0	0
Totale													1.700