CRIS Current Research Information System

MONTALI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.742
AS - Asia 3.043
EU - Europa 3.001
AF - Africa 250
SA - Sud America 181
Continente sconosciuto - Info sul continente non disponibili 114
OC - Oceania 4
Totale 10.335
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.689
GB - Regno Unito 1.318
SG - Singapore 861
CN - Cina 805
VN - Vietnam 791
DE - Germania 300
IT - Italia 269
UA - Ucraina 203
HK - Hong Kong 191
SE - Svezia 174
FR - Francia 173
RU - Federazione Russa 137
BR - Brasile 135
IN - India 125
NL - Olanda 116
IE - Irlanda 79
TG - Togo 75
ZA - Sudafrica 67
TR - Turchia 61
NG - Nigeria 57
BG - Bulgaria 51
JP - Giappone 47
EE - Estonia 45
KR - Corea 37
AT - Austria 36
JO - Giordania 33
FI - Finlandia 24
CA - Canada 22
SC - Seychelles 21
AR - Argentina 16
CH - Svizzera 14
CI - Costa d'Avorio 14
PL - Polonia 13
CO - Colombia 12
MX - Messico 12
TH - Thailandia 12
BD - Bangladesh 11
GR - Grecia 11
BE - Belgio 10
ID - Indonesia 10
PK - Pakistan 8
IQ - Iraq 7
TW - Taiwan 7
CZ - Repubblica Ceca 6
JM - Giamaica 6
SA - Arabia Saudita 6
ES - Italia 5
MY - Malesia 5
PH - Filippine 5
VE - Venezuela 5
CR - Costa Rica 4
EC - Ecuador 4
HR - Croazia 4
IR - Iran 4
MA - Marocco 4
AU - Australia 3
EG - Egitto 3
GT - Guatemala 3
KZ - Kazakistan 3
LB - Libano 3
PY - Paraguay 3
RO - Romania 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
LT - Lituania 2
MN - Mongolia 2
NP - Nepal 2
PE - Perù 2
SI - Slovenia 2
SV - El Salvador 2
TN - Tunisia 2
UZ - Uzbekistan 2
AG - Antigua e Barbuda 1
AL - Albania 1
BO - Bolivia 1
CG - Congo 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
SY - Repubblica araba siriana 1
UY - Uruguay 1
Totale 10.221
Salva come PNG Salva come JPEG
Città #
Southend 1.229
Singapore 582
Santa Clara 310
Ashburn 307
Fairfield 264
San Jose 230
Dong Ket 207
Chandler 190
Hong Kong 185
Ho Chi Minh City 142
Jacksonville 134
Wilmington 133
Seattle 132
Hanoi 125
Ann Arbor 122
Woodbridge 119
Princeton 116
Houston 107
Council Bluffs 102
Cambridge 94
Hefei 88
Beijing 85
Boardman 83
Dallas 77
Lomé 75
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 42
New York 34
Amman 33
Buffalo 31
Seoul 31
Shenyang 28
Vienna 28
San Diego 27
Jinan 26
Da Nang 24
Changsha 23
Milan 22
Mülheim 21
Des Moines 19
Haiphong 19
Johannesburg 19
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
Chicago 13
Guangzhou 13
Phoenix 12
São Paulo 12
Wuhan 11
Brussels 10
Hangzhou 10
Verona 10
Bengaluru 9
Bern 9
Frankfurt am Main 9
London 9
Ningbo 9
The Dalles 9
Biên Hòa 8
Brooklyn 8
Dearborn 8
Norwalk 8
San Francisco 8
Warsaw 8
Falls Church 7
Haikou 7
Hải Dương 7
Nuremberg 7
Shenzhen 7
Taizhou 7
Bangkok 6
Taiyuan 6
Can Tho 5
Chengdu 5
Cork 5
Florence 5
Ha Long 5
Hyderabad 5
Totale 6.797
Salva come PNG Salva come JPEG
Nome #
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 280
A Logic-Based, Reactive Calculus of Events 238
Process Mining Manifesto 228
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 228
Abducing Compliance of Incomplete Event Logs 224
Fuzzy Conformance Checking of Observed Behaviour with Expectations 222
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 217
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 213
A computational logic-based approach to verification of IT systems 210
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 210
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 206
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 205
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 194
Abduction for Specifying and Verifying Web Service Choreographies. 190
Social Commitments in Time: Satisfied or Compensated 188
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 186
Declarative Specification and Verification of Service Choreographies 185
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 185
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 184
Checking Compliance of Execution Traces to Business Rules 183
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 174
Towards data-aware constraints in declare 172
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 172
Exploiting inductive logic programming techniques for declarative process mining. 171
Web Service Contracting: Specification and Reasoning with SCIFF 166
Commitment Tracking via the Reactive Event Calculus 164
A rule-based approach for reasoning about collaboration between smart Web services 163
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 163
Role Monitoring in Open Agent Societies 161
Using social integrity constraints for on-the-fly compliance verification of medical protocol 159
Verification of choreographies during execution using the reactive event calculus 158
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 158
Testing guidelines conformance by translating a graphical language to computational logic. 155
An Abductive Framework for A-Priori Verification of Web Services 154
A Semantic Approach to Decidability in Epistemic Planning 153
Inducing Declarative Logic-Based Models from Labeled Traces 152
Verification from declarative specifications using Logic Programming 149
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. 149
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 148
Gamified children universities: An exploratory study 148
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting 147
A-priori verification of web services with abduction. 146
Learning DecSerFlow Models from Labeled Traces 145
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 145
A REC-based commitment tracking tool 145
Verifying a-priori the composition of declarative specified services. 144
Optimising Business Process Discovery Using Answer Set Programming 141
Declarative Technologies for Open Agent Systems and Beyond 138
Expressing and Verifying Business Contracts with Abductive Logic Programming 133
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. 132
Protocol Specification and Verification by Using Computational Logic 132
Specification and Verification of Declarative Open Interaction Models. 131
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach 131
Learning DecSerFlow Models from Labelled Traces 126
Social commitments in time: satisfied or compensated (preliminary report) 125
Policy-based reasoning for smart web service interaction 123
Monitoring Time-Aware Social Commitments with Reactive Event Calculus 120
Expressing and verifying contracts with abductive logic programming 113
Policy-based reasoning for smart web service interaction. 96
LTL-based conformance checking of fuzzy event logs 82
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 82
SMT-based Safety Checking of Parameterized Multi-Agent Systems 67
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 57
Repairing Soundness Properties in Data-Aware Processes 57
delphic: Practical DEL Planning via Possibilities 57
On the Flexibility of Declarative Process Specifications 55
Totale 10.335
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.828
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.828
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.056 0 0 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.610 188 298 271 158 352 180 296 103 396 184 100 84
2026/2027243 56 113 74 0 0 0 0 0 0 0 0 0
Totale 10.335