CRIS Current Research Information System

CHESANI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.074
NA - Nord America 5.676
AS - Asia 1.638
AF - Africa 383
SA - Sud America 26
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 13.810
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.653
GB - Regno Unito 2.732
IT - Italia 1.093
VN - Vietnam 640
CN - Cina 520
DE - Germania 509
SE - Svezia 357
UA - Ucraina 299
FR - Francia 255
IN - India 205
TG - Togo 182
IE - Irlanda 152
RU - Federazione Russa 137
BG - Bulgaria 126
TR - Turchia 115
EE - Estonia 87
ZA - Sudafrica 84
AT - Austria 73
JO - Giordania 59
NG - Nigeria 59
NL - Olanda 44
FI - Finlandia 40
CI - Costa d'Avorio 37
CH - Svizzera 35
GR - Grecia 35
BE - Belgio 25
JP - Giappone 25
HR - Croazia 23
HK - Hong Kong 20
SC - Seychelles 20
CA - Canada 17
ES - Italia 14
PL - Polonia 13
IR - Iran 9
LB - Libano 9
SG - Singapore 8
LT - Lituania 7
PE - Perù 7
PK - Pakistan 7
EC - Ecuador 6
MX - Messico 6
AU - Australia 5
BR - Brasile 5
DK - Danimarca 5
IL - Israele 5
NZ - Nuova Zelanda 5
AR - Argentina 4
CZ - Repubblica Ceca 4
KR - Corea 3
RO - Romania 3
A2 - ???statistics.table.value.countryCode.A2??? 2
CL - Cile 2
KZ - Kazakistan 2
MY - Malesia 2
PH - Filippine 2
SI - Slovenia 2
SM - San Marino 2
TH - Thailandia 2
VE - Venezuela 2
AL - Albania 1
BD - Bangladesh 1
EU - Europa 1
ID - Indonesia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
SA - Arabia Saudita 1
SN - Senegal 1
UZ - Uzbekistan 1
Totale 13.810
Salva come PNG Salva come JPEG
Città #
Southend 2.620
Fairfield 667
Ann Arbor 564
Chandler 492
Ashburn 476
Dong Ket 390
Bologna 318
Wilmington 317
Woodbridge 310
Seattle 293
Houston 264
Cambridge 240
Princeton 217
Lomé 182
Jacksonville 180
Dublin 146
Sofia 126
Istanbul 109
Nanjing 105
Westminster 101
Berlin 99
Padova 90
Medford 80
Abeokuta 59
Amman 59
San Diego 54
Vienna 54
Jinan 50
New York 47
Shenyang 46
Milan 44
Saint Petersburg 42
Abidjan 37
Changsha 34
Nanchang 34
Hebei 33
Mülheim 33
Helsinki 31
Falls Church 28
Boardman 27
Des Moines 27
Boydton 26
Tianjin 24
Trento 24
Zhengzhou 24
Norwalk 23
Brussels 22
Bern 21
Beijing 20
Redmond 20
Dearborn 19
Mahé 19
Molinella 19
Rome 18
Turin 18
Fremont 16
Jiaxing 16
Redwood City 16
Tokyo 16
San Jose 15
Verona 15
Ferrara 14
Haikou 13
Florence 12
Hangzhou 12
Los Angeles 12
Olalla 12
Ravenna 11
Ningbo 10
Paris 10
Lappeenranta 9
Sasso Marconi 9
Wayne 9
Athens 8
London 8
Ottawa 8
Taiyuan 8
Carignano 7
Kaunas 7
Lanzhou 7
Munich 7
San Venanzo 7
Taizhou 7
Bari 6
Bühl 6
Chieti 6
Delft 6
Guangzhou 6
Kunming 6
Lima 6
Mumbai 6
Quito 6
Washington 6
Cork 5
Forlì 5
Hefei 5
Naples 5
Napoli 5
Nuremberg 5
Singapore 5
Totale 9.818
Salva come PNG Salva come JPEG
Nome #
Complex reactive event processing for assisted living: The Habitat project case study 363
Generating synthetic positive and negative business process traces through abduction 320
HABITAT: An IoT Solution for Independent Elderly 312
UCD, Ergonomics and Inclusive Design: The HABITAT Project 251
Artificial intelligence and cognitive psychology: How to solve mathematical problems 223
A distributed approach to compliance monitoring of business process event streams 202
Abduction for Generating Synthetic Traces 194
A retrospective on the reactive event calculus and commitment modeling language 192
Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets 188
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 188
FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly 179
A rule-based framework for risk assessment in the health domain 179
A computational logic application framework for service discovery and contracting 178
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 178
A Logic-Based, Reactive Calculus of Events 176
A Rule-Based Calculus and Processing of Complex Events 172
Map reduce autoscaling over the cloud with process mining monitoring 163
FRAT-up, a Web-based fall-risk assessment tool for elderly people living in the community. 160
null 159
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 155
Abducing Compliance of Incomplete Event Logs 155
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 153
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 152
Representing and monitoring social commitments using the event calculus 150
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 150
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 150
Fuzzy Conformance Checking of Observed Behaviour with Expectations 150
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 147
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 147
A computational logic-based approach to verification of IT systems 146
A Prolog application for reasoning on maths puzzles with diagrams 146
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 144
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 142
Process Mining Monitoring for Map Reduce Applications in the Cloud 142
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 141
Reactive event calculus for monitoring global computing applications 140
A recommender system for behavioral change in 60-70-year-old adults 135
Evaluating Compliance: From LTL to Abductive Logic Programming 133
User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up) 132
Security protocols verification in abductive logic programming: a case study. 130
OptiLIME: Optimized lime explanations for diagnostic computer algorithms 130
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 129
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 129
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 129
Verifiable agent interaction in abductive logic programming: the SCIFF framework 127
Declarative Specification and Verification of Service Choreographies 127
Abduction for Specifying and Verifying Web Service Choreographies. 126
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 126
Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies 126
null 126
Social Commitments in Time: Satisfied or Compensated 124
Solving Mathematical Puzzles: A Challenging Competition for AI 124
Compliance Verification of Agent Interaction: a Logic-Based Software Tool 121
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 121
Abduction in the Context of a Reasoning Process: the SCIFF Framework 121
Modelling interactions via commitments and expectations 120
Checking Compliance of Execution Traces to Business Rules 120
Exploiting inductive logic programming techniques for declarative process mining. 118
A rule-based implementation of fuzzy tableau reasoning 117
Verification of choreographies during execution using the reactive event calculus 114
Compliance Verification of Agent Interaction: a Logic-Based Tool 111
Role Monitoring in Open Agent Societies 111
Specification and verification of agent interaction using Abductive Reasoning 111
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 111
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 109
A rule-based approach for reasoning about collaboration between smart Web services 109
Monitoring business constraints with the event calculus 108
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 108
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 107
Web Service Contracting: Specification and Reasoning with SCIFF 106
Visual decision support for policy making: Advancing policy analysis with visualization 104
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. 103
An Abductive Framework for A-Priori Verification of Web Services 102
Argumentation in the Semantic Web 102
Commitment Tracking via the Reactive Event Calculus 102
Towards data-aware constraints in declare 100
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 100
Binary Discovery of Declarative Business Processes with ASP Preferences 99
A-priori verification of web services with abduction. 99
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 99
Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie 94
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 93
A Verifiable Logic-Based Agent Architecture. 92
Specification and Verification of Agent Interaction Protocols in a Logic-based System 90
Monitoring time-aware commitments within agent-based simulation environments 90
Evaluating compliance: from LTL to abductive logic programming 90
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science 90
Verifying a-priori the composition of declarative specified services. 87
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior 87
Solving mathematical puzzles: A deep reasoning challenge. Position Paper 87
A REC-based commitment tracking tool 87
SOCS-SI: The SOCS Social Infrastructure 85
Verification from declarative specifications using Logic Programming 85
Testing guidelines conformance by translating a graphical language to computational logic. 80
Declarative Technologies for Open Agent Systems and Beyond 80
Policy-based reasoning for smart web service interaction 79
Expressing and Verifying Business Contracts with Abductive Logic Programming 78
Protocol Specification and Verification by Using Computational Logic 78
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. 76
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 71
Totale 13.292
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.790
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 29.790
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019181 0 0 0 0 0 0 0 0 0 0 58 123
2019/20202.864 434 76 46 160 254 290 349 367 367 186 111 224
2020/20213.065 457 153 75 150 194 177 96 215 459 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.032 70 158 51 84 78 236 87 98 40 99 31 0
Totale 14.019