CRIS Current Research Information System

CHESANI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.346
EU - Europa 7.439
AS - Asia 6.502
AF - Africa 533
SA - Sud America 289
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 3
Totale 23.127
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.235
GB - Regno Unito 2.790
VN - Vietnam 1.754
CN - Cina 1.672
IT - Italia 1.630
SG - Singapore 1.573
DE - Germania 647
HK - Hong Kong 475
FR - Francia 400
SE - Svezia 370
UA - Ucraina 306
IN - India 285
NL - Olanda 252
RU - Federazione Russa 246
BR - Brasile 199
TG - Togo 182
IE - Irlanda 157
TR - Turchia 138
BG - Bulgaria 131
ZA - Sudafrica 124
JP - Giappone 117
KR - Corea 109
AT - Austria 88
BD - Bangladesh 87
EE - Estonia 87
FI - Finlandia 79
SC - Seychelles 69
CA - Canada 65
CI - Costa d'Avorio 65
JO - Giordania 62
NG - Nigeria 61
CH - Svizzera 41
ES - Italia 39
AR - Argentina 38
GR - Grecia 38
BE - Belgio 33
PH - Filippine 32
TH - Thailandia 31
PL - Polonia 30
ID - Indonesia 29
MX - Messico 28
IQ - Iraq 25
HR - Croazia 23
PK - Pakistan 17
IR - Iran 15
TW - Taiwan 15
EC - Ecuador 13
PE - Perù 12
LT - Lituania 11
DK - Danimarca 10
RO - Romania 10
SA - Arabia Saudita 10
AU - Australia 9
IL - Israele 9
LB - Libano 9
MY - Malesia 9
VE - Venezuela 9
EG - Egitto 7
KE - Kenya 6
NZ - Nuova Zelanda 6
PY - Paraguay 6
CO - Colombia 5
JM - Giamaica 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
MA - Marocco 4
SI - Slovenia 4
TN - Tunisia 4
AL - Albania 3
CL - Cile 3
HN - Honduras 3
KZ - Kazakistan 3
LU - Lussemburgo 3
A2 - ???statistics.table.value.countryCode.A2??? 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
MN - Mongolia 2
NI - Nicaragua 2
NP - Nepal 2
PA - Panama 2
PS - Palestinian Territory 2
SM - San Marino 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AG - Antigua e Barbuda 1
AO - Angola 1
AZ - Azerbaigian 1
BH - Bahrain 1
BJ - Benin 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EU - Europa 1
GH - Ghana 1
HU - Ungheria 1
Totale 23.116
Salva come PNG Salva come JPEG
Città #
Southend 2.620
Singapore 1.068
Ashburn 749
Fairfield 667
Ann Arbor 564
Chandler 493
San Jose 491
Bologna 479
Hong Kong 425
Santa Clara 416
Dong Ket 390
Wilmington 318
Hanoi 312
Woodbridge 310
Dallas 298
Seattle 296
Ho Chi Minh City 294
Houston 269
Hefei 268
Cambridge 242
Princeton 217
Jacksonville 182
Lomé 182
Beijing 177
Boardman 171
Dublin 150
Sofia 130
Istanbul 113
Nanjing 112
Los Angeles 107
Milan 101
Westminster 101
Berlin 100
New York 100
Lauterbourg 98
Tokyo 96
Seoul 95
Council Bluffs 93
Padova 93
Medford 81
Abidjan 65
Vienna 64
Buffalo 62
Amman 61
Abeokuta 59
Jinan 56
San Diego 55
Helsinki 51
Munich 51
Shenyang 49
Changsha 43
Haiphong 42
Saint Petersburg 42
Da Nang 40
Rome 38
Redondo Beach 36
Tianjin 36
Zhengzhou 36
Nanchang 35
Hebei 33
Johannesburg 33
Mülheim 33
São Paulo 32
Frankfurt am Main 30
Guangzhou 30
Des Moines 29
Ferrara 29
Trento 29
Falls Church 28
Boydton 26
Brussels 26
Shanghai 26
Bengaluru 25
Atlanta 24
Hyderabad 24
Norwalk 23
The Dalles 23
Brooklyn 22
Bern 21
London 21
Chicago 20
Redmond 20
Turin 20
Dearborn 19
Mahé 19
Molinella 19
Phoenix 19
Florence 18
Jiaxing 18
Paris 18
Verona 18
Warsaw 18
Yubileyny 18
Hangzhou 17
Lappeenranta 17
Fremont 16
Redwood City 16
Rimini 16
Shenzhen 16
Toronto 16
Totale 15.314
Salva come PNG Salva come JPEG
Nome #
Complex reactive event processing for assisted living: The Habitat project case study 555
HABITAT: An IoT Solution for Independent Elderly 477
Generating synthetic positive and negative business process traces through abduction 463
Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game 421
Artificial intelligence and cognitive psychology: How to solve mathematical problems 415
UCD, Ergonomics and Inclusive Design: The HABITAT Project 377
Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets 338
Map reduce autoscaling over the cloud with process mining monitoring 324
A Prolog application for reasoning on maths puzzles with diagrams 315
Binary Discovery of Declarative Business Processes with ASP Preferences 309
A distributed approach to compliance monitoring of business process event streams 300
A rule-based framework for risk assessment in the health domain 296
OptiLIME: Optimized lime explanations for diagnostic computer algorithms 284
Abduction for Generating Synthetic Traces 278
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 272
FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly 265
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 254
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 251
A retrospective on the reactive event calculus and commitment modeling language 247
FRAT-up, a Web-based fall-risk assessment tool for elderly people living in the community. 247
A Rule-Based Calculus and Processing of Complex Events 247
Process Discovery on Deviant Traces and Other Stranger Things 246
A Logic-Based, Reactive Calculus of Events 235
A computational logic application framework for service discovery and contracting 229
Probabilistic Compliance in Declarative Process Mining 227
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 227
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 226
Process Mining Monitoring for Map Reduce Applications in the Cloud 224
A recommender system for behavioral change in 60-70-year-old adults 223
Abducing Compliance of Incomplete Event Logs 222
Fuzzy Conformance Checking of Observed Behaviour with Expectations 220
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 215
Representing and monitoring social commitments using the event calculus 213
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 213
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 211
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 211
Security protocols verification in abductive logic programming: a case study. 210
Reactive event calculus for monitoring global computing applications 209
A computational logic-based approach to verification of IT systems 208
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 207
Risk Prediction Models for Depression in Community-Dwelling Older Adults 206
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 206
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 204
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 201
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 200
A rule-based implementation of fuzzy tableau reasoning 200
User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up) 200
Verifiable agent interaction in abductive logic programming: the SCIFF framework 199
Solving Mathematical Puzzles: A Challenging Competition for AI 198
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 191
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 191
Abduction for Specifying and Verifying Web Service Choreographies. 188
Compliance Verification of Agent Interaction: a Logic-Based Tool 187
Social Commitments in Time: Satisfied or Compensated 186
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 183
Declarative Specification and Verification of Service Choreographies 183
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 182
Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies 182
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 182
Probabilistic Traces in Declarative Process Mining 181
Modelling interactions via commitments and expectations 180
Checking Compliance of Execution Traces to Business Rules 178
Evaluating Compliance: From LTL to Abductive Logic Programming 176
Abduction in the Context of a Reasoning Process: the SCIFF Framework 173
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 172
Visual decision support for policy making: Advancing policy analysis with visualization 172
Towards data-aware constraints in declare 170
A Game-Based Competition as Instrument for Teaching Artificial Intelligence 170
Exploiting inductive logic programming techniques for declarative process mining. 169
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 168
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 166
Web Service Contracting: Specification and Reasoning with SCIFF 162
Argumentation in the Semantic Web 162
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science 162
A rule-based approach for reasoning about collaboration between smart Web services 161
Commitment Tracking via the Reactive Event Calculus 160
Monitoring business constraints with the event calculus 159
null 159
Role Monitoring in Open Agent Societies 158
Compliance Verification of Agent Interaction: a Logic-Based Software Tool 156
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 156
Solving mathematical puzzles: A deep reasoning challenge. Position Paper 155
Verification of choreographies during execution using the reactive event calculus 155
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 153
Testing guidelines conformance by translating a graphical language to computational logic. 152
An Abductive Framework for A-Priori Verification of Web Services 152
Specification and verification of agent interaction using Abductive Reasoning 149
Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie 149
SOCS-SI: The SOCS Social Infrastructure 148
Verification from declarative specifications using Logic Programming 147
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting 144
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 144
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. 144
A-priori verification of web services with abduction. 144
ECAI 2025: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) 143
Distributed Compliance Monitoring of Business Processes over MapReduce Architectures 143
Verifying a-priori the composition of declarative specified services. 142
A REC-based commitment tracking tool 140
Optimising Business Process Discovery Using Answer Set Programming 139
Monitoring time-aware commitments within agent-based simulation environments 139
Totale 21.232
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.723
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 58.723
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.221 384 121 228 205 334 198 128 210 197 93 747 376
2022/20232.725 191 518 180 308 201 301 94 134 422 70 165 141
2023/20241.088 70 158 51 84 78 236 87 98 40 99 48 39
2024/20252.927 106 329 231 140 549 139 276 68 62 246 192 589
2025/20266.294 437 731 633 372 678 358 852 170 990 473 353 247
2026/2027106 106 0 0 0 0 0 0 0 0 0 0 0
Totale 23.402