Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach. - Nicola Boffoli; Daniela Castelluccia; Fabrizio Maria Maggi; Roberto Rutilo (ENASE, 2008)

Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm. - Nicola Boffoli; Danilo Caivano; Daniela Castelluccia; Fabrizio Maria Maggi; Giuseppe Visaggio (SPLC (2), 2008)

Tacit Suggestions Extraction Process for Consumer-Oriented Services. - Marta Cimitile; Fabrizio Maria Maggi; Gemma Mastelloni; Giuseppe Visaggio (ICDS, 2009)

Managing Business Process Flexibility and Reuse through Business Process Lines. - Nicola Boffoli; Marta Cimitile; Fabrizio Maria Maggi (ICSOFT (2), 2009)

Revising Process Models through Inductive Learning. - Fabrizio Maria Maggi; Domenico Corapi; Alessandra Russo; Emil Lupu; Giuseppe Visaggio (Business Process Management Workshops, 2010)

Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. - Michael Westergaard; Fabrizio Maria Maggi (Petri Nets, 2011)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

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 (BPM, 2011)

Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. - Michael Westergaard; Fabrizio Maria Maggi (BPM (Demos), 2011)

User-guided discovery of declarative process models. - Fabrizio Maria Maggi; Arjan J. Mooij; Wil M. P. van der Aalst (CIDM, 2011)

Runtime Verification of LTL-Based Declarative Process Models. - Fabrizio Maria Maggi; Michael Westergaard; Marco Montali; Wil M. P. van der Aalst (RV, 2011)

Aligning Event Logs and Declarative Process Models for Conformance Checking. - Massimiliano de Leoni; Fabrizio Maria Maggi; Wil M. P. van der Aalst (BPM, 2012)

Efficient Discovery of Understandable Declarative Process Models from Event Logs. - Fabrizio Maria Maggi; R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (CAiSE, 2012)

Using Declarative Workflow Languages to Develop Process-Centric Web Applications. - Mario Luca Bernardi; Marta Cimitile; Giuseppe A. Di Lucca; Fabrizio Maria Maggi (EDOC Workshops, 2012)

Techniques for a Posteriori Analysis of Declarative Processes. - Andrea Burattin; Fabrizio Maria Maggi; Wil M. P. van der Aalst; Alessandro Sperduti (EDOC, 2012)

An Operational Decision Support Framework for Monitoring Business Constraints. - Fabrizio Maria Maggi; Marco Montali; Wil M. P. van der Aalst (FASE, 2012)

Model Driven Development of Process-centric Web Applications. - Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (ICSOFT, 2012)

Patterns for a Log-Based Strengthening of Declarative Compliance Models. - Dennis M. M. Schunselaar; Fabrizio Maria Maggi; Natalia Sidorova (IFM, 2012)

Configurable Declare: Designing Customisable Flexible Process Models. - Dennis M. M. Schunselaar; Fabrizio Maria Maggi; Natalia Sidorova; Wil M. P. van der Aalst (OTM Conferences (1), 2012)

Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models. - Michael Westergaard; Fabrizio Maria Maggi (OTM Conferences (1), 2012)

M3D: a tool for the model driven development of web applications. - Mario Luca Bernardi; Marta Cimitile; Giuseppe A. Di Lucca; Fabrizio Maria Maggi (WIDM, 2012)

Development of flexible process-centric web applications: An integrated model driven approach. - Mario Luca Bernardi; Marta Cimitile; Giuseppe A. Di Lucca; Fabrizio Maria Maggi (WSE, 2012)

Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. - Eugenio Zimeo; Valentina Mazza; Giorgio Orsi 001; Elisa Quintarelli; Antonio Romano; Paola Spoletini; Giancarlo Tretola; Alessandro Amirante; Alessio Botta; Luca Cavallaro; Domenico Consoli; Ester Giallonardo; et al. (ArtDeco, 2012)

Analyzing Vessel Behavior Using Process Mining. - Fabrizio Maria Maggi; Arjan J. Mooij; Wil M. P. van der Aalst (Situation Awareness with Systems of Systems, 2013)

Enhancing Declare Maps Based on Event Correlations. - R. P. Jagadeesh Chandra Bose; Fabrizio Maria Maggi; Wil M. P. van der Aalst (BPM, 2013)

Declarative Process Mining with the Declare Component of ProM. - Fabrizio Maria Maggi (BPM (Demos), 2013)

Discovering Data-Aware Declarative Process Models from Event Logs. - Fabrizio Maria Maggi; Marlon Dumas; Luciano García-Bañuelos; Marco Montali (BPM, 2013)

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps. - Fabrizio Maria Maggi; R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (CAiSE, 2013)

