Marco Montali - Google Scholar Citations

Cited by

	All	Since 2014
Citations	4378	3186
h-index	33	27
i10-index	78	59

700

350

175

525

2006200720082009201020112012201320142015201620172018201914 28 51 72 163 141 322 352 408 467 593 485 693 518

Co-authors

Paola MelloProfessore di Informatica, Universita' di BolognaVerified email at unibo.it
Federico ChesaniResearcher, Computer Science, University of BolognaVerified email at unibo.it
Diego CalvaneseProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Paolo TorroniUniversity of BolognaVerified email at unibo.it
Fabrizio MaggiAssociate Professor, University of TartuVerified email at ut.ee
Giuseppe De GiacomoSapienza Università di RomaVerified email at dis.uniroma1.it
Evelina LammaProfessor of Computer Science, University of FerraraVerified email at unife.it
Wil van der AalstRWTH Aachen UniversityVerified email at pads.rwth-aachen.de
Riccardo De MasellisStockholm UniversityVerified email at philosophy.su.se
Marco GavanelliAssociate Professor, Ferrara UniversityVerified email at unife.it
Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di FerraraVerified email at unife.it
Andrey RivkinResearch fellow, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Ario SantosoPostdoctoral Researcher, Department of Computer Science, University of InnsbruckVerified email at uibk.ac.at
Fabrizio RiguzziAssociate Professor of Computer Science, University of FerraraVerified email at unife.it
Fabio PatriziSenior Researcher, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Alin DeutschProfessor of Computer Science, University of California San DiegoVerified email at eng.ucsd.edu
Marlon DumasUniversity of TartuVerified email at ut.ee
Sergio TessarisAssistant Professor of Computer Science, Free University of Bolzen-BolzanoVerified email at inf.unibz.it
Stefano BragagliaResearch Assistant in Computer Science, University of BristolVerified email at bristol.ac.uk
Stefanie Rinderle-MaProfessor for Computer Science, University of ViennaVerified email at univie.ac.at

Marco Montali

Associate Professor, Free University of Bozen-Bolzano

Verified email at inf.unibz.it - Homepage

Artificial Intelligence Knowledge Representation and Reasoning Formal Methods Business Process Management Data Management


Title	Cited by	Year
Process mining manifesto W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ... International Conference on Business Process Management, 169-194, 2011	775	2011
Declarative specification and verification of service choreographiess M Montali, M Pesic, WMP van der Aalst, F Chesani, P Mello, S Storari ACM Transactions on the Web (TWEB) 4 (1), 3, 2010	223	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	185	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	169	2013
Specification and verification of declarative open interaction models: A logic-based approach M Montali Springer-Verlag New York Inc, 2010	139	2010
Process mining WMP van der Aalst Encyclopedia of Database Systems, 2171-2173, 2009	123	2009
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	112	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	103	2015
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	100	2009
Reasoning on LTL on finite traces: Insensitivity to infiniteness G De Giacomo, R De Masellis, M Montali Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014	93	2014
Monitoring business constraints with the event calculus M Montali, FM Maggi, F Chesani, P Mello, WMP van der Aalst ACM transactions on intelligent systems and technology (TIST) 5 (1), 17, 2013	92	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	73	2013
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	73	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	71	2013
Commitment tracking via the reactive event calculus F Chesani, P Mello, M Montali, P Torroni Twenty-First International Joint Conference on Artificial Intelligence, 2009	68	2009
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	66	2007
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	57	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	55	2013
Declarative process modeling in BPMN G De Giacomo, M Dumas, FM Maggi, M Montali International Conference on Advanced Information Systems Engineering, 84-100, 2015	52	2015
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant L Luccarini, GL Bragadin, G Colombini, M Mancini, P Mello, M Montali, ... Environmental Modelling & Software 25 (5), 648-660, 2010	52	2010

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

Upload PDF

Follow this author

Cited by

Co-authors