GIGANTE, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 910
EU - Europa 370
AS - Asia 228
SA - Sud America 18
OC - Oceania 5
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.537
Nazione #
US - Stati Uniti d'America 903
IT - Italia 138
SG - Singapore 99
CN - Cina 62
DE - Germania 53
UA - Ucraina 39
TR - Turchia 29
RU - Federazione Russa 25
SE - Svezia 24
GB - Regno Unito 20
IE - Irlanda 17
BR - Brasile 15
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
CH - Svizzera 2
EU - Europa 2
ID - Indonesia 2
IR - Iran 2
LT - Lituania 2
MX - Messico 2
NL - Olanda 2
PE - Perù 2
TG - Togo 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BO - Bolivia 1
BY - Bielorussia 1
EE - Estonia 1
JO - Giordania 1
JP - Giappone 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
PS - Palestinian Territory 1
TH - Thailandia 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 1.537
Città #
Chandler 144
Singapore 91
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
Trieste 9
Brno 8
Düsseldorf 8
Florence 8
Frankfurt am Main 8
Los Angeles 8
Beijing 7
Des Moines 6
Milan 6
Treviso 6
Warsaw 6
Dallas 5
Augusta 4
Cagliari 4
Guangzhou 4
Hefei 4
Munich 4
Nuremberg 4
Pasian di Prato 4
San Mateo 4
Seoul 4
The Dalles 4
Timisoara 4
Toronto 4
Columbus 3
Dresden 3
New York 3
Norwalk 3
Phoenix 3
Rio Saliceto 3
Rome 3
San Diego 3
Santa Clara 3
Vienna 3
Acerra 2
Berlin 2
Bertiolo 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
Sydney 2
Trento 2
Turin 2
Venice 2
Verona 2
Vicenza 2
Wuhan 2
Xiamen 2
Zurich 2
Adelaide 1
Alvorada 1
Amman 1
Ardabil 1
Arequipa 1
Baku 1
Belluno 1
Belo Horizonte 1
Camponogara 1
Canberra 1
Centurion 1
Changsha 1
Changzhou 1
Chengdu 1
Chongqing 1
Clapham 1
Colombo 1
Dubai 1
Fayetteville 1
Governador Valadares 1
Totale 1.073
Nome #
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 161
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 156
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 152
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 141
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 135
Planning basato su timeline: espressività e complessità 115
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 114
Complexity of timeline-based planning 76
On timeline-based games and their complexity 67
Complexity of qualitative timeline-based planning 64
A game-theoretic approach to timeline-based planning with uncertainty 56
Expressiveness of Extended Bounded Response LTL 53
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 50
Reactive Synthesis from Extended Bounded Response LTL Specifications 49
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 47
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 43
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 38
A Conservative Approach for Describing Cancer Progression 29
Decidability and complexity of action-based temporal planning over dense time 29
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE 28
Linear Temporal Logic Modulo Theories over Finite Traces 17
Totale 1.620
Categoria #
all - tutte 6.886
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.886


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/2025369 20 29 62 54 30 40 12 40 27 34 21 0
Totale 1.620