SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

GAVANELLI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.157
EU - Europa 4.309
AS - Asia 2.660
SA - Sud America 417
AF - Africa 36
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 11
Totale 16.605
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.100
DE - Germania 1.473
CN - Cina 1.026
SG - Singapore 916
IT - Italia 901
UA - Ucraina 607
TR - Turchia 486
BR - Brasile 378
GB - Regno Unito 277
RU - Federazione Russa 258
FI - Finlandia 256
SE - Svezia 173
PL - Polonia 146
AT - Austria 66
ID - Indonesia 62
FR - Francia 51
CA - Canada 37
VN - Vietnam 35
NL - Olanda 27
TW - Taiwan 22
IN - India 20
HK - Hong Kong 19
BE - Belgio 17
AR - Argentina 14
AU - Australia 14
ES - Italia 14
ZA - Sudafrica 14
CZ - Repubblica Ceca 11
EU - Europa 11
IQ - Iraq 11
MX - Messico 11
BD - Bangladesh 10
CH - Svizzera 8
EC - Ecuador 7
CO - Colombia 6
JP - Giappone 6
UZ - Uzbekistan 6
LT - Lituania 5
PK - Pakistan 5
MA - Marocco 4
PH - Filippine 4
TN - Tunisia 4
BJ - Benin 3
CR - Costa Rica 3
GR - Grecia 3
IR - Iran 3
KR - Corea 3
LB - Libano 3
MZ - Mozambico 3
PE - Perù 3
TH - Thailandia 3
VE - Venezuela 3
AZ - Azerbaigian 2
BH - Bahrain 2
BN - Brunei Darussalam 2
DZ - Algeria 2
IE - Irlanda 2
IL - Israele 2
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
LV - Lettonia 2
PT - Portogallo 2
PY - Paraguay 2
SA - Arabia Saudita 2
SM - San Marino 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
BG - Bulgaria 1
BO - Bolivia 1
CL - Cile 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EE - Estonia 1
HN - Honduras 1
HU - Ungheria 1
IS - Islanda 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
MM - Myanmar 1
MU - Mauritius 1
MY - Malesia 1
NZ - Nuova Zelanda 1
RE - Reunion 1
RO - Romania 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TG - Togo 1
Totale 16.605
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.059
Fairfield 1.014
Houston 750
Jacksonville 664
Chandler 573
Santa Clara 523
Ashburn 498
Ann Arbor 403
Ferrara 393
Seattle 391
Singapore 379
Wilmington 352
Cambridge 319
Beijing 263
Izmir 246
Nanjing 216
Princeton 153
Addison 144
Warsaw 139
Munich 129
Milan 127
Boardman 121
The Dalles 120
Bremen 108
Helsinki 98
San Diego 87
Bologna 86
Shenyang 71
Los Angeles 65
Shanghai 61
Nanchang 60
Vienna 60
Jakarta 57
Council Bluffs 52
Dearborn 49
Hebei 44
Tianjin 36
London 35
Düsseldorf 31
Dallas 30
Dong Ket 30
Changsha 29
Mountain View 29
Norwalk 29
Jiaxing 28
Falls Church 25
Redwood City 24
São Paulo 23
Turku 23
Des Moines 22
New York 22
San Francisco 22
Jinan 21
San Mateo 21
Indiana 18
Ningbo 18
Orange 18
Zhengzhou 18
Brooklyn 17
Falkenstein 17
Washington 17
Berlin 16
Boydton 16
Brussels 16
Hong Kong 16
Auburn Hills 15
Taipei 13
Guangzhou 12
Padova 12
Taizhou 12
Verona 12
Mcallen 11
Brasília 10
Kunming 10
Rome 10
Chicago 9
Tappahannock 9
Toronto 9
Baghdad 8
Hefei 8
Lappeenranta 8
Rubano 8
Atlanta 7
Barcelona 7
Nuremberg 7
Philadelphia 7
Wroclaw 7
Belo Horizonte 6
Curitiba 6
Karlsruhe 6
Montreal 6
Rio de Janeiro 6
Santa Cruz 6
Tashkent 6
Augusta 5
Boston 5
Florence 5
Hangzhou 5
Jyväskylä 5
Lanzhou 5
Totale 10.824
Salva come PNG Salva come JPEG
Nome #
Abductive Logic Programming for Normative Reasoning and Ontologies 224
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 196
An ASP approach for the valves positioning optimization in a water distribution system 194
Dischargeable obligations in abductive logic programming 175
L’esitazione vaccinale tra scompenso informativo, terrorismo mediatico e semi-complottismo. Un’indagine empirica 173
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) 173
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) 166
Deon  + : Abduction and Constraints for Normative Reasoning 166
Accountable protocols in abductive logic programming 166
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events 164
A network model for routing-fault-free wavelength selection in WRONoCs design 163
Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization 161
An application of constraint solving for home health care 156
An Abductive Framework for Datalog± Ontologies 153
The Isolation System Design in Hydraulic Networks 153
Verification from declarative specifications using logic programming 152
Compliance verification of agent interaction: A logic-based software tool 151
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 147
Evaluating compliance: from LTL to abductive logic programming 146
Expressing and Verifying Business Contracts with Abductive Logic Programming 145
Abductive logic programming for Datalog+/- ontologies 145
null 144
Constraint Logic Programming 144
Mapping deontic operators to abductive expectations 143
Reasoning on Datalog± Ontologies with Abductive Logic Programming 142
Near-optimal scheduling of device activation in water distribution systems to reduce the impact of a contamination event 139
A Computational Logic Application Framework for Service Discovery and Contracting 138
Evaluating Compliance: From LTL to Abductive Logic Programming 137
Simulation of incentive mechanisms for renewable energy policies 136
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 135
null 133
AI*IA 2015 Advances in Artificial Intelligence 133
Abduction in the context of a reasoning process: the SCIFF framework 133
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems 128
Expressing and Verifying Business Contracts with Abductive Logic Programming 127
null 127
null 126
null 126
Scheduling countermeasures to contamination events by genetic algorithms 123
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip 122
Dischargeable Obligations in the ScIFF Framework 122
null 121
Preface to RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 120
null 120
An Abductive Framework for A-Priori Verification of Web Services 119
null 119
Specification and verification of agent interaction protocols in a logic-based system 118
null 117
null 116
null 116
null 116
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 116
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit 115
Learning specifications of interaction protocols and business processes and proving their properties 113
Specification and verification of agent interaction protocols in a logic-based system 112
Abduction for specifying and verifying web service choreographies 112
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 111
null 111
null 111
null 109
null 108
Preface 108
A computational logic-based approach to verification of IT systems 107
null 107
Scientific World Journal 106
null 104
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 103
null 101
null 101
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 101
null 99
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 98
Domains as first class objects in CLP(FD) 98
Verification from declarative specifications using logic programming 98
Verifiable agent interaction in abductive logic programming: the SCIFF framework 97
Exploiting semantic technology in computational logic-based service contracting 97
null 97
null 96
Constraint and optimization techniques for supporting policy making 96
null 96
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities 96
null 95
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 94
Mapping Deontic Operators to Abductive Expectations 93
null 93
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 92
ISRN Software Engineering 92
null 90
null 90
Special issue on the Italian Conference on Computational Logic: CILC 2009: Preface 90
Expressing interaction in combinatorial auction through social integrity constraints 89
Multi-Criteria Optimal Planning for Energy Policies in CLP 87
Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings 87
null 87
null 86
Preface 86
Runtime addition of integrity constraints in SCIFF 85
An ASP approach for the optimal placement of the isolation valves in a water distribution system 85
null 84
Policy-based reasoning for smart web service interaction 83
Totale 12.121
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.913
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.645
Totale 82.558
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202061 0 0 0 0 0 0 0 0 0 0 0 61
2020/20211.929 221 114 74 184 80 257 100 241 41 252 227 138
2021/20221.650 86 139 100 35 60 90 73 75 94 131 209 558
2022/20231.536 162 70 59 162 318 246 88 113 176 7 81 54
2023/2024788 76 125 69 30 75 72 20 36 10 56 19 200
2024/20253.392 92 85 270 86 424 351 163 341 437 393 546 204
Totale 16.981