Smart technologies for long-term stress monitoring at work. - Rafal Kocielnik; Natalia Sidorova; Fabrizio Maria Maggi; Martin Ouwerkerk; Joyce H. D. M. Westerink (CBMS, 2013)

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches. - Linh Thao Ly; Fabrizio Maria Maggi; Marco Montali; Stefanie Rinderle-Ma; Wil M. P. van der Aalst (EDOC, 2013)

Process Lines for Automatic Workflow Development. - Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (ICSOFT, 2013)

Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative Process Models. - Fabrizio Maria Maggi; Andrea Burattin; Marta Cimitile; Alessandro Sperduti (OTM Conferences, 2013)

Enabling self-reflection with LifelogExplorer: Generating simple views from complex data. - Rafal Kocielnik; Fabrizio Maria Maggi; Natalia Sidorova (PervasiveHealth, 2013)

Towards data-aware constraints in declare. - Marco Montali; Federico Chesani; Paola Mello; Fabrizio Maria Maggi (SAC, 2013)

Monitoring business constraints with the event calculus. - Marco Montali; Fabrizio Maria Maggi; Federico Chesani; Paola Mello; Wil M. P. van der Aalst (ACM Trans. Intell. Syst. Technol., 2013)

Modelling Sound Conflict Management for Virtual-Enterprise Collaboration. - Nanjangud C. Narendra; Alexander Norta; Msury Mahunnah; Fabrizio Maria Maggi (IEEE SCC, 2014)

Discovering Metric Temporal Business Constraints from Event Logs. - Fabrizio Maria Maggi (BIR, 2014)

Lights, Camera, Action! Business Process Movies for Online Process Discovery. - Andrea Burattin; Marta Cimitile; Fabrizio Maria Maggi (Business Process Management Workshops, 2014)

Discovering Target-Branched Declare Constraints. - Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (BPM, 2014)

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Grasso; Fabrizio Maria Maggi; Marco Montali (BPM, 2014)

The Automated Discovery of Hybrid Processes. - Fabrizio Maria Maggi; Tijs Slaats; Hajo A. Reijers (BPM, 2014)

Predictive Monitoring of Business Processes. - Fabrizio Maria Maggi; Chiara Di Francescomarino; Marlon Dumas; Chiara Ghidini (CAiSE, 2014)

Discovering cross-organizational business rules from the cloud. - Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (CIDM, 2014)

Monitoring data-aware business constraints with finite state automata. - Riccardo De Masellis; Fabrizio Maria Maggi; Marco Montali (ICSSP, 2014)

Mining Business Process Deviance: A Quest for Accuracy. - Hoang Nguyen; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Suriadi Suriadi (OTM Conferences, 2014)

Log-Based Understanding of Business Processes through Temporal Logic Query Checking. - Margus Räim; Claudio Di Ciccio; Fabrizio Maria Maggi; Massimo Mecella; Jan Mendling (OTM Conferences, 2014)

Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities. - Mario Luca Bernardi; Marta Cimitile; Chiara Di Francescomarino; Fabrizio Maria Maggi (RuleML, 2014)

LTLf and LDLf Monitoring: A Technical Report. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Grasso; Fabrizio Maria Maggi; Marco Montali (CoRR, 2014)

Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models. - Fabrizio Maria Maggi; Michael Westergaard (Int. J. Cooperative Inf. Syst., 2014)

Evidence-Based Business Process Management. - Marlon Dumas; Fabrizio Maria Maggi (The Complete Business Process Handbook, Vol. I, 2015)

Business Process Trends. - Mark von Rosing; August-Wilhelm Scheer; Henrik von Scheel; Adam D. M. Svendsen; Alex Kokkonen; Andrew M. Ross; Anette Falk Bøgebjerg; Anni Olsen; Antony Dicks; Asif Qumer Gill; Bas Bach; Bob J. Storms; et al. (The Complete Business Process Handbook, Vol. I, 2015)

Enabling Process Innovation via Deviance Mining and Predictive Monitoring. - Marlon Dumas; Fabrizio Maria Maggi (BPM, 2015)

Ensuring Model Consistency in Declarative Process Discovery. - Claudio Di Ciccio; Fabrizio Maria Maggi; Marco Montali; Jan Mendling (BPM, 2015)

A ProM Operational Support Provider for Predictive Monitoring of Business Processes. - Marco Federici; Williams Rizzi; Chiara Di Francescomarino; Marlon Dumas; Chiara Ghidini; Fabrizio Maria Maggi; Irene Teinemaa (BPM (Demos), 2015)

Complex Symbolic Sequence Encodings for Predictive Monitoring of Business Processes. - Anna Leontjeva; Raffaele Conforti; Chiara Di Francescomarino; Marlon Dumas; Fabrizio Maria Maggi (BPM, 2015)

Complex Symbolic Sequence Clustering and Multiple Classifiers for Predictive Process Monitoring. - Ilya Verenich; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Chiara Di Francescomarino (Business Process Management Workshops, 2015)

