Author of the publication

Mining Business Process Stages from Event Logs.

, , , , and . CAiSE, volume 10253 of Lecture Notes in Computer Science, page 577-594. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Probabilistic Temporal Logic over Finite Traces (Technical Report)., , and . CoRR, (2019)Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities., , , and . RuleML, volume 8620 of Lecture Notes in Computer Science, page 281-295. Springer, (2014)Compliance Monitoring of Multi-Perspective Declarative Process Models., , and . EDOC, page 151-160. IEEE, (2019)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 250-267. Springer, (2012)Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces., , , and . CoRR, (2020)On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment., , , and . AAAI, page 3555-3561. AAAI Press, (2017)Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)., , and . IJCAI, page 6452-6457. ijcai.org, (2023)A Tool for the Analysis of DMN Decision Tables., and . BPM (Demos), volume 1789 of CEUR Workshop Proceedings, page 56-60. CEUR-WS.org, (2016)Nirdizati 2.0: New Features and Redesigned Backend., , , , , and . BPM (PhD/Demos), volume 2420 of CEUR Workshop Proceedings, page 154-158. CEUR-WS.org, (2019)From LTL on Process Traces to Finite-state Automata., , and . BPM (Demos / Resources Forum), volume 3469 of CEUR Workshop Proceedings, page 127-131. CEUR-WS.org, (2023)