CRIS Current Research Information System

MONTALI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.383
AS - Asia 2.995
EU - Europa 2.973
AF - Africa 248
SA - Sud America 160
OC - Oceania 4
Totale 9.763
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.347
GB - Regno Unito 1.315
SG - Singapore 849
CN - Cina 793
VN - Vietnam 790
DE - Germania 295
IT - Italia 251
UA - Ucraina 202
HK - Hong Kong 186
SE - Svezia 174
FR - Francia 173
RU - Federazione Russa 137
BR - Brasile 128
IN - India 125
NL - Olanda 116
IE - Irlanda 79
TG - Togo 75
ZA - Sudafrica 67
TR - Turchia 60
NG - Nigeria 57
BG - Bulgaria 51
JP - Giappone 47
EE - Estonia 45
KR - Corea 37
AT - Austria 36
JO - Giordania 33
FI - Finlandia 24
SC - Seychelles 20
CA - Canada 16
AR - Argentina 15
CH - Svizzera 14
CI - Costa d'Avorio 14
PL - Polonia 13
TH - Thailandia 12
GR - Grecia 11
MX - Messico 11
BE - Belgio 10
ID - Indonesia 8
PK - Pakistan 8
IQ - Iraq 7
TW - Taiwan 7
CZ - Repubblica Ceca 6
SA - Arabia Saudita 5
CO - Colombia 4
ES - Italia 4
HR - Croazia 4
IR - Iran 4
MA - Marocco 4
AU - Australia 3
EG - Egitto 3
JM - Giamaica 3
KZ - Kazakistan 3
LB - Libano 3
PH - Filippine 3
RO - Romania 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
CL - Cile 2
EC - Ecuador 2
LT - Lituania 2
MN - Mongolia 2
MY - Malesia 2
NP - Nepal 2
PE - Perù 2
PY - Paraguay 2
SI - Slovenia 2
TN - Tunisia 2
UZ - Uzbekistan 2
AG - Antigua e Barbuda 1
AL - Albania 1
BO - Bolivia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
IM - Isola di Man 1
KE - Kenya 1
MD - Moldavia 1
MK - Macedonia 1
MT - Malta 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
PT - Portogallo 1
ST - Sao Tome e Principe 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
Totale 9.763
Salva come PNG Salva come JPEG
Città #
Southend 1.229
Singapore 571
Santa Clara 300
Ashburn 298
Fairfield 263
Dong Ket 207
Chandler 190
Hong Kong 180
San Jose 155
Ho Chi Minh City 142
Jacksonville 133
Wilmington 133
Seattle 132
Hanoi 125
Ann Arbor 122
Woodbridge 118
Princeton 116
Houston 105
Cambridge 94
Hefei 88
Boardman 80
Beijing 75
Lomé 75
Dallas 72
Dublin 72
Abeokuta 57
Istanbul 57
Westminster 57
Padova 56
Nanjing 55
Berlin 51
Lauterbourg 51
Medford 51
Sofia 50
Bologna 49
Tokyo 44
Los Angeles 39
Amman 33
New York 32
Buffalo 31
Seoul 31
Shenyang 28
Vienna 28
San Diego 27
Jinan 26
Da Nang 24
Changsha 23
Mülheim 21
Des Moines 19
Haiphong 19
Johannesburg 19
Milan 18
Redondo Beach 18
Hebei 17
Nanchang 17
Saint Petersburg 17
Tianjin 17
Zhengzhou 17
Helsinki 15
Jiaxing 15
Mahé 15
Munich 15
Abidjan 14
Shanghai 14
Yubileyny 14
Guangzhou 13
São Paulo 12
Chicago 11
Wuhan 11
Brussels 10
Hangzhou 10
Bengaluru 9
Bern 9
Frankfurt am Main 9
Ningbo 9
The Dalles 9
Verona 9
Biên Hòa 8
Dearborn 8
London 8
Norwalk 8
Warsaw 8
Falls Church 7
Haikou 7
Hải Dương 7
Nuremberg 7
San Francisco 7
Shenzhen 7
Taizhou 7
Bangkok 6
Phoenix 6
Taiyuan 6
Brooklyn 5
Can Tho 5
Chengdu 5
Cork 5
Florence 5
Ha Long 5
Hyderabad 5
Kunming 5
Totale 6.544
Salva come PNG Salva come JPEG
Nome #
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 260
A Logic-Based, Reactive Calculus of Events 232
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
Process Mining Manifesto 215
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 212
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 208
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 203
A computational logic-based approach to verification of IT systems 202
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 197
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
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
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
Towards data-aware constraints in declare 169
Exploiting inductive logic programming techniques for declarative process mining. 167
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 164
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
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 158
Commitment Tracking via the Reactive Event Calculus 157
Web Service Contracting: Specification and Reasoning with SCIFF 156
Role Monitoring in Open Agent Societies 156
Verification of choreographies during execution using the reactive event calculus 155
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
Using social integrity constraints for on-the-fly compliance verification of medical protocol 151
Inducing Declarative Logic-Based Models from Labeled Traces 147
A Semantic Approach to Decidability in Epistemic Planning 146
Gamified children universities: An exploratory study 145
Verification from declarative specifications using Logic Programming 144
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
Verifying a-priori the composition of declarative specified services. 140
A-priori verification of web services with abduction. 140
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 138
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 136
A REC-based commitment tracking tool 136
Learning DecSerFlow Models from Labeled Traces 135
Optimising Business Process Discovery Using Answer Set Programming 131
Declarative Technologies for Open Agent Systems and Beyond 131
Protocol Specification and Verification by Using Computational Logic 128
Expressing and Verifying Business Contracts with Abductive Logic Programming 127
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. 127
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach 126
Specification and Verification of Declarative Open Interaction Models. 125
Learning DecSerFlow Models from Labelled Traces 120
Social commitments in time: satisfied or compensated (preliminary report) 120
Policy-based reasoning for smart web service interaction 118
Monitoring Time-Aware Social Commitments with Reactive Event Calculus 113
Expressing and verifying contracts with abductive logic programming 110
Policy-based reasoning for smart web service interaction. 90
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 78
LTL-based conformance checking of fuzzy event logs 61
SMT-based Safety Checking of Parameterized Multi-Agent Systems 60
Repairing Soundness Properties in Data-Aware Processes 53
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 51
On the Flexibility of Declarative Process Specifications 49
delphic: Practical DEL Planning via Possibilities 47
Totale 9.876
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.226
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 25.226
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021465 0 0 0 0 0 0 0 0 0 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/20262.394 188 298 271 158 352 180 296 103 396 152 0 0
Totale 9.876