Bicocca Open Archive

Logo unimib boa
MOSCATO, UGO EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.837
NA - Nord America 2.287
AS - Asia 939
SA - Sud America 130
AF - Africa 21
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.217
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.233
IT - Italia 1.695
SG - Singapore 326
CN - Cina 309
DE - Germania 257
SE - Svezia 175
RU - Federazione Russa 146
UA - Ucraina 132
HK - Hong Kong 130
BR - Brasile 112
NL - Olanda 87
VN - Vietnam 87
GB - Regno Unito 81
IE - Irlanda 71
CA - Canada 41
FR - Francia 39
DK - Danimarca 31
CH - Svizzera 25
KR - Corea 23
FI - Finlandia 22
BE - Belgio 17
AT - Austria 13
TR - Turchia 12
IR - Iran 11
ES - Italia 10
IN - India 10
JP - Giappone 10
PL - Polonia 10
MX - Messico 9
ZA - Sudafrica 9
CZ - Repubblica Ceca 8
CO - Colombia 6
AR - Argentina 5
BD - Bangladesh 5
IQ - Iraq 3
KE - Kenya 3
MA - Marocco 3
PT - Portogallo 3
PY - Paraguay 3
RO - Romania 3
UZ - Uzbekistan 3
AU - Australia 2
BG - Bulgaria 2
EC - Ecuador 2
EG - Egitto 2
GR - Grecia 2
ID - Indonesia 2
IL - Israele 2
LT - Lituania 2
SC - Seychelles 2
SM - San Marino 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
CM - Camerun 1
CU - Cuba 1
DO - Repubblica Dominicana 1
EU - Europa 1
HN - Honduras 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
ME - Montenegro 1
MT - Malta 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
RS - Serbia 1
SN - Senegal 1
Totale 6.217
Salva come PNG Salva come JPEG
Città #
Ann Arbor 619
Milan 283
Frankfurt am Main 206
Singapore 193
Ashburn 169
Chandler 145
Houston 145
Wilmington 140
Rome 135
Hong Kong 130
Woodbridge 129
Jacksonville 116
Fairfield 69
Dublin 68
Dearborn 67
Santa Clara 60
Nanjing 55
New York 51
Turin 48
Hefei 46
Princeton 38
Shanghai 32
Palermo 30
Bologna 29
Seattle 27
Los Angeles 26
Cambridge 25
Seoul 23
Nanchang 22
Naples 22
Genoa 21
Dallas 20
Beijing 19
Lachine 18
Bari 15
Brussels 15
Philadelphia 15
Verona 15
Bergamo 14
São Paulo 14
Buffalo 13
Florence 13
Hebei 13
Salerno 13
Boardman 12
Kunming 12
Pisa 12
Guangzhou 11
Andover 10
Brescia 10
Fremont 10
Vienna 10
Cosenza 9
Ho Chi Minh City 9
Modena 9
Rotterdam 9
Tokyo 9
Treviso 9
Busto Arsizio 8
Cagliari 8
Cattolica 8
Council Bluffs 8
Dong Ket 8
Hangzhou 8
Parma 8
Moscow 7
Padova 7
Perugia 7
Sacile 7
Toronto 7
Casavatore 6
Cinisello Balsamo 6
Magenta 6
Monza 6
Ningbo 6
Vicenza 6
Zurich 6
Altamura 5
Como 5
Edmonton 5
Foligno 5
Kiev 5
Lawrence 5
Longare 5
Madrid 5
Munich 5
Nardò 5
Norwalk 5
Shenyang 5
Tianjin 5
Torino 5
University Park 5
Washington 5
Abbiategrasso 4
Bronte 4
Foggia 4
Genova 4
Groningen 4
Kocaeli 4
León 4
Totale 3.748
Salva come PNG Salva come JPEG
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 1.267
Informatica Generale 586
Visual Basic for Applications con Microsoft Excel 568
Riflessioni sulla prova informatica 429
Teoria della dimostrazione intuizionista e dimostrazione automatica 389
Optimization techniques for intuitionistic propositional logic and their implementation 365
A tableau calculus for Dummett predicate logic 310
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 270
Improvements to the tableau prover PITP 238
A space efficient implementation of a tableau calculus for a logic with a constructive negation 233
ESBC: an application for computing stabilization bounds 229
A tableau decision procedure for propositional intuitionistic logic 216
How to avoid the formal verification of a theorem prover 210
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 200
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 195
ESBC: an application for computing stabilization bouns 190
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 185
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 162
Tactics for translation of tableau in natural deduction 158
Totale 6.400
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.408
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 15.408
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021550 0 0 0 0 65 64 55 57 71 72 57 109
2021/2022477 51 51 58 64 20 52 21 35 38 23 25 39
2022/2023870 74 188 95 98 52 105 43 76 45 18 50 26
2023/2024685 25 22 55 67 53 110 95 50 40 55 56 57
2024/20251.113 65 116 60 56 95 85 40 102 58 147 106 183
2025/2026762 214 129 167 196 56 0 0 0 0 0 0 0
Totale 6.400