Author of the publication

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

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints., , , , , , , , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 201-216. CEUR-WS.org, (2022)Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)., , and . IJCAI, page 6452-6457. ijcai.org, (2023)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)Rule Mining with RuM., , , , and . ICPM, page 121-128. IEEE, (2020)Identifying Candidate Routines for Robotic Process Automation from Unsegmented UI Logs., , , , , and . ICPM, page 153-160. IEEE, (2020)A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps., , and . CAiSE, volume 7908 of Lecture Notes in Computer Science, page 433-448. Springer, (2013)Multi-model Monitoring Framework for Hybrid Process Specifications., , , , and . CAiSE, volume 13295 of Lecture Notes in Computer Science, page 319-335. Springer, (2022)