Follow
Marco Montali
Marco Montali
Full Professor in Computer Engineering, Free University of Bozen-Bolzano
Verified email at inf.unibz.it - Homepage
Title
Cited by
Cited by
Year
Process mining manifesto
W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ...
Business Process Management Workshops: BPM 2011 International Workshops …, 2012
19282012
Declarative specification and verification of service choreographiess
M Montali, M Pesic, WMP Aalst, F Chesani, P Mello, S Storari
ACM Transactions on the Web (TWEB) 4 (1), 1-62, 2010
3042010
Monitoring business constraints with linear temporal logic: An approach based on colored automata
FM Maggi, M Montali, M Westergaard, WMP Van Der Aalst
Business Process Management: 9th International Conference, BPM 2011 …, 2011
2872011
Compliance monitoring in business processes: Functionalities, application, and tool-support
LT Ly, FM Maggi, M Montali, S Rinderle-Ma, WMP Van Der Aalst
Information systems 54, 209-234, 2015
2522015
Verification of relational data-centric dynamic systems with external services
B Bagheri Hariri, D Calvanese, G De Giacomo, A Deutsch, M Montali
Proceedings of the 32nd acm sigmod-sigact-sigai symposium on principles of …, 2013
2232013
Reasoning on LTL on finite traces: Insensitivity to infiniteness
G De Giacomo, R De Masellis, M Montali
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
1962014
Specification and verification of declarative open interaction models: A logic-based approach
M Montali
Springer-Verlag New York Inc, 2010
1902010
Foundations of data-aware process analysis: a database theory perspective
D Calvanese, G De Giacomo, M Montali
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
1742013
Monitoring business constraints with the event calculus
M Montali, FM Maggi, F Chesani, P Mello, WMP Aalst
ACM transactions on intelligent systems and technology (TIST) 5 (1), 1-30, 2014
1612014
Runtime verification of LTL-based declarative process models
FM Maggi, M Westergaard, M Montali, WMP van der Aalst
Runtime Verification: Second International Conference, RV 2011, San …, 2012
1252012
Exploiting inductive logic programming techniques for declarative process mining
F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009
1242009
The biggest business process management problems to solve before we die
I Beerepoot, C Di Ciccio, HA Reijers, S Rinderle-Ma, W Bandara, ...
Computers in Industry 146, 103837, 2023
1162023
Resolving inconsistencies and redundancies in declarative process models
C Di Ciccio, FM Maggi, M Montali, J Mendling
Information Systems 64, 425-446, 2017
1132017
Discovering data-aware declarative process models from event logs
FM Maggi, M Dumas, L García-Bañuelos, M Montali
Business Process Management: 11th International Conference, BPM 2013 …, 2013
1092013
Representing and monitoring social commitments using the event calculus
F Chesani, P Mello, M Montali, P Torroni
Autonomous Agents and Multi-Agent Systems 27 (1), 85-130, 2013
992013
Ontology-driven extraction of event logs from relational databases
D Calvanese, M Montali, A Syamsiyah, WMP Van Der Aalst
Business Process Management Workshops: BPM 2015, 13th International …, 2016
982016
Declarative process modeling in BPMN
G De Giacomo, M Dumas, FM Maggi, M Montali
Advanced Information Systems Engineering: 27th International Conference …, 2015
982015
Description logic knowledge and action bases
BB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P Felli
Journal of Artificial Intelligence Research 46, 651-686, 2013
962013
AI-augmented business process management systems: a research manifesto
M Dumas, F Fournier, L Limonad, A Marrella, M Montali, JR Rehse, ...
ACM Transactions on Management Information Systems 14 (1), 1-19, 2023
952023
Monitoring business metaconstraints based on LTL and LDL for finite traces
G De Giacomo, R De Masellis, M Grasso, FM Maggi, M Montali
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014
952014
The system can't perform the operation now. Try again later.
Articles 1–20