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.471
AS - Asia 5.339
EU - Europa 4.821
SA - Sud America 1.048
AF - Africa 86
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 11
Totale 21.793
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.274
SG - Singapore 2.090
DE - Germania 1.559
CN - Cina 1.517
IT - Italia 969
BR - Brasile 872
UA - Ucraina 616
HK - Hong Kong 532
TR - Turchia 502
RU - Federazione Russa 388
GB - Regno Unito 345
VN - Vietnam 328
FI - Finlandia 273
SE - Svezia 193
PL - Polonia 174
MX - Messico 98
ID - Indonesia 87
CA - Canada 81
AR - Argentina 77
AT - Austria 75
FR - Francia 72
IN - India 59
ZA - Sudafrica 40
ES - Italia 38
NL - Olanda 37
JP - Giappone 32
BD - Bangladesh 31
EC - Ecuador 31
TW - Taiwan 24
IQ - Iraq 22
CO - Colombia 20
BE - Belgio 17
PY - Paraguay 16
AU - Australia 15
IR - Iran 12
PK - Pakistan 12
UZ - Uzbekistan 12
CH - Svizzera 11
CZ - Repubblica Ceca 11
EU - Europa 11
LT - Lituania 11
CL - Cile 10
MA - Marocco 10
JO - Giordania 7
TN - Tunisia 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
PE - Perù 6
SA - Arabia Saudita 6
UY - Uruguay 6
IL - Israele 5
JM - Giamaica 5
KE - Kenya 5
PH - Filippine 5
AZ - Azerbaigian 4
BH - Bahrain 4
BN - Brunei Darussalam 4
DZ - Algeria 4
EG - Egitto 4
KR - Corea 4
KZ - Kazakistan 4
LB - Libano 4
MY - Malesia 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
GR - Grecia 3
IE - Irlanda 3
KG - Kirghizistan 3
MZ - Mozambico 3
PT - Portogallo 3
RS - Serbia 3
AL - Albania 2
CY - Cipro 2
DK - Danimarca 2
ET - Etiopia 2
HN - Honduras 2
HU - Ungheria 2
LV - Lettonia 2
MM - Myanmar 2
NG - Nigeria 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
GT - Guatemala 1
HR - Croazia 1
IM - Isola di Man 1
IS - Islanda 1
KW - Kuwait 1
Totale 21.782
Salva come PNG Salva come JPEG
Città #
Singapore 1.201
Woodbridge 1.059
Fairfield 1.014
Ashburn 859
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 161
Princeton 153
Addison 144
The Dalles 142
Los Angeles 141
Milan 134
Boardman 122
Bremen 108
Ho Chi Minh City 106
Helsinki 100
Bologna 87
San Diego 87
New York 71
Shenyang 71
São Paulo 69
Shanghai 64
Vienna 64
Mexico City 63
Hanoi 62
Jakarta 61
Nanchang 61
Council Bluffs 59
Hefei 54
Dearborn 49
London 48
Tianjin 45
Hebei 44
Brooklyn 37
Turku 36
Chicago 34
Columbus 31
Düsseldorf 31
Tokyo 31
Changsha 30
Dong Ket 30
Montreal 29
Moscow 29
Mountain View 29
Norwalk 29
San Francisco 29
Jiaxing 28
Falkenstein 27
Chennai 26
Falls Church 25
Stockholm 25
Redwood City 24
Johannesburg 23
Orem 23
Des Moines 22
Atlanta 21
Denver 21
Jinan 21
San Mateo 21
Brasília 20
Ningbo 19
Indiana 18
Orange 18
Rio de Janeiro 18
Toronto 18
Zhengzhou 18
Manchester 17
Washington 17
Berlin 16
Boydton 16
Brussels 16
Poplar 16
Auburn Hills 15
Belo Horizonte 14
Boston 14
Nuremberg 14
Phoenix 14
Rome 14
Verona 14
Baghdad 13
Guangzhou 13
Haiphong 13
Taipei 13
Curitiba 12
Kunming 12
Padova 12
Taizhou 12
Totale 13.877
Salva come PNG Salva come JPEG
Nome #
Abductive Logic Programming for Normative Reasoning and Ontologies 282
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 243
An ASP approach for the valves positioning optimization in a water distribution system 236
L’esitazione vaccinale tra scompenso informativo, terrorismo mediatico e semi-complottismo. Un’indagine empirica 233
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) 217
Abductive logic programming for Datalog+/- ontologies 216
An Abductive Framework for Datalog± Ontologies 215
Accountable protocols in abductive logic programming 215
A network model for routing-fault-free wavelength selection in WRONoCs design 208
The Isolation System Design in Hydraulic Networks 206
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events 202
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) 200
Dischargeable obligations in abductive logic programming 199
A Computational Logic Application Framework for Service Discovery and Contracting 198
An application of constraint solving for home health care 196
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 195
Deon  + : Abduction and Constraints for Normative Reasoning 190
Abduction in the context of a reasoning process: the SCIFF framework 186
Reasoning on Datalog± Ontologies with Abductive Logic Programming 183
Near-optimal scheduling of device activation in water distribution systems to reduce the impact of a contamination event 182
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems 182
Constraint Logic Programming 181
Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization 178
Evaluating compliance: from LTL to abductive logic programming 177
Expressing and Verifying Business Contracts with Abductive Logic Programming 176
A computational logic-based approach to verification of IT systems 176
Verification from declarative specifications using logic programming 176
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 176
Mapping deontic operators to abductive expectations 174
Compliance verification of agent interaction: A logic-based software tool 173
Abduction for specifying and verifying web service choreographies 170
Simulation of incentive mechanisms for renewable energy policies 163
Scheduling countermeasures to contamination events by genetic algorithms 163
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 161
Evaluating Compliance: From LTL to Abductive Logic Programming 160
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip 160
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 160
Specification and verification of agent interaction protocols in a logic-based system 156
Expressing and Verifying Business Contracts with Abductive Logic Programming 155
An Abductive Framework for A-Priori Verification of Web Services 154
AI*IA 2015 Advances in Artificial Intelligence 152
Dischargeable Obligations in the ScIFF Framework 152
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit 149
Preface to RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 145
null 144
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities 144
Domains as first class objects in CLP(FD) 143
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 142
Specification and verification of agent interaction protocols in a logic-based system 141
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 140
Scientific World Journal 138
Preface 138
Exploiting semantic technology in computational logic-based service contracting 137
Learning specifications of interaction protocols and business processes and proving their properties 135
An ASP approach for the optimal placement of the isolation valves in a water distribution system 135
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 134
null 133
Verification from declarative specifications using logic programming 133
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 130
null 127
null 126
null 126
Mapping Deontic Operators to Abductive Expectations 126
Accountable protocols in abductive logic programming (extended abstract) 126
Probabilistic Traces in Declarative Process Mining 122
Verifiable agent interaction in abductive logic programming: the SCIFF framework 121
null 121
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 120
null 120
null 119
Runtime addition of integrity constraints in SCIFF 118
null 117
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training 116
null 116
null 116
null 116
Expressing interaction in combinatorial auction through social integrity constraints 113
Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings 113
ISRN Software Engineering 112
Performance measurement of interactive CSP search algorithms 111
null 111
null 111
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches 109
null 109
Preface 109
Constraint and optimization techniques for supporting policy making 109
Expressing interaction in combinatorial auction through social integrity constraints 109
null 108
An Abductive Interpretation for Open Agent Societies 108
null 107
Multi-Criteria Optimal Planning for Energy Policies in CLP 107
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 105
null 104
Special issue on the Italian Conference on Computational Logic: CILC 2009: Preface 104
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007 103
The horn fragment of branching algebra 103
Policy-based reasoning for smart web service interaction 102
null 101
Arguing on the Semantic Grid 101
null 101
Totale 14.861
Salva come PNG Salva come JPEG
Categoria #
all - tutte 94.953
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.861
Totale 101.814
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.062 780 623 870 1.222 1.331 236 0 0 0 0 0 0
Totale 22.170