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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.425 0 0 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.734 780 623 870 1.222 1.331 588 1.075 611 923 1.165 319 227
2026/20271.195 332 568 295 0 0 0 0 0 0 0 0 0
Totale 28.037