Generating Event Logs Through the Simulation of Declare Models. - Claudio Di Ciccio; Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (EOMAS@CAiSE, 2015)

Declarative Process Modeling in BPMN. - Giuseppe De Giacomo; Marlon Dumas; Fabrizio Maria Maggi; Marco Montali (CAiSE, 2015)

Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules. - Amin Jalali 001; Fabrizio Maria Maggi; Hajo A. Reijers (ER, 2015)

Declarative process mining in healthcare. - Marcella Rovani; Fabrizio Maria Maggi; Massimiliano de Leoni; Wil M. P. van der Aalst (Expert Syst. Appl., 2015)

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. - Massimiliano de Leoni; Fabrizio Maria Maggi; Wil M. P. van der Aalst (Inf. Syst., 2015)

Compliance monitoring in business processes: Functionalities, application, and tool-support. - Linh Thao Ly; Fabrizio Maria Maggi; Marco Montali; Stefanie Rinderle-Ma; Wil M. P. van der Aalst (Inf. Syst., 2015)

Online Discovery of Declarative Process Models from Event Streams. - Andrea Burattin; Marta Cimitile; Fabrizio Maria Maggi; Alessandro Sperduti (IEEE Trans. Serv. Comput., 2015)

Computing Trace Alignment against Declarative Process Models through Planning. - Giuseppe De Giacomo; Fabrizio Maria Maggi; Andrea Marrella; Sebastian Sardiña (ICAPS, 2016)

A Tool for the Analysis of DMN Decision Tables. - Ülari Laurson; Fabrizio Maria Maggi (BPM (Demos), 2016)

Semantical Vacuity Detection in Declarative Process Mining. - Fabrizio Maria Maggi; Marco Montali; Claudio Di Ciccio; Jan Mendling (BPM, 2016)

Predictive Business Process Monitoring with Structured and Unstructured Data. - Irene Teinemaa; Marlon Dumas; Fabrizio Maria Maggi; Chiara Di Francescomarino (BPM, 2016)

Predictive Business Process Monitoring Framework with Hyperparameter Optimization. - Chiara Di Francescomarino; Marlon Dumas; Marco Federici; Chiara Ghidini; Fabrizio Maria Maggi; Williams Rizzi (CAiSE, 2016)

Business Process Performance Mining with Staged Process Flows. - Hoang Nguyen; Marlon Dumas; Arthur H. M. ter Hofstede; Marcello La Rosa; Fabrizio Maria Maggi (CAiSE, 2016)

Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering. - Ilya Verenich; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Chiara Di Francescomarino (CAiSE, 2016)

Apriori and Sequence Analysis for Discovering Declarative Process Models. - Taavi Kala; Fabrizio Maria Maggi; Claudio Di Ciccio; Chiara Di Francescomarino (EDOC, 2016)

Declarative Process Models: Different Ways to Be Hierarchical. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (ICSOC, 2016)

Discovery of Multi-perspective Declarative Process Models. - Stefan Schönig; Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (ICSOC, 2016)

The Semantics of Hybrid Process Models. - Tijs Slaats; Dennis M. M. Schunselaar; Fabrizio Maria Maggi; Hajo A. Reijers (OTM Conferences, 2016)

Automated development of constraint-driven web applications. - Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (SAC, 2016)

Business Process Deviance Mining: Review and Evaluation. - Hoang Nguyen; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Suriadi Suriadi (CoRR, 2016)

Selected Topics on Business Informatics Research: Editorial Introduction to Issue 6 of CSIMQ. - Fabrizio Maria Maggi; Raimundas Matulevicius (Complex Syst. Informatics Model. Q., 2016)

Conformance checking based on multi-perspective declarative process models. - Andrea Burattin; Fabrizio Maria Maggi; Alessandro Sperduti (Expert Syst. Appl., 2016)

Do activity lifecycles affect the validity of a business rule in a business process? - Mario Luca Bernardi; Marta Cimitile; Chiara Di Francescomarino; Fabrizio Maria Maggi (Inf. Syst., 2016)

Efficient discovery of Target-Branched Declare constraints. - Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (Inf. Syst., 2016)

Sound conflict management and resolution for virtual-enterprise collaborations. - Nanjangud C. Narendra; Alex Norta; Msury Mahunnah; Lixin Ma; Fabrizio Maria Maggi (Serv. Oriented Comput. Appl., 2016)

On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. - Giuseppe De Giacomo; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (AAAI, 2017)

An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring. - Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi; Giulio Petrucci; Anton Yeshchenko (BPM, 2017)

Nirdizati: A Web-Based Tool for Predictive Process Monitoring. - Kerwin Jorbina; Andrii Rozumnyi; Ilya Verenich; Chiara Di Francescomarino; Marlon Dumas; Chiara Ghidini; Fabrizio Maria Maggi; Marcello La Rosa; Simon Raboczi (BPM (Demos), 2017)

Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions. - Arik Senderovich; Chiara Di Francescomarino; Chiara Ghidini; Kerwin Jorbina; Fabrizio Maria Maggi (BPM, 2017)

