AVELLONE, ALESSANDRO
 Distribuzione geografica
Continente #
NA - Nord America 2.271
EU - Europa 1.710
AS - Asia 531
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.524
Nazione #
US - Stati Uniti d'America 2.231
IT - Italia 520
DE - Germania 403
CN - Cina 201
SE - Svezia 201
SG - Singapore 176
UA - Ucraina 116
IE - Irlanda 92
AT - Austria 79
RU - Federazione Russa 76
GB - Regno Unito 70
VN - Vietnam 60
HK - Hong Kong 52
CA - Canada 39
DK - Danimarca 39
FI - Finlandia 29
NL - Olanda 26
BE - Belgio 18
FR - Francia 16
CZ - Repubblica Ceca 11
KR - Corea 10
IN - India 9
BR - Brasile 8
TR - Turchia 8
IR - Iran 7
ID - Indonesia 5
ES - Italia 4
CH - Svizzera 3
PT - Portogallo 3
CL - Cile 2
EU - Europa 2
JP - Giappone 2
BG - Bulgaria 1
DO - Repubblica Dominicana 1
GR - Grecia 1
IL - Israele 1
LU - Lussemburgo 1
PL - Polonia 1
Totale 4.524
Città #
Ann Arbor 631
Frankfurt am Main 343
Milan 169
Chandler 163
Houston 158
Singapore 156
Woodbridge 154
Wilmington 143
Jacksonville 115
Fairfield 109
Dublin 91
Ashburn 85
Dearborn 77
Vienna 74
Santa Clara 63
Hong Kong 52
Nanjing 52
New York 52
Princeton 44
Seattle 43
Cambridge 41
Shanghai 35
Rome 24
Nanchang 21
Palermo 20
Lachine 19
Brussels 18
Bergamo 14
Fremont 14
Boardman 13
Dong Ket 13
Hebei 13
Philadelphia 13
Kunming 12
Altamura 11
Corsico 11
Guangzhou 11
Lawrence 11
Andover 10
Kansas City 10
Beijing 9
Edmonton 9
Rotterdam 9
San Diego 9
Shenyang 8
London 7
Los Angeles 7
Ottawa 7
Seveso 7
Bologna 6
Brindisi 6
Garbagnate Milanese 6
Hangzhou 6
Helsinki 6
Ningbo 6
Olomouc 6
Brno 5
Dallas 5
Jakarta 5
Jinan 5
Kiev 5
University Park 5
Barcelona 4
Groningen 4
Leawood 4
Mainz 4
Monza 4
Mountain View 4
Nardò 4
Norwalk 4
San Donato Milanese 4
Solagna 4
Teresópolis 4
Toronto 4
Alghero 3
Auburn Hills 3
Como 3
Cosenza 3
Gorle 3
Hamburg 3
Huizen 3
Kashan 3
Munich 3
Paderno Dugnano 3
Taiyuan 3
Tianjin 3
Verona 3
Werder 3
Zurich 3
Abbiategrasso 2
Arcore 2
Bareggio 2
Boston 2
Brescia 2
Busto Arsizio 2
Catania 2
Chicago 2
Chiswick 2
Cinisello Balsamo 2
Civitanova Marche 2
Totale 3.367
Nome #
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model 388
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 352
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model 342
Focusing on Contraction 314
Optimization techniques for intuitionistic propositional logic and their implementation 295
A tableau calculus for Dummett predicate logic 193
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 191
Portfolio Optimization with Nonlinear Loss Aversion and Transaction Costs 175
POSetR: a new computationally efficient R package for partially ordered data 173
ESBC: an application for computing stabilization bounds 172
A Formal Framework for Synthesis and Verification of Logic Programs 170
A space efficient implementation of a tableau calculus for a logic with a constructive negation 168
How to avoid the formal verification of a theorem prover 165
Improvements to the tableau prover PITP 162
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 152
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 150
A tableau decision procedure for propositional intuitionistic logic 150
Complexity reduction and approximation of multidomain systems of partially ordered data 142
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 138
ESBC: an application for computing stabilization bouns 125
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 123
iFeel. A tool for studying the effect of the pandemic and the lockdown on socio-economic behaviours 119
Tactics for translation of tableau in natural deduction 110
A Mobile App Leveraging Citizenship Engagement to Perform Anonymized Longitudinal Studies in the Context of COVID-19 Adverse Drug Reaction Monitoring: Development and Usability Study 102
Ranking extraction in nested partially ordered data systems 81
On finding the community with maximum persistence probability 38
A fuzzy posetic toolbox for multi-criteria evaluation on ordinal data systems 21
Minimum capital requirement portfolios according to the new Basel framework for market risk 14
Totale 4.725
Categoria #
all - tutte 13.929
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 13.929


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020473 0 0 0 0 60 84 103 43 75 39 50 19
2020/2021712 41 11 62 70 57 58 57 54 72 68 51 111
2021/2022487 47 52 52 58 8 62 43 27 24 24 35 55
2022/2023950 101 216 99 89 95 133 17 41 51 42 36 30
2023/2024495 25 21 34 50 42 95 67 30 33 6 31 61
2024/2025428 47 157 44 48 132 0 0 0 0 0 0 0
Totale 4.725