References

• 2018Fundamentals of Business Process Management1,831 cited
• 2016Process Mining: Data Science in Action866 cited
• 2007DECLARE: Full Support for Loosely-Structured Processes583 cited
• 2018Automated Discovery of Process Models from Event Logs: Review and Benchmark440 cited
• 2011Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata233 cited
• 2015Compliance monitoring in business processes: Functionalities, application, and tool-support193 cited
• 2016Filtering Out Infrequent Behavior from Business Process Event Logs164 cited
• 2012Efficient Discovery of Understandable Declarative Process Models from Event Logs162 cited
• 2017An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring117 cited
• 2021Business process variant analysis: Survey and classification104 cited
• 2012Aligning Event Logs and Declarative Process Models for Conformance Checking98 cited
• 2012Runtime Verification of LTL-Based Declarative Process Models98 cited
• 2014An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data97 cited
• 2021Stochastic process mining: Earth movers’ stochastic conformance93 cited