Concepedia
Statistics
Publications
60
Citations
2.7K
H-Index
27
Active since
2006
Affiliations
Free University of Bozen-Bolzano(Current)
University of Bologna
Sapienza University of Rome
University of Tartu
Eindhoven University of Technology
Marco Montali is an author at Free University of Bozen-Bolzano specializing in computer science, computing, and formal methods.
Publications per year
2006–2024
Declarative specification and verification of service choreographiess
Marco Montali, Maja Pešić, Wil M. P. van der Aalst et al. · ACM Transactions on the Web · 2010 · 238 citations
Computing, Computer Science, Computer Systems +16
Compliance monitoring in business processes: Functionalities, application, and tool-support
Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali et al. · Information Systems · 2015 · 189 citations · Full text
Business, Management Information Systems, Business Process Management +14
Verification of relational data-centric dynamic systems with external services
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo et al. · 2013 · 166 citations
Computing, Computer Science, Computer Systems +12
The biggest business process management problems to solve before we die
Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers et al. · Computers in Industry · 2023 · 156 citations · Full text
Business, Information Systems, Information Technology +13
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 148 citations · Full text
Computing, Computer Science, Formal Methods +14
1–5 of 60