statistiche ricercatore

Continente	#
NA - Nord America	1.331
AS - Asia	691
EU - Europa	465
SA - Sud America	75
AF - Africa	20
OC - Oceania	7
Continente sconosciuto - Info sul continente non disponibili	2
Totale	2.591

Nazione	#
US - Stati Uniti d'America	1.303
SG - Singapore	298
CN - Cina	154
IT - Italia	149
DE - Germania	70
VN - Vietnam	68
HK - Hong Kong	63
BR - Brasile	58
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
BE - Belgio	13
CA - Canada	13
FI - Finlandia	12
JP - Giappone	9
CZ - Repubblica Ceca	8
AU - Australia	7
BD - Bangladesh	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
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
PE - Perù	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
NI - Nicaragua	1
OM - Oman	1
PS - Palestinian Territory	1
SA - Arabia Saudita	1
TH - Thailandia	1
TT - Trinidad e Tobago	1
Totale	2.591

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	216
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	215
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	197
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	195
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	189
Planning basato su timeline: espressività e complessità	187
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	153
Expressiveness of Extended Bounded Response LTL	124
Complexity of timeline-based planning	119
Complexity of qualitative timeline-based planning	116
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	109
On timeline-based games and their complexity	106
A game-theoretic approach to timeline-based planning with uncertainty	105
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	100
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	88
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	83
Decidability and complexity of action-based temporal planning over dense time	79
Reactive Synthesis from Extended Bounded Response LTL Specifications	78
A Conservative Approach for Describing Cancer Progression	77
Linear Temporal Logic Modulo Theories over Finite Traces	71
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	67
Totale	2.674

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	59	0	0	0	0	0	0	0	0	0	0	37	22
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	910	119	69	61	112	158	88	111	30	45	92	25	0
Totale													2.674