statistiche ricercatore

Continente	#
NA - Nord America	1.449
AS - Asia	701
EU - Europa	480
Continente sconosciuto - Info sul continente non disponibili	85
SA - Sud America	81
AF - Africa	20
OC - Oceania	7
Totale	2.823

Nazione	#
US - Stati Uniti d'America	1.411
SG - Singapore	301
IT - Italia	161
CN - Cina	156
DE - Germania	70
VN - Vietnam	68
HK - Hong Kong	64
BR - Brasile	61
UA - Ucraina	42
GB - Regno Unito	34
TR - Turchia	30
SE - Svezia	27
RU - Federazione Russa	26
FR - Francia	25
CA - Canada	19
IE - Irlanda	18
IN - India	16
PL - Polonia	15
BE - Belgio	13
FI - Finlandia	12
BD - Bangladesh	9
JP - Giappone	9
CZ - Repubblica Ceca	8
AU - Australia	7
ID - Indonesia	7
ZA - Sudafrica	7
IQ - Iraq	6
KR - Corea	6
MX - Messico	6
NL - Olanda	6
AR - Argentina	5
ES - Italia	5
PK - Pakistan	5
RO - Romania	5
AT - Austria	4
IR - Iran	3
JM - Giamaica	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
CO - Colombia	2
CR - Costa Rica	2
DO - Repubblica Dominicana	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
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
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.740

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	232
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	226
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	214
Planning basato su timeline: espressività e complessità	201
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	199
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	194
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	158
Expressiveness of Extended Bounded Response LTL	136
Complexity of timeline-based planning	127
Complexity of qualitative timeline-based planning	121
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	114
A game-theoretic approach to timeline-based planning with uncertainty	110
On timeline-based games and their complexity	108
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	103
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	99
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	85
A Conservative Approach for Describing Cancer Progression	83
Decidability and complexity of action-based temporal planning over dense time	82
Reactive Synthesis from Extended Bounded Response LTL Specifications	81
Linear Temporal Logic Modulo Theories over Finite Traces	79
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	71
Totale	2.823

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	170	0	0	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	101	28	54	19	0	0	0	0	0	0	0	0	0
Totale													2.823