Mining Business Process Stages from Event Logs. - Hoang Nguyen; Marlon Dumas; Arthur H. M. ter Hofstede; Marcello La Rosa; Fabrizio Maria Maggi (CAiSE, 2017)

Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Arne Laponin; Fabrizio Maria Maggi (EDOC, 2017)

From Zero to Hero: A Process Mining Tutorial. - Andrea Janes; Fabrizio Maria Maggi; Andrea Marrella; Marco Montali (PROFES, 2017)

Semantic DMN: Formalizing Decision Models with Domain Knowledge. - Diego Calvanese; Marlon Dumas; Fabrizio Maria Maggi; Marco Montali (RuleML+RR, 2017)

Designing software for operational decision support through coloured Petri nets. - Fabrizio Maria Maggi; Michael Westergaard (Enterp. Inf. Syst., 2017)

Semantics and Analysis of DMN Decision Tables. - Diego Calvanese; Marlon Dumas; Ülari Laurson; Fabrizio Maria Maggi; Marco Montali; Irene Teinemaa (EMISA Forum, 2017)

Resolving inconsistencies and redundancies in declarative process models. - Claudio Di Ciccio; Fabrizio Maria Maggi; Marco Montali; Jan Mendling (Inf. Syst., 2017)

A Comparative Evaluation of Log-Based Process Performance Analysis Techniques. - Fredrik Milani; Fabrizio Maria Maggi (BIS, 2018)

Mining Hybrid Business Process Models: A Quest for Better Precision. - Dennis M. M. Schunselaar; Tijs Slaats; Fabrizio Maria Maggi; Hajo A. Reijers; Wil M. P. van der Aalst (BIS, 2018)

Predictive Process Monitoring Methods: Which One Suits Me Best? - Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi; Fredrik Milani (BPM, 2018)

Correlating Activation and Target Conditions in Data-Aware Declarative Process Discovery. - Volodymyr Leno; Marlon Dumas; Fabrizio Maria Maggi (BPM, 2018)

A Tool for Generating Event Logs from Multi-Perspective Declare Models. - Vasyl Skydanienko; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (BPM (Dissertation/Demos/Industry), 2018)

Alarm-Based Prescriptive Process Monitoring. - Irene Teinemaa; Niek Tax; Massimiliano de Leoni; Marlon Dumas; Fabrizio Maria Maggi (BPM (Forum), 2018)

Predictive Process Monitoring in Apromore. - Ilya Verenich; Stanislav Mõskovski; Simon Raboczi; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi (CAiSE Forum, 2018)

Explaining Non-compliance of Business Process Models Through Automated Planning. - Fabrizio Maria Maggi; Andrea Marrella; Giuseppe Capezzuto; Abel Armas-Cervantes (ICSOC, 2018)

Discovering process maps from event streams. - Volodymyr Leno; Abel Armas-Cervantes; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi (ICSSP, 2018)

Foundations of Prescriptive Process Monitoring. - Irene Teinemaa; Niek Tax; Massimiliano de Leoni; Marlon Dumas; Fabrizio Maria Maggi (CoRR, 2018)

A User Evaluation of Automated Process Discovery Algorithms. - Fabrizio Maria Maggi; Andrea Marrella; Fredrik Milani; Allar Soo; Silva Kasela (CoRR, 2018)

Temporal stability in predictive process monitoring. - Irene Teinemaa; Marlon Dumas; Anna Leontjeva; Fabrizio Maria Maggi (Data Min. Knowl. Discov., 2018)

Semantics, Analysis and Simplification of DMN Decision Tables. - Diego Calvanese; Marlon Dumas; Ülari Laurson; Fabrizio Maria Maggi; Marco Montali; Irene Teinemaa (Inf. Syst., 2018)

On the relevance of a business constraint to an event log. - Claudio Di Ciccio; Fabrizio Maria Maggi; Marco Montali; Jan Mendling (Inf. Syst., 2018)

Genetic algorithms for hyperparameter optimization in predictive business process monitoring. - Chiara Di Francescomarino; Marlon Dumas; Marco Federici; Chiara Ghidini; Fabrizio Maria Maggi; Williams Rizzi; Luca Simonetto (Inf. Syst., 2018)

Parallel algorithms for the automated discovery of declarative process models. - Fabrizio Maria Maggi; Claudio Di Ciccio; Chiara Di Francescomarino; Taavi Kala (Inf. Syst., 2018)

A hybrid approach for aspect-oriented business process modeling. - Amin Jalali 001; Fabrizio Maria Maggi; Hajo A. Reijers (J. Softw. Evol. Process., 2018)

Action Logger: Enabling Process Mining for Robotic Process Automation. - Volodymyr Leno; Artem Polyvyanyy; Marcello La Rosa; Marlon Dumas; Fabrizio Maria Maggi (BPM (PhD/Demos), 2019)

Nirdizati 2.0: New Features and Redesigned Backend. - Williams Rizzi; Luca Simonetto; Chiara Di Francescomarino; Chiara Ghidini; Tõnis Kasekamp; Fabrizio Maria Maggi (BPM (PhD/Demos), 2019)

Achieving GDPR Compliance of BPMN Process Models. - Simone Agostinelli; Fabrizio Maria Maggi; Andrea Marrella; Francesco Sapio (CAiSE Forum, 2019)

Fifty Shades of Green: How Informative is a Compliant Process Trace? - Andrea Burattin; Giancarlo Guizzardi; Fabrizio Maria Maggi; Marco Montali (CAiSE, 2019)

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Vasyl Skydanienko; Sergio Tessaris (CILC, 2019)

Verifying Petri Net-Based Process Models using Automated Planning. - Simone Agostinelli; Fabrizio Maria Maggi; Andrea Marrella; Massimo Mecella (EDOC Workshops, 2019)

A User Evaluation of Process Discovery Algorithms in a Software Engineering Company. - Simone Agostinelli; Fabrizio Maria Maggi; Andrea Marrella; Fredrik Milani (EDOC, 2019)

Compliance Monitoring of Multi-Perspective Declarative Process Models. - Fabrizio Maria Maggi; Marco Montali; Ubaier Bhat (EDOC, 2019)

Evaluating coding behavior in software development processes: a process mining approach. - Pasquale Ardimento; Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (ICSSP, 2019)

Triage of IoT Attacks Through Process Mining. - Simone Coltellese; Fabrizio Maria Maggi; Andrea Marrella; Luca Massarelli; Leonardo Querzoni (OTM Conferences, 2019)

Probabilistic Temporal Logic over Finite Traces (Technical Report). - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (CoRR, 2019)

Stage-based discovery of business process models from event logs. - Hoang Nguyen; Marlon Dumas; Arthur H. M. ter Hofstede; Marcello La Rosa; Fabrizio Maria Maggi (Inf. Syst., 2019)

From knowledge-driven to data-driven inter-case feature encoding in predictive process monitoring. - Arik Senderovich; Chiara Di Francescomarino; Fabrizio Maria Maggi (Inf. Syst., 2019)

Preface to the Special Issue on Business Process Innovations with Artificial Intelligence. - Chiara Di Francescomarino; Fabrizio Maria Maggi (J. Data Semant., 2019)

Innovative process paradigms and data driven analytics: A new horizon for software and systems process. - David Raffo; Reda Bendraou; LiGuo Huang; Fabrizio Maria Maggi (J. Softw. Evol. Process., 2019)

Survey and Cross-benchmark Comparison of Remaining Time Prediction Methods in Business Process Monitoring. - Ilya Verenich; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Irene Teinemaa (ACM Trans. Intell. Syst. Technol., 2019)

Outcome-Oriented Predictive Process Monitoring: Review and Benchmark. - Irene Teinemaa; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi (ACM Trans. Knowl. Discov. Data, 2019)

Automated Discovery of Process Models from Event Logs: Review and Benchmark. - Adriano Augusto; Raffaele Conforti; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Andrea Marrella; Massimo Mecella; Allar Soo (IEEE Trans. Knowl. Data Eng., 2019)

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. - Diego Calvanese; Marco Montali; Marlon Dumas; Fabrizio Maria Maggi (Theory Pract. Log. Program., 2019)

Clustering-Based Predictive Process Monitoring. - Chiara Di Francescomarino; Marlon Dumas; Fabrizio Maria Maggi; Irene Teinemaa (IEEE Trans. Serv. Comput., 2019)

Declarative Process Mining. - Fabrizio Maria Maggi (Encyclopedia of Big Data Technologies, 2019)

Temporal Logics Over Finite Traces with Uncertainty. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (AAAI, 2020)

Say It in Your Own Words: Defining Declarative Process Models Using Speech Recognition. - Han van der Aa; Karl Johannes Balder; Fabrizio Maria Maggi; Alexander Nolte (BPM (Forum), 2020)

Declo: A Chatbot for User-friendly Specification of Declarative Process Models. - Anti Alman; Karl Johannes Balder; Fabrizio Maria Maggi; Han van der Aa (BPM (PhD/Demos), 2020)

Robidium: Automated Synthesis of Robotic Process Automation Scripts from UI Logs. - Volodymyr Leno; Stanislav Deviatykh; Artem Polyvyanyy; Marcello La Rosa; Marlon Dumas; Fabrizio Maria Maggi (BPM (PhD/Demos), 2020)

Extending Temporal Business Constraints with Uncertainty. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza; Anti Alman (BPM, 2020)

