Marco Montali

Cited by

	All	Since 2017
Citations	6326	3617
h-index	38	27
i10-index	100	68

720

360

180

540

200720082009201020112012201320142015201620172018201920202021202229 59 75 157 138 300 318 415 472 609 493 677 710 686 709 336

Public access

View all

26 articles

1 article

available

not available

Based on funding mandates

Co-authors

Paola MelloProfessore di Informatica, Universita' di BolognaVerified email at unibo.it
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Federico ChesaniResearcher, Computer Science, University of BolognaVerified email at unibo.it
Fabrizio MaggiAssociate Professor, Free University of Bozen-BolzanoVerified email at ut.ee
Paolo TorroniUniversity of BolognaVerified email at unibo.it
Giuseppe De GiacomoSapienza Università di RomaVerified email at diag.uniroma1.it
Andrey RivkinPostdoctoral researcher, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Evelina LammaProfessor of Computer Science, University of FerraraVerified email at unife.it
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
Riccardo De MasellisUppsala UniversityVerified email at it.uu.se
Alessandro GianolaFree University of Bozen-BolzanoVerified email at inf.unibz.it
Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di FerraraVerified email at unife.it
Marco GavanelliAssociate Professor, Ferrara UniversityVerified email at unife.it
Paolo FelliFree University of Bozen-BolzanoVerified email at unibz.it
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Ario SantosoPostdoctoral Researcher, Department of Computer Science, University of InnsbruckVerified email at uibk.ac.at
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Fabrizio RiguzziFull Professor of Computer Science, University of FerraraVerified email at unife.it
Marlon DumasProfessor at University of Tartu | Co-founder at ApromoreVerified email at ut.ee
Sergio TessarisAssistant Professor of Computer Science, Free University of Bolzen-BolzanoVerified email at inf.unibz.it

Marco Montali

Full Professor, Free University of Bozen-Bolzano

Verified email at inf.unibz.it - Homepage

Artificial Intelligence Business Process Management Knowledge Representation and Reasoning Verification Process Mining


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Process mining manifesto W Aalst, A Adriansyah, AKA Medeiros, F Arcieri, T Baier, T Blickle, ... International conference on business process management, 169-194, 2011	1388	2011
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	270	2010
Monitoring business constraints with linear temporal logic: An approach based on colored automata FM Maggi, M Montali, M Westergaard, WMP Van Der Aalst International Conference on Business Process Management, 132-147, 2011	242	2011
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	198	2013
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	185	2015
Specification and verification of declarative open interaction models: A logic-based approach M Montali Springer-Verlag New York Inc, 2010	172	2010
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	151	2013
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	132	2014
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	126	2014
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, 278-295, 2009	112	2009
Runtime verification of LTL-based declarative process models FM Maggi, M Westergaard, M Montali, WMP van der Aalst International Conference on Runtime Verification, 131-146, 2011	101	2011
Discovering data-aware declarative process models from event logs FM Maggi, M Dumas, L García-Bañuelos, M Montali Business Process Management, 81-96, 2013	93	2013
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	90	2013
Declarative process modeling in BPMN GD Giacomo, M Dumas, FM Maggi, M Montali International conference on advanced information systems engineering, 84-100, 2015	84	2015
Inducing declarative logic-based models from labeled traces E Lamma, P Mello, M Montali, F Riguzzi, S Storari International Conference on Business Process Management, 344-359, 2007	83	2007
Commitment tracking via the reactive event calculus F Chesani, P Mello, M Montali, P Torroni Twenty-First International Joint Conference on Artificial Intelligence, 2009	73	2009
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	72	2013
Towards data-aware constraints in declare M Montali, F Chesani, P Mello, FM Maggi Proceedings of the 28th annual ACM symposium on applied computing, 1391-1396, 2013	72	2013
Resolving inconsistencies and redundancies in declarative process models C Di Ciccio, FM Maggi, M Montali, J Mendling Information Systems 64, 425-446, 2017	71	2017
Ontology-driven extraction of event logs from relational databases D Calvanese, M Montali, A Syamsiyah, WMP van der Aalst International Conference on Business Process Management, 140-153, 2016	65	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors