MONTALI, MARCO
MONTALI, MARCO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
AI-Augmented Business Process Management Systems: A Research Manifesto
2023 Dumas, Marlon; Fournier, Fabiana; Limonad, Lior; Marrella, Andrea; Montali, Marco; Rehse, Jana-Rebecca; Accorsi, Rafael; Calvanese, Diego; De Giacomo, Giuseppe; Fahland, Dirk; Gal, Avigdor; Rosa, Marcello La; Völzer, Hagen; Weber, Ingo
Aligning Data-Aware Declarative Process Models and Event Logs
2021 Bergami, Giacomo; Maggi, Fabrizio M.; Marrella, Andrea; Montali, Marco
An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases
2023 Riva, F.; Benvenuti, D.; Maggi, F. M.; Marrella, A.; Montali, M.
Declarative Process Specifications: Reasoning, Discovery, Monitoring
2022 Di Ciccio, C.; Montali, M.
Ensuring model consistency in declarative process discovery
2015 DI CICCIO, Claudio; Maggi, FABRIZIO MARIA; Montali, Marco; Mendling, Jan
First-order μ-calculus over generic transition systems and applications to the situation calculus
2018 Calvanese, Diego; DE GIACOMO, Giuseppe; Montali, Marco; Patrizi, Fabio
From zero to hero: A process mining tutorial
2017 Janes, Andrea; Maggi, Fabrizio Maria; Marrella, Andrea; Montali, Marco
Modeling and In-Database Management of Relational, Data-Aware Processes
2019 Calvanese, D.; Montali, M.; Patrizi, F.; Rivkin, A.
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach
2023 Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; Rivkin, A.
Multi-model monitoring framework for hybrid process specifications
2022 Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; Rivkin, A.
On the relevance of a business constraint to an event log
2018 Di Ciccio, C.; Maggi, F. M.; Montali, M.; Mendling, J.
Resolving inconsistencies and redundancies in declarative process models
2017 Di Ciccio, C.; Maggi, F. M.; Montali, M.; Mendling, J.
RuM: Declarative Process Mining, Distilled
2021 Alman, Anti; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Montali, Marco; van der Aa, Han
Semantical Vacuity Detection in Declarative Process Mining
2016 Maggi, FABRIZIO MARIA; Montali, Marco; DI CICCIO, Claudio; Mendling, Jan
The biggest business process management problems to solve before we die
2023 Beerepoot, Iris; DI CICCIO, Claudio; Reijers, Hajo A.; Rinderle-Ma, Stefanie; Bandara, Wasana; Burattin, Andrea; Calvanese, Diego; Chen, Tianwa; Cohen, Izack; Depaire, Benoît; Di Federico, Gemma; Dumas, Marlon; van Dun, Christopher; Fehrer, Tobias; Fischer, Dominik A.; Gal, Avigdor; Indulska, Marta; Isahagian, Vatche; Klinkmüller, Christopher; Kratsch, Wolfgang; Leopold, Henrik; Van Looy, Amy; Lopez, Hugo; Lukumbuzya, Sanja; Mendling, Jan; Meyers, Lara; Moder, Linda; Montali, Marco; Muthusamy, Vinod; Reichert, Manfred; Rizk, Yara; Rosemann, Michael; Röglinger, Maximilian; Sadiq, Shazia; Seiger, Ronny; Slaats, Tijs; Simkus, Mantas; Asadi Someh, Ida; Weber, Barbara; Weber, Ingo; Weske, Mathias; Zerbato, Francesca
Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces
2022 Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| AI-Augmented Business Process Management Systems: A Research Manifesto | 2023 | Dumas, Marlon; Fournier, Fabiana; Limonad, Lior; Marrella, Andrea; Montali, Marco; Rehse, Jana-Rebecca; Accorsi, Rafael; Calvanese, Diego; De Giacomo, Giuseppe; Fahland, Dirk; Gal, Avigdor; Rosa, Marcello La; Völzer, Hagen; Weber, Ingo | |
| Aligning Data-Aware Declarative Process Models and Event Logs | 2021 | Bergami, Giacomo; Maggi, Fabrizio M.; Marrella, Andrea; Montali, Marco | |
| An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases | 2023 | Riva, F.; Benvenuti, D.; Maggi, F. M.; Marrella, A.; Montali, M. | |
| Declarative Process Specifications: Reasoning, Discovery, Monitoring | 2022 | Di Ciccio, C.; Montali, M. | |
| Ensuring model consistency in declarative process discovery | 2015 | DI CICCIO, Claudio; Maggi, FABRIZIO MARIA; Montali, Marco; Mendling, Jan | |
| First-order μ-calculus over generic transition systems and applications to the situation calculus | 2018 | Calvanese, Diego; DE GIACOMO, Giuseppe; Montali, Marco; Patrizi, Fabio | |
| From zero to hero: A process mining tutorial | 2017 | Janes, Andrea; Maggi, Fabrizio Maria; Marrella, Andrea; Montali, Marco | |
| Modeling and In-Database Management of Relational, Data-Aware Processes | 2019 | Calvanese, D.; Montali, M.; Patrizi, F.; Rivkin, A. | |
| Monitoring hybrid process specifications with conflict management: An automata-theoretic approach | 2023 | Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; Rivkin, A. | |
| Multi-model monitoring framework for hybrid process specifications | 2022 | Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; Rivkin, A. | |
| On the relevance of a business constraint to an event log | 2018 | Di Ciccio, C.; Maggi, F. M.; Montali, M.; Mendling, J. | |
| Resolving inconsistencies and redundancies in declarative process models | 2017 | Di Ciccio, C.; Maggi, F. M.; Montali, M.; Mendling, J. | |
| RuM: Declarative Process Mining, Distilled | 2021 | Alman, Anti; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Montali, Marco; van der Aa, Han | |
| Semantical Vacuity Detection in Declarative Process Mining | 2016 | Maggi, FABRIZIO MARIA; Montali, Marco; DI CICCIO, Claudio; Mendling, Jan | |
| The biggest business process management problems to solve before we die | 2023 | Beerepoot, Iris; DI CICCIO, Claudio; Reijers, Hajo A.; Rinderle-Ma, Stefanie; Bandara, Wasana; Burattin, Andrea; Calvanese, Diego; Chen, Tianwa; Cohen, Izack; Depaire, Benoît; Di Federico, Gemma; Dumas, Marlon; van Dun, Christopher; Fehrer, Tobias; Fischer, Dominik A.; Gal, Avigdor; Indulska, Marta; Isahagian, Vatche; Klinkmüller, Christopher; Kratsch, Wolfgang; Leopold, Henrik; Van Looy, Amy; Lopez, Hugo; Lukumbuzya, Sanja; Mendling, Jan; Meyers, Lara; Moder, Linda; Montali, Marco; Muthusamy, Vinod; Reichert, Manfred; Rizk, Yara; Rosemann, Michael; Röglinger, Maximilian; Sadiq, Shazia; Seiger, Ronny; Slaats, Tijs; Simkus, Mantas; Asadi Someh, Ida; Weber, Barbara; Weber, Ingo; Weske, Mathias; Zerbato, Francesca | |
| Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces | 2022 | Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F. |