Explainability in Predictive Process Monitoring: When Understanding Helps Improving. - Williams Rizzi; Chiara Di Francescomarino; Fabrizio Maria Maggi (BPM (Forum), 2020)

Probabilistic Conformance Checking Based on Declarative Process Models. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (CAiSE Forum, 2020)

Rule Mining in Action: The RuM Toolkit. - Anti Alman; Claudio Di Ciccio; Dominik Haas; Fabrizio Maria Maggi; Jan Mendling (ICPM Doctoral Consortium / Tools, 2020)

Rule Mining with RuM. - Anti Alman; Claudio Di Ciccio; Dominik Haas; Fabrizio Maria Maggi; Alexander Nolte (ICPM, 2020)

A Temporal Logic-Based Measurement Framework for Process Mining. - Alessio Cecconi; Giuseppe De Giacomo; Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (ICPM, 2020)

Identifying Candidate Routines for Robotic Process Automation from Unsegmented UI Logs. - Volodymyr Leno; Adriano Augusto; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Artem Polyvyanyy (ICPM, 2020)

Towards Online Discovery of Data-Aware Declarative Process Models from Event Streams. - Nicolò Navarin; Matteo Cambiaso; Andrea Burattin; Fabrizio Maria Maggi; Luca Oneto; Alessandro Sperduti (IJCNN, 2020)

Automated Discovery of Data Transformations for Robotic Process Automation. - Volodymyr Leno; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Artem Polyvyanyy (CoRR, 2020)

Automated discovery of declarative process models with correlated data conditions. - Volodymyr Leno; Marlon Dumas; Fabrizio Maria Maggi; Marcello La Rosa; Artem Polyvyanyy (Inf. Syst., 2020)

Preface to the Special Issue on Artificial Intelligence for Business Process Management 2018. - Chiara Di Francescomarino; Fabrizio Maria Maggi (J. Data Semant., 2020)

Rule Mining with RuM (Extended Abstract). - Anti Alman; Claudio Di Ciccio; Fabrizio Maria Maggi (ITBPM@BPM, 2021)

RuM: Declarative Process Mining, Distilled. - Anti Alman; Claudio Di Ciccio; Fabrizio Maria Maggi; Marco Montali; Han van der Aa (BPM, 2021)

Aligning Data-Aware Declarative Process Models and Event Logs. - Giacomo Bergami; Fabrizio Maria Maggi; Andrea Marrella; Marco Montali (BPM, 2021)

Silhouetting the Cost-Time Front: Multi-objective Resource Optimization in Business Processes. - Orlenys López-Pintado; Marlon Dumas; Maksym Yerokhin; Fabrizio Maria Maggi (BPM (Forum), 2021)

A Tool for Computing Probabilistic Trace Alignments. - Giacomo Bergami; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (CAiSE Forum, 2021)

Discovering Declarative Process Model Behavior from Event Logs via Model Learning. - Simone Agostinelli; Giacomo Bergami; Alessio Fiorenza; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (ICPM, 2021)

Probabilistic Trace Alignment. - Giacomo Bergami; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (ICPM, 2021)

Robotic Process Mining: Vision and Challenges. - Volodymyr Leno; Artem Polyvyanyy; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi (Bus. Inf. Syst. Eng., 2021)

Discovering executable routine specifications from user interaction logs. - Volodymyr Leno; Adriano Augusto; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Artem Polyvyanyy (CoRR, 2021)

Exploring Business Process Deviance with Sequential and Declarative Patterns. - Giacomo Bergami; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi; Joonas Puura (CoRR, 2021)

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (CoRR, 2021)

Beyond arrows in process models: A user study on activity dependences and their rationales. - Greta Adamo; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (Inf. Syst., 2021)

Preface to the Special Issue on Artificial Intelligence for Business Process Management 2019. - Fabrizio Maria Maggi; Andrea Marrella (J. Data Semant., 2021)

Business process variant analysis: Survey and classification. - Farbod Taymouri; Marcello La Rosa; Marlon Dumas; Fabrizio Maria Maggi (Knowl. Based Syst., 2021)

Robotic Process Mining. - Marlon Dumas; Marcello La Rosa; Volodymyr Leno; Artem Polyvyanyy; Fabrizio Maria Maggi (Process Mining Handbook, 2022)

ASP-Based Declarative Process Mining. - Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi (AAAI, 2022)

Declare4Py: A Python Library for Declarative Process Mining. - Ivan Donadello; Francesco Riva; Fabrizio Maria Maggi; Aladdin Shikhizada (BPM (PhD/Demos), 2022)

Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. - Sander J. J. Leemans; Fabrizio Maria Maggi; Marco Montali (BPM, 2022)

Multi-model Monitoring Framework for Hybrid Process Specifications. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (CAiSE, 2022)

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Elena Palmieri; Sergio Tessaris (CILC, 2022)

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (EDOC, 2022)

