FIORENTINI, CAMILLO
 Distribuzione geografica
Continente #
EU - Europa 2.816
NA - Nord America 2.689
AS - Asia 1.115
SA - Sud America 38
OC - Oceania 13
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.683
Nazione #
US - Stati Uniti d'America 2.662
GB - Regno Unito 1.084
IT - Italia 639
CN - Cina 448
SG - Singapore 233
DE - Germania 199
SE - Svezia 173
RU - Federazione Russa 154
IE - Irlanda 107
FR - Francia 103
TR - Turchia 99
KR - Corea 90
ID - Indonesia 82
IN - India 81
UA - Ucraina 77
FI - Finlandia 61
NL - Olanda 52
DK - Danimarca 47
EU - Europa 37
VN - Vietnam 32
CO - Colombia 29
CH - Svizzera 26
CA - Canada 24
GR - Grecia 22
BE - Belgio 19
JP - Giappone 13
PH - Filippine 13
AT - Austria 12
AU - Australia 12
AE - Emirati Arabi Uniti 7
HK - Hong Kong 6
HU - Ungheria 6
LT - Lituania 6
RO - Romania 6
BG - Bulgaria 5
IR - Iran 5
BR - Brasile 4
CZ - Repubblica Ceca 4
PL - Polonia 4
ES - Italia 3
IL - Israele 3
SC - Seychelles 3
UY - Uruguay 3
GE - Georgia 2
NG - Nigeria 2
SI - Slovenia 2
ZA - Sudafrica 2
BO - Bolivia 1
BS - Bahamas 1
DZ - Algeria 1
EG - Egitto 1
GH - Ghana 1
GT - Guatemala 1
HR - Croazia 1
LI - Liechtenstein 1
MX - Messico 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PT - Portogallo 1
RS - Serbia 1
TN - Tunisia 1
VE - Venezuela 1
Totale 6.719
Città #
Southend 1.019
Fairfield 283
Seattle 270
Milan 247
Chandler 235
Wilmington 194
Santa Clara 190
Singapore 182
Ashburn 153
Woodbridge 143
Princeton 137
Ann Arbor 108
Dublin 104
Houston 98
Beijing 92
Cambridge 92
Jakarta 75
Mountain View 55
Jacksonville 53
Redmond 50
Dearborn 46
Nanjing 45
Seoul 42
Medford 34
Bengaluru 32
Sakarya 32
Serra 32
Des Moines 31
Bogotá 29
Phoenix 25
Berlin 24
San Diego 24
Shanghai 24
Andover 22
Athens 22
Cremona 22
Boardman 21
Shenyang 20
Karlsruhe 18
Somerville 18
Changsha 17
Redwood City 17
Helsinki 15
Jinan 15
Brussels 14
Dong Ket 14
Istanbul 14
Toronto 14
Hebei 13
Salenstein 13
Guangzhou 12
Los Angeles 12
Nanchang 12
Trana 12
Vienna 12
Fuzhou 11
Manila 11
Bitonto 10
London 10
Pisa 10
Turin 10
Eitensheim 9
Jiaxing 9
Mcallen 9
Falls Church 8
Taiyuan 8
Bühl 7
Hangzhou 7
Tianjin 7
Tokyo 7
Wuhan 7
Yubileyny 7
Austin 6
Hamburg 6
Lanzhou 6
Modena 6
Rome 6
Sunnyvale 6
Taizhou 6
Zhengzhou 6
Chicago 5
Espoo 5
Fremont 5
Ghent 5
Kunming 5
Montréal 5
Munich 5
Naples 5
Ningbo 5
Putian 5
Rho 5
Rotterdam 5
Sesto San Giovanni 5
Sofia 5
Cagliari 4
Cinisello Balsamo 4
Dubai 4
Miami 4
Nancy 4
New York 4
Totale 4.838
Nome #
Applying ASP to UML model validation 250
fCube : an efficient prover for intuitionistic propositional logic 191
Snapshot generation in a constructive object-oriented modeling language 189
A constructive object oriented modeling language for information systems 179
On the complexity of the disjunction property in intuitionistic and modal logics 175
Snapshots generation via constructive logic 171
Kripke completeness for intermediate logics 162
A secondary semantics for second order intuitionistic propositional logic 161
ESBC : an application for computing stabilization bounds 158
Combining word problems through rewriting in categories with products 157
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 156
On maximal intermediate predicate constructive logics 156
Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models 156
Towards a type discipline for answer set programming 149
Simplification rules for intuitionistic propositional tableaux 147
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications 145
A space efficient implementation of a tableau calculus for a logic with a constructive negation 142
A constructive approach to testing model transformations 141
BCDL : Basic Constructive Description Logic 140
A constructive semantics for ALC 138
Extracting exact time bounds from logical proofs 136
On the complexity of disjunction and explicit definability properties in some intermediate logics 134
Extracting information from intermediate semiconstructive HA-systems - extended abstract 131
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic 128
Model Validation through CooML Snapshot Generation 124
A formal framework for synthesis and verification of logic programs 124
A decidable constructive description logic 123
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 122
Tableau calculi for the logics of finite k-ary trees 119
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 119
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 114
Forward countermodel construction in modal Logic K 111
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic 111
Terminating sequent calculi for proving and refuting formulas in S4 110
Answer Set Semantics vs. Information Term Semantics 108
JTabWb : a Java framework for implementing terminating sequent and tableau calculi 103
LOGI: A didactic tool for a beginners' course in logic (system description) 103
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) 103
A proof-theoretical analysis of semiconstructive intermediate theories 99
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ 99
An evaluation-driven decision procedure for G3i 94
JTabWb : a Java framework for implementing terminating sequent and tableau calculi 94
Efficient SAT-based Proof Search in Intuitionistic Propositional Logic 94
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 88
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 88
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic 86
Preface 85
Focusing on contraction 81
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 81
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete 80
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic 72
Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics 70
A terminating evaluation-driven variant of G3i 70
A forward internal calculus for model generation in S4 70
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 63
A Forward Unprovability Calculus for Intuitionistic Propositional Logic 62
Proof-search in Hilbert calculi 58
Forward refutation for Gödel-Dummett Logics 46
A New Approach to Clausification for Intuitionistic Propositional Logic 45
SAT-Based Proof Search in Intermediate Propositional Logics 31
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property 20
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic 9
Totale 7.071
Categoria #
all - tutte 19.514
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 19.514


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020571 0 0 0 0 0 0 163 93 141 107 30 37
2020/2021744 41 49 41 36 121 39 41 45 63 88 128 52
2021/2022794 74 60 86 47 79 51 50 44 44 47 51 161
2022/2023774 140 70 80 75 85 160 11 51 72 3 18 9
2023/2024430 22 38 26 12 51 49 27 22 12 31 54 86
2024/2025674 64 89 18 151 285 58 9 0 0 0 0 0
Totale 7.071