GIGANTE, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 844
EU - Europa 258
AS - Asia 84
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 1
Totale 1.191
Nazione #
US - Stati Uniti d'America 840
IT - Italia 92
UA - Ucraina 39
DE - Germania 32
TR - Turchia 29
CN - Cina 28
SE - Svezia 23
IE - Irlanda 17
GB - Regno Unito 15
VN - Vietnam 14
BE - Belgio 11
CZ - Repubblica Ceca 8
FI - Finlandia 8
SG - Singapore 7
PL - Polonia 6
RO - Romania 5
CA - Canada 4
IN - India 3
CH - Svizzera 2
EU - Europa 2
IR - Iran 2
TG - Togo 2
BR - Brasile 1
HK - Hong Kong 1
Totale 1.191
Città #
Chandler 144
Fairfield 86
Woodbridge 69
Ann Arbor 66
Ashburn 48
Wilmington 42
Seattle 36
Cambridge 31
Udine 31
Houston 30
Izmir 27
Dearborn 25
Jacksonville 21
Princeton 17
Dublin 15
Dong Ket 14
Brussels 11
Boardman 10
Brno 8
Trieste 8
Beijing 7
Singapore 7
Des Moines 6
Warsaw 6
Augusta 4
Cagliari 4
Dallas 4
Los Angeles 4
Munich 4
San Mateo 4
Timisoara 4
Toronto 4
Dresden 3
Florence 3
Hefei 3
Norwalk 3
Phoenix 3
San Diego 3
Acerra 2
Bertiolo 2
Guangzhou 2
Helsinki 2
Karlsruhe 2
Kocaeli 2
Kunming 2
Lomé 2
Milan 2
New York 2
Ogden 2
Rockville 2
Trento 2
Turin 2
Vicenza 2
Zurich 2
Ardabil 1
Campinas 1
Camponogara 1
Changsha 1
Chongqing 1
Clapham 1
Gradisca 1
Göttingen 1
Horia 1
Jiaxing 1
Jinan 1
Jinhua 1
Lappeenranta 1
Leawood 1
Mcallen 1
Mestre 1
Monmouth Junction 1
Mumbai 1
Nanchang 1
Nanjing 1
Nove 1
Nuremberg 1
Pieve 1
Pignone 1
Redmond 1
Rodgau 1
San Giorgio di Nogaro 1
Scafati 1
Serra Riccò 1
Seveso 1
Siena 1
Solihull 1
Venezia 1
Verona 1
Washington 1
Zoppola 1
Totale 883
Nome #
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 150
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 149
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 127
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 120
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 118
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 105
Planning basato su timeline: espressività e complessità 79
Complexity of timeline-based planning 67
On timeline-based games and their complexity 51
Complexity of qualitative timeline-based planning 41
A game-theoretic approach to timeline-based planning with uncertainty 38
Reactive Synthesis from Extended Bounded Response LTL Specifications 38
Expressiveness of Extended Bounded Response LTL 37
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 35
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 30
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 27
Decidability and complexity of action-based temporal planning over dense time 23
A Conservative Approach for Describing Cancer Progression 17
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE 8
Totale 1.260
Categoria #
all - tutte 4.649
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 4.649


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020257 11 9 6 40 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/20259 9 0 0 0 0 0 0 0 0 0 0 0
Totale 1.260