statistiche ricercatore

Continente	#
NA - Nord America	1.390
AS - Asia	694
EU - Europa	467
SA - Sud America	77
AF - Africa	20
OC - Oceania	7
Continente sconosciuto - Info sul continente non disponibili	2
Totale	2.657

Nazione	#
US - Stati Uniti d'America	1.360
SG - Singapore	300
CN - Cina	154
IT - Italia	151
DE - Germania	70
VN - Vietnam	68
HK - Hong Kong	63
BR - Brasile	59
UA - Ucraina	42
GB - Regno Unito	31
TR - Turchia	30
SE - Svezia	27
RU - Federazione Russa	26
FR - Francia	25
IE - Irlanda	18
IN - India	15
PL - Polonia	15
CA - Canada	14
BE - Belgio	13
FI - Finlandia	12
JP - Giappone	9
BD - Bangladesh	8
CZ - Repubblica Ceca	8
AU - Australia	7
ZA - Sudafrica	7
ID - Indonesia	6
IQ - Iraq	6
KR - Corea	6
MX - Messico	6
NL - Olanda	6
ES - Italia	5
PK - Pakistan	5
RO - Romania	5
AR - Argentina	4
AT - Austria	4
IR - Iran	3
KE - Kenya	3
LT - Lituania	3
PE - Perù	3
PH - Filippine	3
TG - Togo	3
UY - Uruguay	3
VE - Venezuela	3
AZ - Azerbaigian	2
BB - Barbados	2
CH - Svizzera	2
CR - Costa Rica	2
EC - Ecuador	2
ET - Etiopia	2
EU - Europa	2
NP - Nepal	2
TN - Tunisia	2
UZ - Uzbekistan	2
AE - Emirati Arabi Uniti	1
BH - Bahrain	1
BO - Bolivia	1
BY - Bielorussia	1
BZ - Belize	1
CI - Costa d'Avorio	1
CL - Cile	1
CO - Colombia	1
DO - Repubblica Dominicana	1
EE - Estonia	1
GA - Gabon	1
GR - Grecia	1
JM - Giamaica	1
JO - Giordania	1
KH - Cambogia	1
KW - Kuwait	1
LA - Repubblica Popolare Democratica del Laos	1
LB - Libano	1
LK - Sri Lanka	1
MA - Marocco	1
MD - Moldavia	1
MQ - Martinica	1
NI - Nicaragua	1
OM - Oman	1
PS - Palestinian Territory	1
SA - Arabia Saudita	1
TH - Thailandia	1
TT - Trinidad e Tobago	1
Totale	2.657

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	225
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	223
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	200
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	197
Planning basato su timeline: espressività e complessità	193
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	191
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	154
Expressiveness of Extended Bounded Response LTL	130
Complexity of timeline-based planning	122
Complexity of qualitative timeline-based planning	118
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	111
A game-theoretic approach to timeline-based planning with uncertainty	107
On timeline-based games and their complexity	106
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	101
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	96
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	83
Decidability and complexity of action-based temporal planning over dense time	80
A Conservative Approach for Describing Cancer Progression	79
Reactive Synthesis from Extended Bounded Response LTL Specifications	79
Linear Temporal Logic Modulo Theories over Finite Traces	76
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	69
Totale	2.740

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	192	11	11	8	19	6	6	7	7	5	27	63	22
2022/2023	276	25	37	2	45	32	57	3	17	41	3	5	9
2023/2024	100	19	7	6	3	8	8	7	7	3	7	4	21
2024/2025	513	20	29	62	54	30	40	12	40	27	34	56	109
2025/2026	958	119	69	61	112	158	88	111	30	45	92	51	22
2026/2027	18	18	0	0	0	0	0	0	0	0	0	0	0
Totale													2.740