statistiche ricercatore

Continente	#
NA - Nord America	1.542
AS - Asia	708
EU - Europa	518
Continente sconosciuto - Info sul continente non disponibili	85
SA - Sud America	81
AF - Africa	21
OC - Oceania	7
Totale	2.962

Nazione	#
US - Stati Uniti d'America	1.494
SG - Singapore	301
IT - Italia	190
CN - Cina	157
DE - Germania	73
VN - Vietnam	68
HK - Hong Kong	64
BR - Brasile	61
UA - Ucraina	42
GB - Regno Unito	37
TR - Turchia	31
SE - Svezia	27
FR - Francia	26
RU - Federazione Russa	26
CA - Canada	24
IE - Irlanda	19
IN - India	16
PL - Polonia	15
BE - Belgio	13
FI - Finlandia	12
JP - Giappone	11
BD - Bangladesh	9
CZ - Repubblica Ceca	8
ID - Indonesia	8
AU - Australia	7
KR - Corea	7
ZA - Sudafrica	7
IQ - Iraq	6
MX - Messico	6
NL - Olanda	6
AR - Argentina	5
ES - Italia	5
PK - Pakistan	5
RO - Romania	5
AT - Austria	4
LT - Lituania	4
CR - Costa Rica	3
IR - Iran	3
JM - Giamaica	3
KE - Kenya	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
CO - Colombia	2
DO - Repubblica Dominicana	2
EC - Ecuador	2
ET - Etiopia	2
EU - Europa	2
HN - Honduras	2
KH - Cambogia	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
EE - Estonia	1
GA - Gabon	1
GD - Grenada	1
GR - Grecia	1
GT - Guatemala	1
JO - Giordania	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
SC - Seychelles	1
TH - Thailandia	1
TT - Trinidad e Tobago	1
Totale	2.879

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	236
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	235
Planning basato su timeline: espressività e complessità	232
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	216
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	205
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	198
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	164
Expressiveness of Extended Bounded Response LTL	144
Complexity of timeline-based planning	132
Complexity of qualitative timeline-based planning	123
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	118
A game-theoretic approach to timeline-based planning with uncertainty	114
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	112
On timeline-based games and their complexity	111
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	108
Decidability and complexity of action-based temporal planning over dense time	91
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	89
A Conservative Approach for Describing Cancer Progression	86
Reactive Synthesis from Extended Bounded Response LTL Specifications	85
Linear Temporal Logic Modulo Theories over Finite Traces	83
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	80
Totale	2.962

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	162	0	0	0	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	240	28	54	92	66	0	0	0	0	0	0	0	0
Totale													2.962