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

GAVANELLI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.023
EU - Europa 3.750
AS - Asia 1.616
SA - Sud America 14
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 11
AF - Africa 7
Totale 13.432
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.001
DE - Germania 1.296
CN - Cina 838
IT - Italia 754
UA - Ucraina 581
TR - Turchia 476
RU - Federazione Russa 252
GB - Regno Unito 237
SG - Singapore 207
SE - Svezia 168
FI - Finlandia 165
PL - Polonia 130
AT - Austria 60
FR - Francia 40
VN - Vietnam 31
ID - Indonesia 25
CA - Canada 18
NL - Olanda 15
BE - Belgio 13
BR - Brasile 12
CZ - Repubblica Ceca 11
EU - Europa 11
AU - Australia 10
ES - Italia 9
HK - Hong Kong 9
CH - Svizzera 7
TW - Taiwan 7
IN - India 5
MX - Messico 4
BJ - Benin 3
GR - Grecia 3
IR - Iran 3
JP - Giappone 3
KR - Corea 3
MZ - Mozambico 3
TH - Thailandia 3
BG - Bulgaria 1
BN - Brunei Darussalam 1
CL - Cile 1
CO - Colombia 1
CY - Cipro 1
EE - Estonia 1
HU - Ungheria 1
IE - Irlanda 1
IL - Israele 1
IS - Islanda 1
LV - Lettonia 1
MM - Myanmar 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PT - Portogallo 1
RE - Reunion 1
RO - Romania 1
RS - Serbia 1
Totale 13.432
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.059
Fairfield 1.014
Houston 750
Jacksonville 664
Chandler 573
Ashburn 482
Ann Arbor 403
Seattle 390
Ferrara 356
Wilmington 352
Cambridge 319
Izmir 245
Nanjing 215
Princeton 153
Addison 144
Warsaw 130
Beijing 122
Boardman 120
Singapore 111
Bremen 108
Milan 102
San Diego 87
Bologna 83
Shenyang 69
Shanghai 61
Nanchang 60
Vienna 57
Dearborn 49
Hebei 44
Los Angeles 43
Helsinki 39
Tianjin 36
Düsseldorf 31
Dong Ket 30
Changsha 29
Mountain View 29
Norwalk 29
Jiaxing 28
Falls Church 25
Jakarta 25
Dallas 24
Redwood City 24
Des Moines 22
Jinan 21
London 21
San Mateo 21
Munich 19
Indiana 18
Ningbo 18
Orange 18
Washington 17
Zhengzhou 17
Boydton 16
Auburn Hills 15
Berlin 15
Brussels 12
Padova 12
Taizhou 12
Verona 12
Mcallen 11
Guangzhou 10
Kunming 10
New York 10
Santa Clara 9
Tappahannock 9
Hefei 8
Hong Kong 8
San Francisco 7
Lappeenranta 6
Philadelphia 6
Taipei 6
Barcelona 5
Hangzhou 5
Lanzhou 5
Leawood 5
Montréal 5
Rocca Di Papa 5
Santa Cruz 5
Toronto 5
Andover 4
Brno 4
Changchun 4
Chicago 4
Fuzhou 4
Rome 4
Torino 4
Augusta 3
Bolzano 3
Corrente 3
Geneva 3
Karlsruhe 3
Lausanne 3
Leipzig 3
Maputo 3
Oxford 3
Prescot 3
Rio De Janeiro 3
Salerno 3
San Benedetto Del Tronto 3
Walnut 3
Totale 9.210
Salva come PNG Salva come JPEG
Nome #
Abductive Logic Programming for Normative Reasoning and Ontologies 199
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 169
An ASP approach for the valves positioning optimization in a water distribution system 162
Dischargeable obligations in abductive logic programming 152
Deon  + : Abduction and Constraints for Normative Reasoning 147
Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization 144
null 144
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) 144
Accountable protocols in abductive logic programming 142
A network model for routing-fault-free wavelength selection in WRONoCs design 140
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events 140
Verification from declarative specifications using logic programming 134
null 133
Evaluating compliance: from LTL to abductive logic programming 133
Compliance verification of agent interaction: A logic-based software tool 132
An application of constraint solving for home health care 131
Mapping deontic operators to abductive expectations 129
Expressing and Verifying Business Contracts with Abductive Logic Programming 128
null 127
null 126
null 126
An Abductive Framework for Datalog± Ontologies 125
The Isolation System Design in Hydraulic Networks 125
Constraint Logic Programming 124
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 124
Evaluating Compliance: From LTL to Abductive Logic Programming 122
null 121
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) 120
null 120
null 119
Near-optimal scheduling of device activation in water distribution systems to reduce the impact of a contamination event 119
Abductive logic programming for Datalog+/- ontologies 119
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 118
null 117
A Computational Logic Application Framework for Service Discovery and Contracting 117
null 116
null 116
null 116
Simulation of incentive mechanisms for renewable energy policies 116
AI*IA 2015 Advances in Artificial Intelligence 115
null 111
null 111
null 109
Expressing and Verifying Business Contracts with Abductive Logic Programming 109
null 108
Preface to RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 107
null 107
null 104
Reasoning on Datalog± Ontologies with Abductive Logic Programming 103
An Abductive Framework for A-Priori Verification of Web Services 102
null 101
null 101
Specification and verification of agent interaction protocols in a logic-based system 100
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 100
Dischargeable Obligations in the ScIFF Framework 100
null 99
Learning specifications of interaction protocols and business processes and proving their properties 97
Scheduling countermeasures to contamination events by genetic algorithms 97
null 97
null 96
null 96
null 95
Scientific World Journal 94
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip 94
Abduction for specifying and verifying web service choreographies 93
null 93
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 92
Abduction in the context of a reasoning process: the SCIFF framework 92
Preface 91
null 90
null 90
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems 88
null 87
null 86
Specification and verification of agent interaction protocols in a logic-based system 85
A computational logic-based approach to verification of IT systems 85
Domains as first class objects in CLP(FD) 84
null 84
Verifiable agent interaction in abductive logic programming: the SCIFF framework 82
Mapping Deontic Operators to Abductive Expectations 82
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 82
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 81
null 81
ISRN Software Engineering 81
null 81
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 81
Verification from declarative specifications using logic programming 81
Exploiting semantic technology in computational logic-based service contracting 80
null 80
null 79
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 78
Constraint and optimization techniques for supporting policy making 78
null 77
Special Issue on the Italian Conference on Computational Logic: CILC 2009. Preface 75
Expressing interaction in combinatorial auction through social integrity constraints 74
Preface 74
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit 74
null 73
Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings 73
Runtime addition of integrity constraints in SCIFF 72
Totale 10.648
Salva come PNG Salva come JPEG
Categoria #
all - tutte 53.062
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.962
Totale 57.024
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.977 0 0 76 339 155 322 188 258 203 268 107 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/2025187 92 85 10 0 0 0 0 0 0 0 0 0
Totale 13.776