statistiche ricercatore

Continente	#
NA - Nord America	1.173
AS - Asia	570
EU - Europa	420
SA - Sud America	57
AF - Africa	14
OC - Oceania	5
Continente sconosciuto - Info sul continente non disponibili	2
Totale	2.241

Nazione	#
US - Stati Uniti d'America	1.153
SG - Singapore	257
IT - Italia	144
CN - Cina	136
DE - Germania	67
HK - Hong Kong	58
BR - Brasile	49
UA - Ucraina	40
VN - Vietnam	39
TR - Turchia	30
GB - Regno Unito	28
SE - Svezia	27
RU - Federazione Russa	25
IE - Irlanda	17
BE - Belgio	12
PL - Polonia	11
CA - Canada	10
FI - Finlandia	10
IN - India	9
CZ - Repubblica Ceca	8
JP - Giappone	8
ZA - Sudafrica	7
MX - Messico	6
AU - Australia	5
BD - Bangladesh	5
FR - Francia	5
ID - Indonesia	5
KR - Corea	5
NL - Olanda	5
RO - Romania	5
AT - Austria	4
ES - Italia	3
IQ - Iraq	3
LT - Lituania	3
AR - Argentina	2
AZ - Azerbaigian	2
CH - Svizzera	2
EU - Europa	2
IR - Iran	2
KE - Kenya	2
PE - Perù	2
TG - Togo	2
AE - Emirati Arabi Uniti	1
BB - Barbados	1
BO - Bolivia	1
BY - Bielorussia	1
CR - Costa Rica	1
DO - Repubblica Dominicana	1
EC - Ecuador	1
EE - Estonia	1
ET - Etiopia	1
GA - Gabon	1
GR - Grecia	1
JO - Giordania	1
KH - Cambogia	1
LA - Repubblica Popolare Democratica del Laos	1
LB - Libano	1
LK - Sri Lanka	1
MD - Moldavia	1
NP - Nepal	1
OM - Oman	1
PS - Palestinian Territory	1
TH - Thailandia	1
TN - Tunisia	1
TT - Trinidad e Tobago	1
UY - Uruguay	1
UZ - Uzbekistan	1
VE - Venezuela	1
Totale	2.241

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	198
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	192
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	177
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	176
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	172
Planning basato su timeline: espressività e complessità	155
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	142
Complexity of timeline-based planning	105
Expressiveness of Extended Bounded Response LTL	104
Complexity of qualitative timeline-based planning	99
On timeline-based games and their complexity	98
A game-theoretic approach to timeline-based planning with uncertainty	93
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	87
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	84
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	74
Reactive Synthesis from Extended Bounded Response LTL Specifications	72
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	68
Decidability and complexity of action-based temporal planning over dense time	61
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	57
Linear Temporal Logic Modulo Theories over Finite Traces	55
A Conservative Approach for Describing Cancer Progression	55
Totale	2.324

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	138	0	0	0	0	0	14	10	12	17	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	560	119	69	61	112	158	41	0	0	0	0	0	0
Totale													2.324