Mathilde Boltenhagen

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 12

Top Topics

Pseudo Boolean Constraints

Business Processes

Top Venues

Business Process Management Workshops

Publications

Mathilde Boltenhagen
Process Instance Clustering Based on Conformance Checking Artefacts. BPM (PhD/Demos) (2022)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Optimized SAT encoding of conformance checking artefacts. Computing 103 (1) (2021)
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Anti-alignments - Measuring the precision of process models and event logs. Inf. Syst. 98 (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Model-based trace variant analysis of event logs. Inf. Syst. 102 (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
A Discounted Cost Function for Fast Alignments of Business Processes. BPM (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
-Algorithm for Computing Discounted Anti-Alignments in Process Mining. ICPM (2021)
Mathilde Boltenhagen, Benjamin Chetioui, Laurine Huber
An Alignment Cost-Based Classification of Log Traces Using Machine-Learning. ICPM Workshops (2020)
Mohammadreza Fani Sani, Mathilde Boltenhagen, Wil M. P. van der Aalst
Prototype Selection Using Clustering and Conformance Metrics for Process Discovery. Business Process Management Workshops (2020)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Generalized Alignment-Based Trace Clustering of Process Behavior. Petri Nets (2019)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Encoding Conformance Checking Artefacts in SAT. Business Process Management Workshops (2019)
Mohammadreza Fani Sani, Mathilde Boltenhagen, Wil M. P. van der Aalst
Prototype Selection Based on Clustering and Conformance Metrics for Model Discovery. CoRR (2019)
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Anti-Alignments - Measuring The Precision of Process Models and Event Logs. CoRR (2019)