GIGANTE, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 926
EU - Europa 373
AS - Asia 237
SA - Sud America 22
AF - Africa 5
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.570
Nazione #
US - Stati Uniti d'America 918
IT - Italia 139
SG - Singapore 101
CN - Cina 64
DE - Germania 53
UA - Ucraina 39
TR - Turchia 29
RU - Federazione Russa 25
SE - Svezia 25
GB - Regno Unito 20
BR - Brasile 19
IE - Irlanda 17
VN - Vietnam 15
BE - Belgio 12
CZ - Repubblica Ceca 8
FI - Finlandia 8
PL - Polonia 6
AU - Australia 5
CA - Canada 5
RO - Romania 5
AT - Austria 4
KR - Corea 4
FR - Francia 3
HK - Hong Kong 3
IN - India 3
MX - Messico 3
BD - Bangladesh 2
CH - Svizzera 2
EU - Europa 2
ID - Indonesia 2
IR - Iran 2
LT - Lituania 2
NL - Olanda 2
PE - Perù 2
TG - Togo 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BO - Bolivia 1
BY - Bielorussia 1
EE - Estonia 1
GR - Grecia 1
IQ - Iraq 1
JO - Giordania 1
JP - Giappone 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
NP - Nepal 1
PS - Palestinian Territory 1
TH - Thailandia 1
TN - Tunisia 1
UZ - Uzbekistan 1
Totale 1.570
Città #
Chandler 144
Singapore 92
Fairfield 86
Woodbridge 69
Ann Arbor 66
Ashburn 49
Wilmington 42
Seattle 36
Udine 32
Cambridge 31
Houston 30
Boardman 29
Izmir 27
Dearborn 25
Jacksonville 21
Princeton 17
Dublin 15
Dong Ket 14
Brussels 12
Beijing 9
Trieste 9
Brno 8
Düsseldorf 8
Florence 8
Frankfurt am Main 8
Los Angeles 8
Des Moines 6
Milan 6
Treviso 6
Warsaw 6
Dallas 5
Augusta 4
Cagliari 4
Guangzhou 4
Hefei 4
Munich 4
New York 4
Nuremberg 4
Pasian di Prato 4
San Mateo 4
Seoul 4
The Dalles 4
Timisoara 4
Toronto 4
Columbus 3
Dresden 3
Norwalk 3
Phoenix 3
Rio Saliceto 3
Rome 3
San Diego 3
Santa Clara 3
Vienna 3
Acerra 2
Berlin 2
Bertiolo 2
Brooklyn 2
Campinas 2
Council Bluffs 2
Handan 2
Helsinki 2
Hong Kong 2
Karlsruhe 2
Kocaeli 2
Kunming 2
Lauterbourg 2
Lomé 2
London 2
Naples 2
Ogden 2
Rockville 2
Shenzhen 2
Stockholm 2
Sydney 2
Trento 2
Turin 2
Venice 2
Verona 2
Vicenza 2
Wuhan 2
Xiamen 2
Zurich 2
Adelaide 1
Alvorada 1
Amman 1
Annapolis 1
Ardabil 1
Arequipa 1
Athens 1
Atlanta 1
Baku 1
Belluno 1
Belo Horizonte 1
Camponogara 1
Canberra 1
Cariacica 1
Centurion 1
Changsha 1
Changzhou 1
Chengdu 1
Totale 1.079
Nome #
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 162
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 158
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 155
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 142
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 136
Planning basato su timeline: espressività e complessità 117
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 115
Complexity of timeline-based planning 78
On timeline-based games and their complexity 68
Complexity of qualitative timeline-based planning 67
Expressiveness of Extended Bounded Response LTL 57
A game-theoretic approach to timeline-based planning with uncertainty 56
Reactive Synthesis from Extended Bounded Response LTL Specifications 51
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 51
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 48
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 44
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 39
A Conservative Approach for Describing Cancer Progression 31
Decidability and complexity of action-based temporal planning over dense time 30
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE 29
Linear Temporal Logic Modulo Theories over Finite Traces 19
Totale 1.653
Categoria #
all - tutte 6.988
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.988


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202021 0 0 0 0 0 0 0 0 0 0 7 14
2020/2021238 6 17 24 43 10 14 10 12 17 26 37 22
2021/2022192 11 11 8 19 6 6 7 7 5 27 63 22
2022/2023276 25 37 2 45 32 57 3 17 41 3 5 9
2023/2024100 19 7 6 3 8 8 7 7 3 7 4 21
2024/2025402 20 29 62 54 30 40 12 40 27 34 54 0
Totale 1.653