CRIS Current Research Information System

MONTALI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.600
AS - Asia 2.988
EU - Europa 2.935
AF - Africa 246
SA - Sud America 164
Continente sconosciuto - Info sul continente non disponibili 113
OC - Oceania 4
Totale 10.050
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.553
GB - Regno Unito 1.281
SG - Singapore 845
CN - Cina 797
VN - Vietnam 783
DE - Germania 294
IT - Italia 265
UA - Ucraina 200
HK - Hong Kong 186
SE - Svezia 173
FR - Francia 170
RU - Federazione Russa 134
BR - Brasile 130
IN - India 122
NL - Olanda 114
IE - Irlanda 79
TG - Togo 74
ZA - Sudafrica 66
TR - Turchia 59
NG - Nigeria 56
BG - Bulgaria 50
JP - Giappone 47
EE - Estonia 44
KR - Corea 37
AT - Austria 36
JO - Giordania 32
FI - Finlandia 22
SC - Seychelles 21
CA - Canada 20
AR - Argentina 15
CI - Costa d'Avorio 14
CH - Svizzera 13
PL - Polonia 13
GR - Grecia 11
MX - Messico 11
TH - Thailandia 10
BD - Bangladesh 9
BE - Belgio 9
ID - Indonesia 8
PK - Pakistan 8
IQ - Iraq 7
TW - Taiwan 7
CZ - Repubblica Ceca 6
CO - Colombia 5
JM - Giamaica 5
SA - Arabia Saudita 5
ES - Italia 4
HR - Croazia 4
IR - Iran 4
MA - Marocco 4
AU - Australia 3
CR - Costa Rica 3
EG - Egitto 3
GT - Guatemala 3
KZ - Kazakistan 3
LB - Libano 3
PH - Filippine 3
PY - Paraguay 3
RO - Romania 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
EC - Ecuador 2
LT - Lituania 2
MN - Mongolia 2
MY - Malesia 2
NP - Nepal 2
PE - Perù 2
SI - Slovenia 2
TN - Tunisia 2
UZ - Uzbekistan 2
AG - Antigua e Barbuda 1
AL - Albania 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 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
SV - El Salvador 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
Totale 9.937
Salva come PNG Salva come JPEG
Città #
Southend 1.193
Singapore 572
Santa Clara 306
Ashburn 298
Fairfield 258
San Jose 211
Dong Ket 207
Chandler 186
Hong Kong 180
Ho Chi Minh City 142
Jacksonville 134
Wilmington 132
Seattle 130
Hanoi 124
Ann Arbor 122
Woodbridge 115
Princeton 114
Houston 106
Cambridge 93
Hefei 88
Beijing 84
Boardman 82
Council Bluffs 78
Dallas 75
Lomé 74
Dublin 72
Abeokuta 56
Istanbul 56
Westminster 56
Padova 55
Nanjing 53
Medford 51
Berlin 50
Lauterbourg 50
Sofia 49
Bologna 48
Tokyo 44
Los Angeles 41
Amman 32
Buffalo 31
Seoul 31
New York 30
Shenyang 28
Vienna 28
San Diego 27
Jinan 26
Da Nang 23
Changsha 22
Milan 22
Mülheim 21
Des Moines 19
Johannesburg 19
Redondo Beach 18
Haiphong 17
Nanchang 17
Saint Petersburg 17
Tianjin 17
Hebei 16
Zhengzhou 16
Jiaxing 15
Mahé 15
Abidjan 14
Helsinki 14
Shanghai 14
Yubileyny 14
Chicago 13
Guangzhou 12
Munich 12
São Paulo 12
Wuhan 11
Hangzhou 10
Verona 10
Bengaluru 9
Bern 9
Brussels 9
Frankfurt am Main 9
London 9
Ningbo 9
The Dalles 9
Biên Hòa 8
Brooklyn 8
Dearborn 8
Norwalk 8
Phoenix 8
Warsaw 8
Falls Church 7
Haikou 7
Hải Dương 7
Nuremberg 7
San Francisco 7
Shenzhen 7
Taizhou 7
Taiyuan 6
Chengdu 5
Cork 5
Florence 5
Ha Long 5
Hyderabad 5
Kunming 5
Modena 5
Totale 6.629
Salva come PNG Salva come JPEG
Nome #
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 277
A Logic-Based, Reactive Calculus of Events 236
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 227
Process Mining Manifesto 225
Abducing Compliance of Incomplete Event Logs 224
Fuzzy Conformance Checking of Observed Behaviour with Expectations 220
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 215
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 211
A computational logic-based approach to verification of IT systems 209
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 209
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 205
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 202
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 191
Abduction for Specifying and Verifying Web Service Choreographies. 189
Social Commitments in Time: Satisfied or Compensated 187
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 183
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 183
Checking Compliance of Execution Traces to Business Rules 181
Towards data-aware constraints in declare 171
Exploiting inductive logic programming techniques for declarative process mining. 170
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 169
Web Service Contracting: Specification and Reasoning with SCIFF 163
A rule-based approach for reasoning about collaboration between smart Web services 162
Commitment Tracking via the Reactive Event Calculus 161
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 161
Role Monitoring in Open Agent Societies 160
Verification of choreographies during execution using the reactive event calculus 157
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 157
Using social integrity constraints for on-the-fly compliance verification of medical protocol 155
Testing guidelines conformance by translating a graphical language to computational logic. 153
Inducing Declarative Logic-Based Models from Labeled Traces 152
An Abductive Framework for A-Priori Verification of Web Services 152
A Semantic Approach to Decidability in Epistemic Planning 150
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. 149
Verification from declarative specifications using Logic Programming 147
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 147
Gamified children universities: An exploratory study 147
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting 146
A-priori verification of web services with abduction. 145
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 144
Learning DecSerFlow Models from Labeled Traces 143
Verifying a-priori the composition of declarative specified services. 143
A REC-based commitment tracking tool 142
Optimising Business Process Discovery Using Answer Set Programming 139
Declarative Technologies for Open Agent Systems and Beyond 134
Expressing and Verifying Business Contracts with Abductive Logic Programming 133
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach 130
Protocol Specification and Verification by Using Computational Logic 130
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. 129
Specification and Verification of Declarative Open Interaction Models. 128
Learning DecSerFlow Models from Labelled Traces 125
Policy-based reasoning for smart web service interaction 123
Social commitments in time: satisfied or compensated (preliminary report) 123
Monitoring Time-Aware Social Commitments with Reactive Event Calculus 117
Expressing and verifying contracts with abductive logic programming 113
Policy-based reasoning for smart web service interaction. 95
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 82
LTL-based conformance checking of fuzzy event logs 81
SMT-based Safety Checking of Parameterized Multi-Agent Systems 63
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 55
On the Flexibility of Declarative Process Specifications 55
Repairing Soundness Properties in Data-Aware Processes 55
delphic: Practical DEL Planning via Possibilities 54
Totale 10.050
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.067
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 27.067
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.085 0 54 70 56 117 73 31 77 67 17 353 170
2022/20231.216 83 245 78 135 117 136 32 35 179 16 71 89
2023/2024340 22 51 19 21 25 86 17 47 20 23 5 4
2024/20251.401 45 223 121 62 356 44 143 8 14 91 53 241
2025/20262.574 186 296 267 157 350 178 292 101 388 181 94 84
2026/2027129 55 74 0 0 0 0 0 0 0 0 0 0
Totale 10.050