GIGANTE, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 883
EU - Europa 295
AS - Asia 176
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
SA - Sud America 1
Totale 1.361
Nazione #
US - Stati Uniti d'America 879
IT - Italia 122
SG - Singapore 82
CN - Cina 43
UA - Ucraina 39
DE - Germania 33
TR - Turchia 29
SE - Svezia 23
GB - Regno Unito 17
IE - Irlanda 17
VN - Vietnam 14
BE - Belgio 11
CZ - Repubblica Ceca 8
FI - Finlandia 8
PL - Polonia 6
RO - Romania 5
CA - Canada 4
AT - Austria 3
IN - India 3
AU - Australia 2
CH - Svizzera 2
EU - Europa 2
ID - Indonesia 2
IR - Iran 2
TG - Togo 2
BR - Brasile 1
HK - Hong Kong 1
LT - Lituania 1
Totale 1.361
Città #
Chandler 144
Fairfield 86
Singapore 76
Woodbridge 69
Ann Arbor 66
Ashburn 48
Wilmington 42
Seattle 36
Cambridge 31
Udine 31
Houston 30
Boardman 29
Izmir 27
Dearborn 25
Jacksonville 21
Princeton 17
Dublin 15
Dong Ket 14
Brussels 11
Brno 8
Trieste 8
Beijing 7
Florence 7
Des Moines 6
Los Angeles 6
Treviso 6
Warsaw 6
Dallas 5
Milan 5
Augusta 4
Cagliari 4
Guangzhou 4
Hefei 4
Munich 4
Pasian di Prato 4
San Mateo 4
Timisoara 4
Toronto 4
Columbus 3
Dresden 3
Norwalk 3
Phoenix 3
Rio Saliceto 3
San Diego 3
Santa Clara 3
Vienna 3
Acerra 2
Bertiolo 2
Helsinki 2
Karlsruhe 2
Kocaeli 2
Kunming 2
Lomé 2
New York 2
Ogden 2
Rockville 2
Rome 2
Trento 2
Turin 2
Verona 2
Vicenza 2
Xiamen 2
Zurich 2
Adelaide 1
Ardabil 1
Campinas 1
Camponogara 1
Changsha 1
Chongqing 1
Clapham 1
Fayetteville 1
Frankfurt am Main 1
Gradisca 1
Göttingen 1
Handan 1
Hengshui 1
Horia 1
Jiaxing 1
Jinan 1
Jinhua 1
Lappeenranta 1
Leawood 1
London 1
Makassar 1
Mcallen 1
Mestre 1
Minerbio 1
Monmouth Junction 1
Mumbai 1
Nanchang 1
Nanjing 1
Nove 1
Nuremberg 1
Oakland 1
Pieve 1
Pignone 1
Redmond 1
Rodgau 1
San Giorgio di Nogaro 1
Scafati 1
Totale 1.013
Nome #
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 155
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 153
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 138
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 131
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 128
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 110
Planning basato su timeline: espressività e complessità 93
Complexity of timeline-based planning 72
On timeline-based games and their complexity 57
Complexity of qualitative timeline-based planning 54
Reactive Synthesis from Extended Bounded Response LTL Specifications 44
Expressiveness of Extended Bounded Response LTL 43
A game-theoretic approach to timeline-based planning with uncertainty 42
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 42
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 41
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 35
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 31
Decidability and complexity of action-based temporal planning over dense time 25
A Conservative Approach for Describing Cancer Progression 22
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE 13
Linear Temporal Logic Modulo Theories over Finite Traces 8
Totale 1.437
Categoria #
all - tutte 5.670
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 5.670


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020191 0 0 0 0 22 44 31 29 28 16 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/2025186 20 29 62 54 21 0 0 0 0 0 0 0
Totale 1.437