CRIS Current Research Information System

CHESANI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.837
EU - Europa 7.282
AS - Asia 6.396
AF - Africa 530
SA - Sud America 270
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 3
Totale 22.333
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.759
GB - Regno Unito 2.784
VN - Vietnam 1.754
CN - Cina 1.664
SG - Singapore 1.551
IT - Italia 1.501
DE - Germania 643
HK - Hong Kong 468
FR - Francia 399
SE - Svezia 369
UA - Ucraina 305
IN - India 281
NL - Olanda 248
RU - Federazione Russa 246
BR - Brasile 186
TG - Togo 182
IE - Irlanda 157
TR - Turchia 137
BG - Bulgaria 131
ZA - Sudafrica 124
JP - Giappone 117
KR - Corea 109
AT - Austria 88
EE - Estonia 87
FI - Finlandia 78
SC - Seychelles 66
CI - Costa d'Avorio 65
JO - Giordania 62
NG - Nigeria 61
CA - Canada 45
CH - Svizzera 41
GR - Grecia 38
AR - Argentina 37
ES - Italia 36
BE - Belgio 32
PH - Filippine 32
TH - Thailandia 31
ID - Indonesia 29
PL - Polonia 29
MX - Messico 26
IQ - Iraq 25
BD - Bangladesh 23
HR - Croazia 23
PK - Pakistan 17
IR - Iran 15
TW - Taiwan 15
EC - Ecuador 12
LT - Lituania 11
PE - Perù 11
DK - Danimarca 10
SA - Arabia Saudita 10
AU - Australia 9
IL - Israele 9
LB - Libano 9
MY - Malesia 9
VE - Venezuela 8
EG - Egitto 7
KE - Kenya 6
NZ - Nuova Zelanda 6
RO - Romania 6
PY - Paraguay 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
MA - Marocco 4
SI - Slovenia 4
TN - Tunisia 4
AL - Albania 3
CL - Cile 3
KZ - Kazakistan 3
LU - Lussemburgo 3
A2 - ???statistics.table.value.countryCode.A2??? 2
JM - Giamaica 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
MN - Mongolia 2
NP - Nepal 2
PA - Panama 2
PS - Palestinian Territory 2
SM - San Marino 2
SY - Repubblica araba siriana 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
CY - Cipro 1
DO - Repubblica Dominicana 1
EU - Europa 1
GH - Ghana 1
HN - Honduras 1
MD - Moldavia 1
MK - Macedonia 1
ML - Mali 1
MT - Malta 1
Totale 22.327
Salva come PNG Salva come JPEG
Città #
Southend 2.620
Singapore 1.052
Ashburn 725
Fairfield 667
Ann Arbor 564
Chandler 493
Bologna 452
Hong Kong 419
Santa Clara 402
Dong Ket 390
San Jose 322
Wilmington 318
Hanoi 312
Woodbridge 310
Ho Chi Minh City 294
Seattle 294
Dallas 293
Hefei 268
Houston 265
Cambridge 242
Princeton 217
Lomé 182
Jacksonville 181
Beijing 173
Boardman 154
Dublin 150
Sofia 130
Istanbul 113
Nanjing 112
Westminster 101
Berlin 100
Lauterbourg 98
Tokyo 96
Los Angeles 95
Seoul 95
Padova 93
Milan 90
Medford 81
New York 76
Abidjan 65
Vienna 64
Amman 61
Abeokuta 59
Buffalo 57
Jinan 56
San Diego 54
Helsinki 50
Munich 50
Shenyang 49
Changsha 43
Haiphong 42
Saint Petersburg 42
Da Nang 40
Council Bluffs 37
Redondo Beach 36
Tianjin 36
Zhengzhou 36
Nanchang 35
Hebei 33
Johannesburg 33
Mülheim 33
Rome 33
Frankfurt am Main 30
Guangzhou 30
São Paulo 30
Des Moines 29
Falls Church 28
Boydton 26
Brussels 26
Ferrara 26
Shanghai 25
Hyderabad 24
Trento 24
Norwalk 23
The Dalles 23
Bengaluru 22
Bern 21
Redmond 20
Dearborn 19
London 19
Mahé 19
Molinella 19
Turin 19
Chicago 18
Florence 18
Jiaxing 18
Verona 18
Warsaw 18
Yubileyny 18
Brooklyn 17
Hangzhou 17
Lappeenranta 17
Paris 17
Atlanta 16
Fremont 16
Redwood City 16
Shenzhen 16
Amsterdam 15
Jakarta 15
Phoenix 15
Totale 14.870
Salva come PNG Salva come JPEG
Nome #
Complex reactive event processing for assisted living: The Habitat project case study 536
HABITAT: An IoT Solution for Independent Elderly 470
Generating synthetic positive and negative business process traces through abduction 447
Artificial intelligence and cognitive psychology: How to solve mathematical problems 391
Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game 387
UCD, Ergonomics and Inclusive Design: The HABITAT Project 369
Map reduce autoscaling over the cloud with process mining monitoring 319
Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets 307
A Prolog application for reasoning on maths puzzles with diagrams 305
A distributed approach to compliance monitoring of business process event streams 291
Binary Discovery of Declarative Business Processes with ASP Preferences 289
A rule-based framework for risk assessment in the health domain 285
Abduction for Generating Synthetic Traces 271
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 260
FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly 260
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 248
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 246
A Rule-Based Calculus and Processing of Complex Events 244
A retrospective on the reactive event calculus and commitment modeling language 242
OptiLIME: Optimized lime explanations for diagnostic computer algorithms 242
Process Discovery on Deviant Traces and Other Stranger Things 234
FRAT-up, a Web-based fall-risk assessment tool for elderly people living in the community. 234
A Logic-Based, Reactive Calculus of Events 232
A computational logic application framework for service discovery and contracting 228
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 225
Process Mining Monitoring for Map Reduce Applications in the Cloud 220
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 220
Abducing Compliance of Incomplete Event Logs 219
Fuzzy Conformance Checking of Observed Behaviour with Expectations 218
Probabilistic Compliance in Declarative Process Mining 215
A recommender system for behavioral change in 60-70-year-old adults 214
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 213
Representing and monitoring social commitments using the event calculus 212
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 212
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 208
Security protocols verification in abductive logic programming: a case study. 206
Reactive event calculus for monitoring global computing applications 206
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 205
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 203
A computational logic-based approach to verification of IT systems 202
A rule-based implementation of fuzzy tableau reasoning 198
User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up) 198
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 198
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 197
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 197
Solving Mathematical Puzzles: A Challenging Competition for AI 196
Verifiable agent interaction in abductive logic programming: the SCIFF framework 194
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 193
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 190
Risk Prediction Models for Depression in Community-Dwelling Older Adults 189
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 186
Compliance Verification of Agent Interaction: a Logic-Based Tool 185
Abduction for Specifying and Verifying Web Service Choreographies. 182
Social Commitments in Time: Satisfied or Compensated 182
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 179
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 178
Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies 178
Modelling interactions via commitments and expectations 177
Declarative Specification and Verification of Service Choreographies 177
Checking Compliance of Execution Traces to Business Rules 177
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 176
Evaluating Compliance: From LTL to Abductive Logic Programming 173
Abduction in the Context of a Reasoning Process: the SCIFF Framework 171
Visual decision support for policy making: Advancing policy analysis with visualization 170
Towards data-aware constraints in declare 169
Exploiting inductive logic programming techniques for declarative process mining. 167
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 166
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 164
A Game-Based Competition as Instrument for Teaching Artificial Intelligence 163
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 162
A rule-based approach for reasoning about collaboration between smart Web services 160
null 159
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science 157
Commitment Tracking via the Reactive Event Calculus 157
Web Service Contracting: Specification and Reasoning with SCIFF 156
Role Monitoring in Open Agent Societies 156
Probabilistic Traces in Declarative Process Mining 155
Compliance Verification of Agent Interaction: a Logic-Based Software Tool 155
Argumentation in the Semantic Web 155
Verification of choreographies during execution using the reactive event calculus 155
Monitoring business constraints with the event calculus 154
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 153
An Abductive Framework for A-Priori Verification of Web Services 151
Solving mathematical puzzles: A deep reasoning challenge. Position Paper 151
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 150
Specification and verification of agent interaction using Abductive Reasoning 146
Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie 145
Verification from declarative specifications using Logic Programming 144
SOCS-SI: The SOCS Social Infrastructure 143
Testing guidelines conformance by translating a graphical language to computational logic. 143
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting 141
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. 141
A-priori verification of web services with abduction. 140
Verifying a-priori the composition of declarative specified services. 139
Distributed Compliance Monitoring of Business Processes over MapReduce Architectures 137
Monitoring time-aware commitments within agent-based simulation environments 136
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 136
A REC-based commitment tracking tool 136
Evaluating compliance: from LTL to abductive logic programming 134
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences 132
Totale 20.584
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.998
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 54.998
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.089 0 0 0 0 0 0 0 0 0 252 187 650
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/20265.603 437 731 633 372 678 358 852 170 990 382 0 0
Totale 22.605