statistiche ricercatore

Continente	#
NA - Nord America	1.154
AS - Asia	561
EU - Europa	418
SA - Sud America	56
AF - Africa	14
OC - Oceania	5
Continente sconosciuto - Info sul continente non disponibili	2
Totale	2.210

Nazione	#
US - Stati Uniti d'America	1.135
SG - Singapore	252
IT - Italia	144
CN - Cina	136
DE - Germania	67
HK - Hong Kong	58
BR - Brasile	48
UA - Ucraina	40
VN - Vietnam	39
TR - Turchia	30
SE - Svezia	27
GB - Regno Unito	26
RU - Federazione Russa	25
IE - Irlanda	17
BE - Belgio	12
PL - Polonia	11
FI - Finlandia	10
CA - Canada	9
CZ - Repubblica Ceca	8
JP - Giappone	7
ZA - Sudafrica	7
IN - India	6
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.210

Nome	#
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	197
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL	189
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning	176
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau	176
A New Tableau-based Satisfiability Checker for Linear Temporal Logic	171
Planning basato su timeline: espressività e complessità	154
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past	141
Complexity of timeline-based planning	103
Expressiveness of Extended Bounded Response LTL	102
On timeline-based games and their complexity	96
Complexity of qualitative timeline-based planning	96
A game-theoretic approach to timeline-based planning with uncertainty	91
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization	85
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	82
Past matters: Supporting LTL+past in the BLACK satisfiability Checker	72
Reactive Synthesis from Extended Bounded Response LTL Specifications	71
Decidability and Complexity of Action-Based Temporal Planning over Dense Time	67
Decidability and complexity of action-based temporal planning over dense time	60
Linear Temporal Logic Modulo Theories over Finite Traces	55
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE	55
A Conservative Approach for Describing Cancer Progression	54
Totale	2.293

	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	529	119	69	61	112	158	10	0	0	0	0	0	0
Totale													2.293