Context-Aware Trace Alignment with Automated Planning. - Giacomo Acitelli; Marco Angelini; Silvia Bonomi; Fabrizio Maria Maggi; Andrea Marrella; Alessandro Palma (ICPM, 2022)

Making sense of temporal data: the DECLARE encoding. - Chiara Di Francescomarino; Ivan Donadello; Chiara Ghidini; Fabrizio Maria Maggi; Williams Rizzi (PMAI@IJCAI, 2022)

Optimising Business Process Discovery Using Answer Set Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (LPNMR, 2022)

Process Mining: A Guide for Practitioners. - Fredrik Milani; Katsiaryna Lashkevich; Fabrizio Maria Maggi; Chiara Di Francescomarino (RCIS, 2022)

Explainable Predictive Process Monitoring: A User Evaluation. - Williams Rizzi; Marco Comuzzi; Chiara Di Francescomarino; Chiara Ghidini; Suhwan Lee; Fabrizio Maria Maggi; Alexander Nolte (CoRR, 2022)

Encoding resource experience for predictive process monitoring. - Jongchan Kim; Marco Comuzzi; Marlon Dumas; Fabrizio Maria Maggi; Irene Teinemaa (Decis. Support Syst., 2022)

Probabilistic declarative process mining. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (Inf. Syst., 2022)

Measuring the interestingness of temporal logic behavioral specifications in process mining. - Alessio Cecconi; Giuseppe De Giacomo; Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (Inf. Syst., 2022)

Discovering data transfer routines from user interaction logs. - Volodymyr Leno; Adriano Augusto; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi; Artem Polyvyanyy (Inf. Syst., 2022)

Fire now, fire later: alarm-based systems for prescriptive process monitoring. - Stephan A. Fahrenkrog-Petersen; Niek Tax; Irene Teinemaa; Marlon Dumas; Massimiliano de Leoni; Fabrizio Maria Maggi; Matthias Weidlich 001 (Knowl. Inf. Syst., 2022)

How do I update my model? On the resilience of Predictive Process Monitoring models to change. - Williams Rizzi; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (Knowl. Inf. Syst., 2022)

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. - Giuseppe De Giacomo; Riccardo De Masellis; Fabrizio Maria Maggi; Marco Montali (ACM Trans. Softw. Eng. Methodol., 2022)

A tool for compiling Declarative Process Mining problems in ASP. - Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi (Softw. Impacts, 2022)

Generating Event Logs from Hybrid Process Models. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Andrey Rivkin (Business Process Management Workshops, 2023)

From LTL on Process Traces to Finite-state Automata. - Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi (BPM (Demos / Resources Forum), 2023)

Approximating Multi-perspective Trace Alignment Using Trace Encodings. - Alessandro Gianola; Jonghyeon Ko; Fabrizio Maria Maggi; Marco Montali; Sarah Winkler (BPM, 2023)

An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases. - Francesco Riva; Dario Benvenuti; Fabrizio Maria Maggi; Andrea Marrella; Marco Montali (BPM (Forum), 2023)

Counterfactuals and Ways to Build Them: Evaluating Approaches in Predictive Process Monitoring. - Andrei Buliga 001; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (CAiSE, 2023)

Towards a Business-Oriented Approach to Visualization-Supported Interpretability of Prediction Results in Process Mining. - Ana Rocío Cárdenas Maita; Marcelo Fantinato; Sarajane Marques Peres; Fabrizio Maria Maggi (ICEIS (1), 2023)

Supporting Interpretability in Predictive Process Monitoring Using Process Maps. - Ana Rocío Cárdenas Maita; Marcelo Fantinato; Sarajane Marques Peres; Fabrizio Maria Maggi (ICEIS (Revised Selected Papers 1), 2023)

ASP-Based Log Generation with Purposes in Declare4Py. - Ivan Donadello; Fabrizio Maria Maggi; Francesco Riva; Manpreet Singh (ICPM Doctoral Consortium / Demo, 2023)

Two Solutions for Checking LTLf Properties in Event Logs. - Tedi Ibershimi; Diellsimeone Xhemalaj; Anti Alman; Ivan Donadello; Fabrizio Maria Maggi (ICPM Doctoral Consortium / Demo, 2023)

Plan Recognition as Probabilistic Trace Alignment. - Jonghyeon Ko; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza; Ramon Fraga Pereira (ICPM, 2023)

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). - Sander J. J. Leemans; Fabrizio Maria Maggi; Marco Montali (IJCAI, 2023)

Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library. - Anti Alman; Ivan Donadello; Fabrizio Maria Maggi; Marco Montali (PROFES (2), 2023)

Explain, Adapt and Retrain: How to improve the accuracy of a PPM classifier through different explanation styles. - Williams Rizzi; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (CoRR, 2023)

