Marco Montali

Cited by

	All	Since 2018
Citations	7975	4737
h-index	42	33
i10-index	135	95

1200

600

300

900

2007200820092010201120122013201420152016201720182019202020212022202329 55 71 162 133 294 325 428 505 591 503 698 685 692 703 1101 847

Public access

View all

41 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Paola MelloProfessore di Informatica, Universita' di BolognaVerified email at unibo.it
Federico ChesaniResearcher, Computer Science, University of BolognaVerified email at unibo.it
Fabrizio MaggiAssociate Professor, Free University of Bozen-BolzanoVerified email at ut.ee
Andrey RivkinAssistant professor (tenure track), Technical University of DenmarkVerified email at dtu.dk
Paolo TorroniUniversity of BolognaVerified email at unibo.it
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
Alessandro GianolaInstituto Superior Técnico, University of LisbonVerified email at tecnico.ulisboa.pt
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
Evelina LammaProfessor of Computer Science, University of FerraraVerified email at unife.it
Paolo FelliUniversity of BolognaVerified email at unibo.it
Riccardo De MasellisVerified email at it.uu.se
Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di FerraraVerified email at unife.it
Marco GavanelliAssociate Professor, Ferrara UniversityVerified email at unife.it
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Ario SantosoPostdoctoral Researcher, Department of Computer Science, University of InnsbruckVerified email at uibk.ac.at
Sergio TessarisAssistant Professor of Computer Science, Free University of Bolzen-BolzanoVerified email at inf.unibz.it
Marlon DumasProfessor at University of Tartu | Co-founder at ApromoreVerified email at ut.ee
Fabrizio RiguzziFull Professor of Computer Science, University of FerraraVerified email at unife.it

Marco Montali

Full Professor, Free University of Bozen-Bolzano

Verified email at inf.unibz.it - Homepage

Artificial Intelligence Business Process Management Knowledge Representation Verification Process Mining


Title Sort by citations Sort by year Sort by 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	1769	2012
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	291	2010
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	270	2011
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	234	2015
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	214	2013
Specification and verification of declarative open interaction models: A logic-based approach M Montali Springer-Verlag New York Inc, 2010	186	2010
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	170	2014
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	169	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	152	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: Special Issue …, 2009	118	2009
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	115	2012
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	105	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	98	2013
Resolving inconsistencies and redundancies in declarative process models C Di Ciccio, FM Maggi, M Montali, J Mendling Information Systems 64, 425-446, 2017	90	2017
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	88	2016
Inducing declarative logic-based models from labeled traces E Lamma, P Mello, M Montali, F Riguzzi, S Storari Business Process Management: 5th International Conference, BPM 2007 …, 2007	88	2007
Declarative process modeling in BPMN G De Giacomo, M Dumas, FM Maggi, M Montali Advanced Information Systems Engineering: 27th International Conference …, 2015	87	2015
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	85	2013
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	80	2014
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	79	2013

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

Cited by

Co-authors