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

GAVANELLI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.222
AS - Asia 7.431
EU - Europa 5.313
SA - Sud America 1.255
AF - Africa 164
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 12
Totale 26.420
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.954
SG - Singapore 2.716
CN - Cina 1.848
DE - Germania 1.593
IT - Italia 1.131
BR - Brasile 985
VN - Vietnam 797
UA - Ucraina 624
HK - Hong Kong 571
TR - Turchia 527
RU - Federazione Russa 400
GB - Regno Unito 378
FI - Finlandia 286
FR - Francia 229
SE - Svezia 194
JP - Giappone 193
PL - Polonia 180
IN - India 155
BD - Bangladesh 148
MX - Messico 118
CA - Canada 112
ID - Indonesia 108
AR - Argentina 105
AT - Austria 82
IQ - Iraq 69
ZA - Sudafrica 67
ES - Italia 49
NL - Olanda 48
EC - Ecuador 43
PK - Pakistan 38
CO - Colombia 30
TW - Taiwan 28
UZ - Uzbekistan 28
PH - Filippine 26
CL - Cile 25
SA - Arabia Saudita 24
MA - Marocco 22
MY - Malesia 22
PY - Paraguay 22
AU - Australia 21
BE - Belgio 19
VE - Venezuela 19
JO - Giordania 17
CZ - Repubblica Ceca 15
TN - Tunisia 15
LT - Lituania 14
IR - Iran 13
CH - Svizzera 12
PE - Perù 12
EU - Europa 11
JM - Giamaica 11
AE - Emirati Arabi Uniti 10
ET - Etiopia 10
TH - Thailandia 9
AZ - Azerbaigian 8
EG - Egitto 8
IE - Irlanda 8
KE - Kenya 8
NP - Nepal 8
UY - Uruguay 8
OM - Oman 7
BH - Bahrain 6
DO - Repubblica Dominicana 6
DZ - Algeria 6
KZ - Kazakistan 6
LB - Libano 6
NG - Nigeria 6
PT - Portogallo 6
AL - Albania 5
BO - Bolivia 5
CR - Costa Rica 5
IL - Israele 5
KG - Kirghizistan 5
BN - Brunei Darussalam 4
GE - Georgia 4
GR - Grecia 4
KR - Corea 4
RS - Serbia 4
TT - Trinidad e Tobago 4
AM - Armenia 3
BG - Bulgaria 3
BJ - Benin 3
CY - Cipro 3
HN - Honduras 3
HU - Ungheria 3
LV - Lettonia 3
MD - Moldavia 3
MZ - Mozambico 3
SN - Senegal 3
SY - Repubblica araba siriana 3
DK - Danimarca 2
GH - Ghana 2
GT - Guatemala 2
LK - Sri Lanka 2
LU - Lussemburgo 2
MM - Myanmar 2
PA - Panama 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
SM - San Marino 2
Totale 26.382
Salva come PNG Salva come JPEG
Città #
Singapore 1.723
Ashburn 1.262
Woodbridge 1.059
Fairfield 1.015
Houston 761
San Jose 710
Jacksonville 665
Chandler 573
Santa Clara 565
Hong Kong 561
Beijing 513
Ferrara 423
Ann Arbor 403
Seattle 400
Wilmington 352
Cambridge 319
Izmir 247
Ho Chi Minh City 240
Nanjing 216
Munich 191
Tokyo 189
Hanoi 187
The Dalles 181
Dallas 180
Los Angeles 171
Warsaw 165
Milan 154
Princeton 153
Addison 144
Lauterbourg 125
New York 125
Boardman 123
Helsinki 113
Bremen 108
Bologna 103
Council Bluffs 94
San Diego 87
São Paulo 81
Mexico City 71
Shenyang 71
Shanghai 66
Jakarta 65
Vienna 65
Nanchang 61
Hefei 55
London 53
Orem 53
Dearborn 49
Tianjin 48
Hebei 44
Brooklyn 41
Chicago 40
Montreal 40
Chennai 39
Turku 36
San Francisco 35
Da Nang 33
Baghdad 32
Columbus 31
Düsseldorf 31
Moscow 31
Changsha 30
Dong Ket 30
Atlanta 29
Johannesburg 29
Mountain View 29
Norwalk 29
Denver 28
Jiaxing 28
Rome 28
Falkenstein 27
Haiphong 27
Redwood City 27
Falls Church 25
Stockholm 25
Tashkent 25
Toronto 25
Brasília 23
Frankfurt am Main 23
Des Moines 22
Jinan 22
Rio de Janeiro 21
San Mateo 21
Manchester 20
Zhengzhou 20
Berlin 19
Ningbo 19
Phoenix 19
Turin 19
Indiana 18
Nuremberg 18
Orange 18
Brussels 17
Buffalo 17
Guangzhou 17
Verona 17
Washington 17
Belo Horizonte 16
Boydton 16
Hải Dương 16
Totale 16.647
Salva come PNG Salva come JPEG
Nome #
Abductive Logic Programming for Normative Reasoning and Ontologies 337
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 302
L’esitazione vaccinale tra scompenso informativo, terrorismo mediatico e semi-complottismo. Un’indagine empirica 291
An ASP approach for the valves positioning optimization in a water distribution system 289
Abductive logic programming for Datalog+/- ontologies 258
Accountable protocols in abductive logic programming 257
An Abductive Framework for Datalog± Ontologies 253
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) 251
A network model for routing-fault-free wavelength selection in WRONoCs design 251
Reasoning on Datalog± Ontologies with Abductive Logic Programming 246
The Isolation System Design in Hydraulic Networks 244
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems 236
A Computational Logic Application Framework for Service Discovery and Contracting 236
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) 235
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events 235
An application of constraint solving for home health care 231
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 228
Deon  + : Abduction and Constraints for Normative Reasoning 223
Abduction in the context of a reasoning process: the SCIFF framework 222
Dischargeable obligations in abductive logic programming 218
Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization 210
Near-optimal scheduling of device activation in water distribution systems to reduce the impact of a contamination event 209
A computational logic-based approach to verification of IT systems 208
Abduction for specifying and verifying web service choreographies 206
Evaluating compliance: from LTL to abductive logic programming 206
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 205
Evaluating Compliance: From LTL to Abductive Logic Programming 204
Verification from declarative specifications using logic programming 203
Expressing and Verifying Business Contracts with Abductive Logic Programming 201
Constraint Logic Programming 201
Compliance verification of agent interaction: A logic-based software tool 199
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 199
Scheduling countermeasures to contamination events by genetic algorithms 197
Dischargeable Obligations in the ScIFF Framework 197
An Abductive Framework for A-Priori Verification of Web Services 195
Mapping deontic operators to abductive expectations 193
Simulation of incentive mechanisms for renewable energy policies 191
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 191
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip 189
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities 186
Specification and verification of agent interaction protocols in a logic-based system 185
AI*IA 2015 Advances in Artificial Intelligence 185
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit 182
Probabilistic Traces in Declarative Process Mining 181
Expressing and Verifying Business Contracts with Abductive Logic Programming 181
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 178
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training 177
Domains as first class objects in CLP(FD) 171
Preface 168
An ASP approach for the optimal placement of the isolation valves in a water distribution system 166
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 164
Exploiting semantic technology in computational logic-based service contracting 163
Preface to RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 163
Preface 163
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 161
Verification from declarative specifications using logic programming 160
Accountable protocols in abductive logic programming (extended abstract) 159
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 158
Scientific World Journal 158
Learning specifications of interaction protocols and business processes and proving their properties 155
Specification and verification of agent interaction protocols in a logic-based system 154
Mapping Deontic Operators to Abductive Expectations 150
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 149
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches 148
Performance measurement of interactive CSP search algorithms 148
An Abductive Interpretation for Open Agent Societies 148
null 144
Verifiable agent interaction in abductive logic programming: the SCIFF framework 142
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 142
Expressing interaction in combinatorial auction through social integrity constraints 139
Expressing interaction in combinatorial auction through social integrity constraints 139
A Verifiable Logic-Based Agent Architecture 137
Runtime addition of integrity constraints in SCIFF 136
null 133
The horn fragment of branching algebra 131
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem 130
Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings 128
ISRN Software Engineering 127
null 127
null 126
null 126
Sustainable biomass power plant location in the Italian Emilia-Romagna region 126
Extending CLP(FD) with interactive data acquisition for 3D visual object recognition. 125
Arguing on the Semantic Grid 125
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 124
A CHR-based implementation of known arc-consistency 124
A logic-based approach to interaction design in open multi-agent systems 124
Multi-Criteria Optimal Planning for Energy Policies in CLP 123
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments 123
Constraint and optimization techniques for supporting policy making 122
null 121
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 121
Special issue on the Italian Conference on Computational Logic: CILC 2009: Preface 121
On (maximal, tractable) fragments of the branching algebra? 121
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007 120
null 120
null 119
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex 118
Policy-based reasoning for smart web service interaction 118
Constraint and optimization techniques for supporting policy making 118
Totale 17.628
Salva come PNG Salva come JPEG
Categoria #
all - tutte 108.447
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.832
Totale 116.279
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021138 0 0 0 0 0 0 0 0 0 0 0 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.519 92 85 270 86 424 351 163 341 437 393 546 331
2025/20269.699 780 623 870 1.222 1.331 588 1.075 611 923 1.165 319 192
Totale 26.807