World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
42
Citations
8055
World Ranking
8335
National Ranking
229

Overview

Marco Montali is affiliated with the Free University of Bozen-Bolzano in Italy. Their work is situated primarily within computer science, with significant contributions also to the field of business, management, and accounting.

Their research spans several subfields, including:

  • Management Information Systems
  • Artificial Intelligence
  • Information Systems
  • Computational Theory and Mathematics
  • Computer Networks and Communications

Montali's main topics of study include:

  • Business Process Modeling and Analysis
  • Service-Oriented Architecture and Web Services
  • Semantic Web and Ontologies
  • Petri Nets in System Modeling
  • Formal Methods in Verification
  • Advanced Database Systems and Queries
  • Logic, Reasoning, and Knowledge

Frequent co-authors collaborating with Montali are:

  • Fabrizio Maria Maggi
  • Alessandro Gianola
  • Andrey Rivkin
  • Sarah Winkler
  • Paolo Felli

Montali has published extensively in various venues, notably:

  • arXiv (Cornell University)
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Information Systems
  • Fundamenta Informaticae
  • SSRN Electronic Journal

Among Montali's recently published papers are:

  • "The biggest business process management problems to solve before we die," 2023, Computers in Industry
  • "AI-augmented Business Process Management Systems: A Research Manifesto," 2023, ACM Transactions on Management Information Systems
  • "Petri net-based object-centric processes with read-only data," 2022, Information Systems
  • "SMT-based verification of data-aware processes: a model-theoretic approach," 2020, Mathematical Structures in Computer Science
  • "Probabilistic Trace Alignment," 2021, BOA (University of Milano-Bicocca)

In addition to journal and conference publications, Montali has contributed to book publications with Springer Science+Business Media, including:

  • Process Mining Workshops (2023)
  • Enterprise Design, Operations, and Computing (2022)
  • Enterprise Design, Operations, and Computing. EDOC 2022 Workshops (2023)

Best Publications

  • Process Mining Manifesto

    Wil van der Aalst;Wil van der Aalst;Arya Adriansyah;Ana Karla Alves de Medeiros;Franco Arcieri

  • Declarative specification and verification of service choreographiess

    Marco Montali;Maja Pesic;Wil M. P. van der Aalst;Federico Chesani

  • Monitoring business constraints with linear temporal logic: an approach based on colored automata

    Fabrizio Maria Maggi;Marco Montali;Michael Westergaard;Wil M. P. Van Der Aalst

  • Verification of relational data-centric dynamic systems with external services

    Babak Bagheri Hariri;Diego Calvanese;Giuseppe De Giacomo;Alin Deutsch

  • Compliance monitoring in business processes

    Linh Thao Ly;Fabrizio Maria Maggi;Marco Montali;Stefanie Rinderle-Ma

  • Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

    Marco Montali

  • Reasoning on LTL on finite traces: insensitivity to infiniteness

    Giuseppe De Giacomo;Riccardo De Masellis;Marco Montali

  • Foundations of data-aware process analysis: a database theory perspective

    Diego Calvanese;Giuseppe De Giacomo;Marco Montali

  • The biggest business process management problems to solve before we die

    Unknown

  • Monitoring business constraints with the event calculus

    Marco Montali;Fabrizio M. Maggi;Federico Chesani;Paola Mello

  • Specification and Verification of Declarative Open Interaction Models

    Marco Montali

  • Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

    Federico Chesani;Evelina Lamma;Paola Mello;Marco Montali

  • Runtime verification of LTL-Based declarative process models

    Fabrizio Maria Maggi;Michael Westergaard;Marco Montali;Wil M. P. van der Aalst

  • Discovering data-aware declarative process models from event logs

    Fabrizio Maria Maggi;Marlon Dumas;Luciano García-Bañuelos;Marco Montali

  • Resolving inconsistencies and redundancies in declarative process models

    Claudio Di Ciccio;Fabrizio Maria Maggi;Marco Montali;Jan Mendling

  • Representing and monitoring social commitments using the event calculus

    Federico Chesani;Paola Mello;Marco Montali;Paolo Torroni

  • Expressing and Verifying Business Contracts with Abductive Logic Programming

    Marco Alberti;Federico Chesani;Marco Gavanelli;Evelina Lamma

  • Declarative Process Modeling in BPMN

    Giuseppe De Giacomo;Marlon Dumas;Fabrizio Maria Maggi;Marco Montali

  • Description logic knowledge and action bases

    Babak Bagheri Hariri;Diego Calvanese;Marco Montali;Giuseppe De Giacomo

  • Inducing declarative logic-based models from labeled traces

    Evelina Lamma;Paola Mello;Marco Montali;Fabrizio Riguzzi

  • Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

    Giuseppe De Giacomo;Riccardo De Masellis;Marco Grasso;Fabrizio Maria Maggi

Frequent Co-Authors

Diego Calvanese
Diego Calvanese Free University of Bozen-Bolzano
Paola Mello
Paola Mello University of Bologna
Fabrizio Maria Maggi
Fabrizio Maria Maggi Free University of Bozen-Bolzano
Paolo Torroni
Paolo Torroni University of Bologna
Giuseppe De Giacomo
Giuseppe De Giacomo Sapienza University of Rome
Wil M. P. van der Aalst
Wil M. P. van der Aalst RWTH Aachen University
Marlon Dumas
Marlon Dumas University of Tartu
Parosh Aziz Abdulla
Parosh Aziz Abdulla Uppsala University
Jan Mendling
Jan Mendling Humboldt-Universität zu Berlin
Stefanie Rinderle-Ma
Stefanie Rinderle-Ma Technical University of Munich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree in the USA opens the door to a wide range of related online degrees and career paths. For students interested in broadening their skills, many explore fields like engineering or specialized IT certifications. Consider programs from the top online electrical engineering schools to gain a solid background in hardware and systems design—skills highly valued by tech employers.

Alternatively, if you're seeking quick entry into the tech workforce, there are short certificate programs that pay well. These can offer lucrative job opportunities with a minimal time investment. Some students also look for the fastest masters degree online to rapidly build expertise and qualify for advanced roles.

For long-term growth, selecting one of the most useful graduate degrees can provide a significant advantage in the competitive tech job market. Whether you prefer certificates, engineering, or advanced degrees, a well-chosen online program can shape a rewarding career in technology.

Best Scientists Citing Marco Montali

Trending Scientists

Recently Published Articles