CRIS Current Research Information System

MONTALI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.116
EU - Europa 2.891
AS - Asia 2.437
AF - Africa 218
SA - Sud America 146
OC - Oceania 2
Totale 8.810
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.087
GB - Regno Unito 1.309
SG - Singapore 746
CN - Cina 717
VN - Vietnam 490
DE - Germania 289
IT - Italia 244
UA - Ucraina 200
SE - Svezia 174
HK - Hong Kong 173
RU - Federazione Russa 137
FR - Francia 121
BR - Brasile 118
IN - India 117
NL - Olanda 115
IE - Irlanda 78
TG - Togo 75
TR - Turchia 58
NG - Nigeria 57
BG - Bulgaria 50
ZA - Sudafrica 46
EE - Estonia 45
JP - Giappone 42
AT - Austria 36
KR - Corea 33
JO - Giordania 31
FI - Finlandia 22
SC - Seychelles 20
AR - Argentina 15
CA - Canada 15
CH - Svizzera 14
CI - Costa d'Avorio 14
PL - Polonia 12
GR - Grecia 11
BE - Belgio 10
MX - Messico 9
ID - Indonesia 7
CZ - Repubblica Ceca 6
CO - Colombia 4
HR - Croazia 4
IR - Iran 4
ES - Italia 3
KZ - Kazakistan 3
LB - Libano 3
PK - Pakistan 3
RO - Romania 3
EC - Ecuador 2
EG - Egitto 2
LT - Lituania 2
MA - Marocco 2
NP - Nepal 2
PE - Perù 2
PY - Paraguay 2
SI - Slovenia 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BD - Bangladesh 1
BO - Bolivia 1
CL - Cile 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
IM - Isola di Man 1
JM - Giamaica 1
MD - Moldavia 1
MK - Macedonia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PT - Portogallo 1
SA - Arabia Saudita 1
TN - Tunisia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 8.810
Salva come PNG Salva come JPEG
Città #
Southend 1.229
Singapore 474
Santa Clara 300
Ashburn 272
Fairfield 263
Dong Ket 207
Chandler 190
Hong Kong 172
Jacksonville 133
Wilmington 133
Seattle 132
Ann Arbor 122
Woodbridge 118
Princeton 116
Houston 105
Cambridge 94
Hefei 87
Boardman 78
Lomé 75
Beijing 71
Dallas 71
Dublin 71
Abeokuta 57
Istanbul 57
Westminster 57
Ho Chi Minh City 56
Padova 56
Nanjing 55
Hanoi 54
Berlin 51
Medford 50
Sofia 50
Bologna 47
Tokyo 41
Los Angeles 34
Amman 31
Seoul 31
Buffalo 29
Shenyang 28
Vienna 28
New York 27
San Diego 27
Jinan 26
Mülheim 21
Changsha 20
Des Moines 19
Redondo Beach 18
Hebei 17
Milan 17
Nanchang 17
Saint Petersburg 17
Tianjin 16
Zhengzhou 16
Jiaxing 15
Mahé 15
Munich 15
Abidjan 14
Yubileyny 14
Helsinki 13
Guangzhou 12
Shanghai 12
São Paulo 12
Brussels 10
Hangzhou 10
Wuhan 10
Bengaluru 9
Bern 9
Ningbo 9
Verona 9
Da Nang 8
Dearborn 8
London 8
Norwalk 8
Chicago 7
Falls Church 7
Frankfurt am Main 7
Haikou 7
Nuremberg 7
San Francisco 7
Taizhou 7
Warsaw 7
Biên Hòa 6
Phoenix 6
Shenzhen 6
Taiyuan 6
Brooklyn 5
Cork 5
Florence 5
Ha Long 5
Haiphong 5
Hyderabad 5
Kunming 5
Toronto 5
Turku 5
Curitiba 4
Hải Dương 4
Lomianki 4
Modena 4
Olalla 4
Paris 4
Totale 5.952
Salva come PNG Salva come JPEG
Nome #
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 229
A Logic-Based, Reactive Calculus of Events 211
Abducing Compliance of Incomplete Event Logs 201
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 199
Fuzzy Conformance Checking of Observed Behaviour with Expectations 198
Process Mining Manifesto 197
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 195
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 193
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 190
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 185
A computational logic-based approach to verification of IT systems 182
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 181
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 179
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 172
Abduction for Specifying and Verifying Web Service Choreographies. 169
Social Commitments in Time: Satisfied or Compensated 167
Checking Compliance of Execution Traces to Business Rules 165
Declarative Specification and Verification of Service Choreographies 161
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 161
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 158
Exploiting inductive logic programming techniques for declarative process mining. 151
Towards data-aware constraints in declare 149
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 148
Role Monitoring in Open Agent Societies 145
Web Service Contracting: Specification and Reasoning with SCIFF 144
Verification of choreographies during execution using the reactive event calculus 144
A rule-based approach for reasoning about collaboration between smart Web services 143
Commitment Tracking via the Reactive Event Calculus 143
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 140
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 138
Using social integrity constraints for on-the-fly compliance verification of medical protocol 137
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. 137
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 137
Inducing Declarative Logic-Based Models from Labeled Traces 136
An Abductive Framework for A-Priori Verification of Web Services 135
Testing guidelines conformance by translating a graphical language to computational logic. 131
A-priori verification of web services with abduction. 131
Gamified children universities: An exploratory study 129
Verification from declarative specifications using Logic Programming 126
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 126
A REC-based commitment tracking tool 126
Verifying a-priori the composition of declarative specified services. 125
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 125
Learning DecSerFlow Models from Labeled Traces 124
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting 123
A Semantic Approach to Decidability in Epistemic Planning 121
Expressing and Verifying Business Contracts with Abductive Logic Programming 119
Specification and Verification of Declarative Open Interaction Models. 116
Protocol Specification and Verification by Using Computational Logic 116
Declarative Technologies for Open Agent Systems and Beyond 116
Policy-based reasoning for smart web service interaction 111
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. 110
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach 110
Optimising Business Process Discovery Using Answer Set Programming 109
Learning DecSerFlow Models from Labelled Traces 105
Expressing and verifying contracts with abductive logic programming 101
Social commitments in time: satisfied or compensated (preliminary report) 99
Monitoring Time-Aware Social Commitments with Reactive Event Calculus 99
Policy-based reasoning for smart web service interaction. 86
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 66
SMT-based Safety Checking of Parameterized Multi-Agent Systems 46
Repairing Soundness Properties in Data-Aware Processes 40
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 38
LTL-based conformance checking of fuzzy event logs 36
On the Flexibility of Declarative Process Specifications 36
delphic: Practical DEL Planning via Possibilities 35
Totale 8.901
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.485
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 23.485
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021852 0 0 0 0 0 62 31 106 188 89 80 296
2021/20221.269 158 55 72 57 119 74 31 79 70 19 363 172
2022/20231.237 84 249 78 138 121 138 32 37 181 16 73 90
2023/2024346 22 51 19 22 25 90 17 48 20 23 5 4
2024/20251.428 45 226 123 62 362 46 145 8 14 94 55 248
2025/20261.419 188 298 271 158 352 152 0 0 0 0 0 0
Totale 8.901