statistiche ricercatore

Continente	#
NA - Nord America	1.298
AS - Asia	685
EU - Europa	462
SA - Sud America	75
AF - Africa	20
OC - Oceania	6
Continente sconosciuto - Info sul continente non disponibili	2
Totale	2.548

Nazione	#
US - Stati Uniti d'America	1.272
SG - Singapore	296
CN - Cina	150
IT - Italia	148
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
BE - Belgio	13
PL - Polonia	13
CA - Canada	12
FI - Finlandia	12
JP - Giappone	9
CZ - Repubblica Ceca	8
BD - Bangladesh	7
ZA - Sudafrica	7
AU - Australia	6
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
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.548

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	212
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	212
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	196
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	194
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	188
Planning basato su timeline: espressività e complessità	182
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	152
Expressiveness of Extended Bounded Response LTL	122
Complexity of qualitative timeline-based planning	116
Complexity of timeline-based planning	114
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	107
A game-theoretic approach to timeline-based planning with uncertainty	105
On timeline-based games and their complexity	104
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	98
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	86
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	83
Reactive Synthesis from Extended Bounded Response LTL Specifications	78
A Conservative Approach for Describing Cancer Progression	73
Decidability and complexity of action-based temporal planning over dense time	73
Linear Temporal Logic Modulo Theories over Finite Traces	70
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	66
Totale	2.631

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	85	0	0	0	0	0	0	0	0	0	26	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	867	119	69	61	112	158	88	111	30	45	74	0	0
Totale													2.631