Knowledge-Driven Modulation of Neural Networks with Attention Mechanism for Next Activity Prediction. - Ivan Donadello; Jonghyeon Ko; Fabrizio Maria Maggi; Jan Mendling; Francesco Riva; Matthias Weidlich 001 (CoRR, 2023)

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. - Simone Agostinelli; Francesco Chiariello; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (Inf. Syst., 2023)

Data-aware process discovery for malware detection: an empirical study. - Mario Luca Bernardi; Marta Cimitile; Fabrizio Maria Maggi (Mach. Learn., 2023)

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (Artif. Intell. Medicine, 2023)

A tool for declarative Trace Alignment via automated planning. - Giuseppe De Giacomo; Francesco Fuggitti; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (Softw. Impacts, 2023)

Editorial: recent advances in process analytics. - Paolo Ceravolo; Claudio Di Ciccio; Chiara Di Francescomarino; María Teresa Gómez-López; Fabrizio Maria Maggi; Renuka Sindhgatta (J. Intell. Inf. Syst., 2023)

Data-Aware Declarative Process Mining with SAT. - Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi; Vasyl Skydanienko (ACM Trans. Intell. Syst. Technol., 2023)

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (Inf. Syst., 2023)

Outcome-Oriented Prescriptive Process Monitoring based on Temporal Logic Patterns. - Ivan Donadello; Chiara Di Francescomarino; Fabrizio Maria Maggi; Francesco Ricci 001; Aladdin Shikhizada (Eng. Appl. Artif. Intell., 2023)

Process Discovery on Deviant Traces and Other Stranger Things. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (IEEE Trans. Knowl. Data Eng., 2023)

Nirdizati Light: A Modular Framework for Explainable Predictive Process Monitoring. - Andrei Buliga 001; Riccardo Graziosi; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi; Williams Rizzi; Massimiliano Ronzani (BPM (Demos / Resources Forum), 2024)

Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications. - Ivan Donadello; Paolo Felli; Craig Innes; Fabrizio Maria Maggi; Marco Montali (BPM, 2024)

Towards a Multi-model Paradigm for Business Process Management. - Anti Alman; Fabrizio Maria Maggi; Stefanie Rinderle-Ma; Andrey Rivkin; Karolin Winter (CAiSE, 2024)

Making Sense of Temporal Event Data:A Framework for Comparing Techniques for the Discovery of Discriminative Temporal Patterns. - Chiara Di Francescomarino; Ivan Donadello; Chiara Ghidini; Fabrizio Maria Maggi; Williams Rizzi; Sergio Tessaris (CAiSE, 2024)

EDD: A Web-Based Editor for Declarative Process Models Using easyDeclare. - Graziano Blasilli; Lauren S. Ferro; Simone Lenti; Fabrizio Maria Maggi; Andrea Marrella; Tiziana Catarci (ICPM Doctoral Consortium / Demo, 2024)

Discovering Process Framing for AI-Augmented BPM Systems in a Multi-Process Setting. - Anti Alman; Izack Cohen; Avigdor Gal; Fabrizio Maria Maggi; Marco Montali (PMAI@ECAI, 2024)

Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring. - Andrei Buliga 001; Chiara Di Francescomarino; Chiara Ghidini; Ivan Donadello; Fabrizio Maria Maggi (CoRR, 2024)

Enjoy the silence: Analysis of stochastic Petri nets with silent transitions. - Sander J. J. Leemans; Fabrizio Maria Maggi; Marco Montali (Inf. Syst., 2024)

Aligning Metric Temporal Constraints and Event Logs via Numeric Planning. - Giacomo Acitelli; Elisa De Bellis; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (BPM, 2025)

Declarative Process Specifications over Discrete/Continuous Event Data. - Carl Corea; Anti Alman; Fabrizio Maria Maggi; Paul Hermann Wittlinger (CAiSE (2), 2025)

Detecting and repairing anomaly patterns in business process event logs. - Jonghyeon Ko; Marco Comuzzi; Fabrizio Maria Maggi (Data Knowl. Eng., 2025)

Achieving framed autonomy in AI-augmented business process management systems through automated planning. - Giacomo Acitelli; Anti Alman; Fabrizio Maria Maggi; Andrea Marrella (Inf. Syst., 2025)

Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments. - Alessandro Gianola; Jonghyeon Ko; Fabrizio Maria Maggi; Marco Montali; Sarah Winkler (Inf. Syst., 2025)

Nirdizati: an advanced predictive process monitoring toolkit. - Williams Rizzi; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (J. Intell. Inf. Syst., 2025)

Probabilistic Temporal Reasoning Using Superposition Semantics. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (ACM Trans. Comput. Log., 2025)

A Language to Model and Simulate Data Quality Issues in Process Mining. - Marco Comuzzi; Jonghyeon Ko; Fabrizio Maria Maggi (ACM J. Data Inf. Qual., 2025)