IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

FIORENTINI, CAMILLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.628
EU - Europa 3.312
AS - Asia 2.767
SA - Sud America 266
AF - Africa 47
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 2
Totale 10.045
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.533
GB - Regno Unito 1.102
CN - Cina 904
SG - Singapore 868
IT - Italia 722
RU - Federazione Russa 274
DE - Germania 238
HK - Hong Kong 206
VN - Vietnam 195
SE - Svezia 186
FR - Francia 180
BR - Brasile 176
NL - Olanda 124
IN - India 113
IE - Irlanda 108
KR - Corea 105
TR - Turchia 105
ID - Indonesia 97
FI - Finlandia 85
UA - Ucraina 80
CA - Canada 57
DK - Danimarca 47
BD - Bangladesh 38
EU - Europa 37
CO - Colombia 36
CH - Svizzera 34
JP - Giappone 24
GR - Grecia 23
MX - Messico 22
AR - Argentina 21
AU - Australia 21
BE - Belgio 19
PH - Filippine 19
AT - Austria 17
ES - Italia 17
AE - Emirati Arabi Uniti 13
MY - Malesia 12
ZA - Sudafrica 12
NP - Nepal 10
IQ - Iraq 9
PL - Polonia 9
CL - Cile 7
CZ - Repubblica Ceca 7
DZ - Algeria 7
EC - Ecuador 7
LT - Lituania 7
TN - Tunisia 7
BG - Bulgaria 6
HU - Ungheria 6
RO - Romania 6
SA - Arabia Saudita 6
UY - Uruguay 6
IR - Iran 5
PK - Pakistan 5
BH - Bahrain 4
EG - Egitto 4
IL - Israele 4
MA - Marocco 4
PT - Portogallo 4
PY - Paraguay 4
TH - Thailandia 4
VE - Venezuela 4
AZ - Azerbaigian 3
JM - Giamaica 3
JO - Giordania 3
PE - Perù 3
SC - Seychelles 3
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
GE - Georgia 2
GT - Guatemala 2
HN - Honduras 2
KE - Kenya 2
KG - Kirghizistan 2
LB - Libano 2
LI - Liechtenstein 2
LU - Lussemburgo 2
NG - Nigeria 2
NZ - Nuova Zelanda 2
PS - Palestinian Territory 2
SI - Slovenia 2
TT - Trinidad e Tobago 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BO - Bolivia 1
BS - Bahamas 1
BZ - Belize 1
CR - Costa Rica 1
GD - Grenada 1
GH - Ghana 1
GM - Gambi 1
HR - Croazia 1
KW - Kuwait 1
MW - Malawi 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 10.075
Salva come PNG Salva come JPEG
Città #
Southend 1.019
Singapore 511
Fairfield 283
Seattle 274
Milan 268
Chandler 236
Ashburn 230
Santa Clara 201
Hong Kong 194
Wilmington 194
Dallas 182
Beijing 162
Woodbridge 143
Princeton 137
Council Bluffs 128
San Jose 117
Ann Arbor 108
Dublin 104
Houston 101
Cambridge 92
Jakarta 77
Los Angeles 76
Seoul 57
Ho Chi Minh City 56
Mountain View 55
Lauterbourg 54
Jacksonville 53
Redmond 50
Bengaluru 46
Dearborn 46
Nanjing 46
Buffalo 45
Guangzhou 40
Hanoi 40
Shanghai 38
Moscow 37
Medford 34
Des Moines 33
Hefei 33
Sakarya 32
Serra 32
Helsinki 31
Bogotá 30
Phoenix 27
London 26
Berlin 25
San Diego 24
Cremona 23
Andover 22
Athens 22
Boardman 22
Shenyang 22
Frankfurt am Main 20
New York 19
Changsha 18
Karlsruhe 18
Somerville 18
Tianjin 18
Toronto 18
Redwood City 17
São Paulo 17
Tokyo 17
Jinan 15
Rome 15
Vienna 15
Brussels 14
Cangzhou 14
Dong Ket 14
Istanbul 14
Shenzhen 14
Hebei 13
Manila 13
Salenstein 13
Nanchang 12
Trana 12
Fuzhou 11
Nuremberg 11
Turin 11
Bitonto 10
Columbus 10
Pisa 10
Eitensheim 9
Haiphong 9
Hangzhou 9
Jiaxing 9
Mcallen 9
Taiyuan 9
Canberra 8
Chicago 8
Falls Church 8
Lappeenranta 8
Montreal 8
Zurich 8
Amsterdam 7
Bühl 7
Miami 7
Warsaw 7
Wuhan 7
Yubileyny 7
Zhengzhou 7
Totale 6.510
Salva come PNG Salva come JPEG
Nome #
Applying ASP to UML model validation 342
Snapshot generation in a constructive object-oriented modeling language 265
Kripke completeness for intermediate logics 251
Snapshots generation via constructive logic 247
fCube : an efficient prover for intuitionistic propositional logic 244
On the complexity of the disjunction property in intuitionistic and modal logics 242
A constructive object oriented modeling language for information systems 235
Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models 219
A secondary semantics for second order intuitionistic propositional logic 214
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 210
Towards a type discipline for answer set programming 209
Combining word problems through rewriting in categories with products 207
Extracting exact time bounds from logical proofs 205
Simplification rules for intuitionistic propositional tableaux 202
A constructive approach to testing model transformations 201
On maximal intermediate predicate constructive logics 200
ESBC : an application for computing stabilization bounds 194
BCDL : Basic Constructive Description Logic 194
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications 191
A space efficient implementation of a tableau calculus for a logic with a constructive negation 189
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic 189
A constructive semantics for ALC 184
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 183
On the complexity of disjunction and explicit definability properties in some intermediate logics 179
Extracting information from intermediate semiconstructive HA-systems - extended abstract 178
Tableau calculi for the logics of finite k-ary trees 176
Model Validation through CooML Snapshot Generation 175
A formal framework for synthesis and verification of logic programs 174
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 172
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic 166
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) 166
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 164
Proof Search and Countermodel Construction for iCK4 163
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ 160
A proof-theoretical analysis of semiconstructive intermediate theories 156
Answer Set Semantics vs. Information Term Semantics 154
Forward countermodel construction in modal Logic K 153
A decidable constructive description logic 151
Terminating sequent calculi for proving and refuting formulas in S4 151
JTabWb : a Java framework for implementing terminating sequent and tableau calculi 149
LOGI: A didactic tool for a beginners' course in logic (system description) 146
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 145
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 142
Efficient SAT-based Proof Search in Intuitionistic Propositional Logic 141
A New Approach to Clausification for Intuitionistic Propositional Logic 139
An evaluation-driven decision procedure for G3i 129
JTabWb : a Java framework for implementing terminating sequent and tableau calculi 129
Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics 127
Preface 125
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 125
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete 120
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic 120
Focusing on contraction 117
A forward internal calculus for model generation in S4 113
Proof-search in Hilbert calculi 112
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property 108
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic 98
A terminating evaluation-driven variant of G3i 94
A Forward Unprovability Calculus for Intuitionistic Propositional Logic 93
Forward refutation for Gödel-Dummett Logics 91
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 88
SAT-Based Proof Search in Intermediate Propositional Logics 86
A Gödel Modal Logic over Witnessed Crisp Models 80
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic 77
Totale 10.549
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.546
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 27.546
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021180 0 0 0 0 0 0 0 0 0 0 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/20251.416 64 89 18 151 285 58 26 136 117 116 120 236
2025/20262.736 163 211 289 227 275 192 393 253 256 327 150 0
Totale 10.549