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

GAVANELLI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.554
AS - Asia 5.531
EU - Europa 4.832
SA - Sud America 1.069
AF - Africa 91
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 11
Totale 22.105
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.352
SG - Singapore 2.208
DE - Germania 1.559
CN - Cina 1.531
IT - Italia 972
BR - Brasile 889
UA - Ucraina 616
HK - Hong Kong 532
TR - Turchia 504
RU - Federazione Russa 388
VN - Vietnam 364
GB - Regno Unito 349
FI - Finlandia 273
SE - Svezia 193
PL - Polonia 175
MX - Messico 99
ID - Indonesia 87
CA - Canada 83
AR - Argentina 79
AT - Austria 77
FR - Francia 72
IN - India 64
ZA - Sudafrica 41
ES - Italia 39
NL - Olanda 37
JP - Giappone 35
BD - Bangladesh 34
EC - Ecuador 31
IQ - Iraq 27
TW - Taiwan 24
CO - Colombia 20
BE - Belgio 17
PY - Paraguay 17
AU - Australia 15
PK - Pakistan 14
UZ - Uzbekistan 13
IR - Iran 12
CH - Svizzera 11
CZ - Repubblica Ceca 11
EU - Europa 11
LT - Lituania 11
CL - Cile 10
MA - Marocco 10
JO - Giordania 8
VE - Venezuela 8
KE - Kenya 7
TN - Tunisia 7
AE - Emirati Arabi Uniti 6
PE - Perù 6
SA - Arabia Saudita 6
UY - Uruguay 6
IL - Israele 5
JM - Giamaica 5
KZ - Kazakistan 5
MY - Malesia 5
PH - Filippine 5
AZ - Azerbaigian 4
BH - Bahrain 4
BN - Brunei Darussalam 4
DZ - Algeria 4
EG - Egitto 4
KR - Corea 4
LB - Libano 4
TH - Thailandia 4
TT - Trinidad e Tobago 4
AM - Armenia 3
BJ - Benin 3
BO - Bolivia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
ET - Etiopia 3
GR - Grecia 3
IE - Irlanda 3
KG - Kirghizistan 3
MZ - Mozambico 3
NG - Nigeria 3
PT - Portogallo 3
RS - Serbia 3
AL - Albania 2
CY - Cipro 2
DK - Danimarca 2
GT - Guatemala 2
HN - Honduras 2
HU - Ungheria 2
LV - Lettonia 2
MM - Myanmar 2
SM - San Marino 2
SN - Senegal 2
SY - Repubblica araba siriana 2
AF - Afghanistan, Repubblica islamica di 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BG - Bulgaria 1
BY - Bielorussia 1
EE - Estonia 1
GE - Georgia 1
HR - Croazia 1
IM - Isola di Man 1
IS - Islanda 1
KW - Kuwait 1
Totale 22.093
Salva come PNG Salva come JPEG
Città #
Singapore 1.318
Woodbridge 1.059
Fairfield 1.014
Ashburn 875
Houston 755
Jacksonville 665
Chandler 573
Santa Clara 539
Hong Kong 529
Beijing 480
Ann Arbor 403
Ferrara 402
Seattle 397
Wilmington 352
Cambridge 319
Izmir 246
Nanjing 216
Munich 191
Dallas 169
Warsaw 162
Princeton 153
The Dalles 148
Los Angeles 146
Addison 144
Milan 134
Boardman 122
Ho Chi Minh City 119
Bremen 108
Helsinki 100
Bologna 87
San Diego 87
New York 78
Shenyang 71
São Paulo 70
Hanoi 69
Mexico City 64
Shanghai 64
Vienna 64
Jakarta 61
Nanchang 61
Council Bluffs 59
Hefei 54
London 50
Dearborn 49
Tianjin 45
Hebei 44
Brooklyn 39
Turku 36
Chicago 34
Tokyo 34
Columbus 31
Düsseldorf 31
Changsha 30
Dong Ket 30
Montreal 30
Moscow 29
Mountain View 29
Norwalk 29
San Francisco 29
Jiaxing 28
Chennai 27
Falkenstein 27
Orem 27
Falls Church 25
Stockholm 25
Denver 24
Johannesburg 24
Redwood City 24
San Jose 24
Atlanta 23
Des Moines 22
Brasília 21
Jinan 21
San Mateo 21
Ningbo 19
Toronto 19
Indiana 18
Orange 18
Rio de Janeiro 18
Zhengzhou 18
Manchester 17
Washington 17
Berlin 16
Boydton 16
Brussels 16
Phoenix 16
Poplar 16
Verona 16
Auburn Hills 15
Belo Horizonte 15
Haiphong 15
Boston 14
Nuremberg 14
Rome 14
Baghdad 13
Curitiba 13
Guangzhou 13
Taipei 13
Ankara 12
Asunción 12
Totale 14.092
Salva come PNG Salva come JPEG
Nome #
Abductive Logic Programming for Normative Reasoning and Ontologies 286
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 246
An ASP approach for the valves positioning optimization in a water distribution system 241
L’esitazione vaccinale tra scompenso informativo, terrorismo mediatico e semi-complottismo. Un’indagine empirica 239
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) 221
An Abductive Framework for Datalog± Ontologies 219
Accountable protocols in abductive logic programming 219
Abductive logic programming for Datalog+/- ontologies 219
A network model for routing-fault-free wavelength selection in WRONoCs design 211
The Isolation System Design in Hydraulic Networks 207
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) 204
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events 203
Dischargeable obligations in abductive logic programming 202
An application of constraint solving for home health care 200
A Computational Logic Application Framework for Service Discovery and Contracting 200
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 199
Deon  + : Abduction and Constraints for Normative Reasoning 195
Abduction in the context of a reasoning process: the SCIFF framework 188
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems 187
Constraint Logic Programming 187
Reasoning on Datalog± Ontologies with Abductive Logic Programming 187
Near-optimal scheduling of device activation in water distribution systems to reduce the impact of a contamination event 183
Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization 180
Compliance verification of agent interaction: A logic-based software tool 180
Evaluating compliance: from LTL to abductive logic programming 179
Expressing and Verifying Business Contracts with Abductive Logic Programming 178
A computational logic-based approach to verification of IT systems 177
Verification from declarative specifications using logic programming 177
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 177
Abduction for specifying and verifying web service choreographies 176
Mapping deontic operators to abductive expectations 175
Simulation of incentive mechanisms for renewable energy policies 167
Scheduling countermeasures to contamination events by genetic algorithms 166
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 162
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 162
Evaluating Compliance: From LTL to Abductive Logic Programming 161
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip 161
Specification and verification of agent interaction protocols in a logic-based system 159
Expressing and Verifying Business Contracts with Abductive Logic Programming 158
An Abductive Framework for A-Priori Verification of Web Services 155
AI*IA 2015 Advances in Artificial Intelligence 155
Dischargeable Obligations in the ScIFF Framework 153
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit 152
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities 148
Domains as first class objects in CLP(FD) 146
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 146
Preface to RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 145
null 144
Specification and verification of agent interaction protocols in a logic-based system 142
Scientific World Journal 142
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 142
Exploiting semantic technology in computational logic-based service contracting 140
An ASP approach for the optimal placement of the isolation valves in a water distribution system 139
Preface 139
Learning specifications of interaction protocols and business processes and proving their properties 136
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 135
Verification from declarative specifications using logic programming 134
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 133
null 133
Accountable protocols in abductive logic programming (extended abstract) 129
Mapping Deontic Operators to Abductive Expectations 128
null 127
null 126
null 126
Probabilistic Traces in Declarative Process Mining 124
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 123
Verifiable agent interaction in abductive logic programming: the SCIFF framework 122
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training 121
null 121
null 120
null 119
Runtime addition of integrity constraints in SCIFF 119
null 117
null 116
null 116
null 116
Expressing interaction in combinatorial auction through social integrity constraints 114
ISRN Software Engineering 114
Performance measurement of interactive CSP search algorithms 113
Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings 113
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches 112
null 111
null 111
Preface 110
Constraint and optimization techniques for supporting policy making 110
Expressing interaction in combinatorial auction through social integrity constraints 110
An Abductive Interpretation for Open Agent Societies 110
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 109
null 109
Multi-Criteria Optimal Planning for Energy Policies in CLP 109
null 108
null 107
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007 105
Arguing on the Semantic Grid 105
Special issue on the Italian Conference on Computational Logic: CILC 2009: Preface 105
Policy-based reasoning for smart web service interaction 104
null 104
The horn fragment of branching algebra 104
null 101
null 101
Totale 15.066
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.076
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.959
Totale 103.035
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.256 0 0 0 0 0 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.519 92 85 270 86 424 351 163 341 437 393 546 331
2025/20265.375 780 623 870 1.222 1.331 549 0 0 0 0 0 0
Totale 22.483