Author of the publication

Alignment Based Precision Checking.

, , , , and . Business Process Management Workshops, volume 132 of Lecture Notes in Business Information Processing, page 137-149. Springer, (2012)

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

Alignment Based Precision Checking., , , , and . Business Process Management Workshops, volume 132 of Lecture Notes in Business Information Processing, page 137-149. Springer, (2012)Process Discovery Algorithms Using Numerical Abstract Domains., and . IEEE Trans. Knowl. Data Eng., 26 (12): 3064-3076 (2014)Synthesis of Asynchronous Hardware from Petri Nets., , , and . Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 345-401. Springer, (2003)A Symbolic Algorithm for the Synthesis of Bounded Petri Nets., , , , , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 92-111. Springer, (2008)A Region-Based Algorithm for Discovering Petri Nets from Event Logs., , and . BPM, volume 5240 of Lecture Notes in Computer Science, page 358-373. Springer, (2008)A quality control method for fraud detection on utility customers without an active contract., and . SAC, page 495-498. ACM, (2018)Generalized Alignment-Based Trace Clustering of Process Behavior., , and . Petri Nets, volume 11522 of Lecture Notes in Computer Science, page 237-257. Springer, (2019)Amending C-net discovery algorithms., and . SAC, page 1418-1425. ACM, (2013)Analytical Performance Modeling of Hierarchical Interconnect Fabrics., , , and . NOCS, page 107-114. IEEE Computer Society, (2012)Enhancing precision in Process Conformance: Stability, confidence and severity., and . CIDM, page 184-191. IEEE, (2011)