Bicocca Open Archive

Logo unimib boa
FIORINO, GUIDO GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.949
EU - Europa 1.736
AS - Asia 881
SA - Sud America 39
OC - Oceania 5
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.616
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.879
CN - Cina 351
SE - Svezia 286
RU - Federazione Russa 269
DE - Germania 247
SG - Singapore 244
IT - Italia 226
UA - Ucraina 202
IE - Irlanda 153
HK - Hong Kong 141
GB - Regno Unito 102
DK - Danimarca 95
VN - Vietnam 74
CA - Canada 64
FI - Finlandia 42
BR - Brasile 36
NL - Olanda 32
FR - Francia 26
KR - Corea 26
BE - Belgio 14
IN - India 14
CH - Svizzera 11
ID - Indonesia 9
CZ - Repubblica Ceca 8
TR - Turchia 7
GR - Grecia 6
AT - Austria 5
PT - Portogallo 5
AU - Australia 4
IR - Iran 4
MX - Messico 4
JP - Giappone 3
EU - Europa 2
HU - Ungheria 2
IS - Islanda 2
A1 - Anonimo 1
BG - Bulgaria 1
CR - Costa Rica 1
FK - Isole Falkland (Malvinas) 1
HN - Honduras 1
IL - Israele 1
IQ - Iraq 1
KE - Kenya 1
LK - Sri Lanka 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
RO - Romania 1
SA - Arabia Saudita 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 6.616
Salva come PNG Salva come JPEG
Città #
Ann Arbor 844
Woodbridge 412
Houston 287
Fairfield 279
Chandler 254
Jacksonville 217
Wilmington 215
Frankfurt am Main 208
Singapore 177
Ashburn 167
Dublin 150
Dearborn 149
Hong Kong 140
Santa Clara 110
Seattle 99
Nanjing 98
Princeton 82
Cambridge 81
New York 72
Milan 45
Shanghai 39
Dong Ket 32
Lachine 32
Lawrence 31
Nanchang 29
Council Bluffs 27
Altamura 25
Beijing 25
Boardman 24
Daejeon 22
Andover 19
Guangzhou 19
San Diego 18
Rome 17
Kunming 16
Philadelphia 15
Shenyang 15
Brussels 14
Palermo 13
Ottawa 12
Changsha 11
Edmonton 11
Hebei 11
Rotterdam 11
Helsinki 10
Ningbo 10
Tianjin 10
Huizen 9
Jiaxing 9
London 9
Los Angeles 9
Toronto 9
Jakarta 8
Moscow 8
Norwalk 8
Zurich 7
Fremont 6
Hangzhou 6
Hefei 6
Jinan 6
Kiev 6
University Park 6
Mountain View 5
São Paulo 5
Zhengzhou 5
Fuzhou 4
Groningen 4
León 4
Nardò 4
Olomouc 4
Teresópolis 4
Washington 4
Brno 3
Changchun 3
Lanzhou 3
Lisbon 3
Mantova 3
Munich 3
Pavia 3
Pune 3
Salenstein 3
Seoul 3
Taizhou 3
The Dalles 3
Vailate 3
Varese 3
Verona 3
Vienna 3
Albiate 2
Ardea 2
Athens 2
Auburn Hills 2
Baltimore 2
Capannori 2
Chengdu 2
Clearwater 2
Dallas 2
Desio 2
Deurne 2
Eskişehir 2
Totale 4.831
Salva come PNG Salva come JPEG
Nome #
Optimization techniques for intuitionistic propositional logic and their implementation 312
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 310
An evaluation-driven decision procedure for G3i 301
Forward countermodel construction in modal Logic K 257
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 254
Proof-search in Hilbert calculi 235
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 216
A secondary semantics for second order intuitionistic propositional logic 188
A space efficient implementation of a tableau calculus for a logic with a constructive negation 186
ESBC: an application for computing stabilization bounds 185
On the complexity of disjunction and explicit definability properties in some intermediate logics 177
Tableau calculi for the logics of finite k-ary trees 176
Improvements to the tableau prover PITP 175
Efficient learning with equivalence queries of conjunctions of modulo functions 175
On the complexity of the disjunction property in intuitionistic and modal logics 171
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 171
Space-efficient decision procedures for three interpolable propositional intermediate logics 170
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 165
Simplification Rules for Intuitionistic Propositional Tableaux 164
A tableau decision procedure for propositional intuitionistic logic 163
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 160
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus 148
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 147
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 146
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 143
ESBC: an application for computing stabilization bouns 137
A non-clausal tableau calculus for MINSAT 137
How to reduce backtracking in propositional intuitionistic logic 136
fCube: An Efficient Prover for Intuitionistic Propositional Logic 134
An O(n log n)-SPACE decision procedure for the propositional Dummett Logic 130
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 130
Terminating Calculi for Propositional Dummett Logic with Subformula Property 129
A Terminating Evaluation-Driven Variant of G3i 125
New Tableau Characterizations for Non-clausal MaxSAT Problem 125
A Decidable Constructive Description Logic 118
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 115
A constructive semantics for ALC 111
Taming Implications in Dummett Logic 106
Towards the use of simplification rules in intuitionistic tableaux 105
BCDL: Basic Constructive Description Logic 104
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 75
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 59
Totale 6.871
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.419
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 22.419
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020103 0 0 0 0 0 0 0 0 0 0 84 19
2020/20211.043 61 15 91 112 79 75 92 78 104 102 87 147
2021/2022639 56 96 103 54 13 51 42 20 31 30 44 99
2022/20231.058 123 288 107 86 77 168 8 55 81 26 35 4
2023/2024580 26 19 33 55 80 120 76 29 47 10 27 58
2024/2025888 99 162 19 39 104 84 64 87 51 177 2 0
Totale 6.871