Author of the publication

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments.

, , and . BPM, volume 9850 of Lecture Notes in Computer Science, page 39-56. Springer, (2016)

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

Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 125-145. Springer, (2006)Concurrency in Boolean networks., , , , and . CoRR, (2019)Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems., , and . SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 141-152. Springer, (2009)Taking Complete Finite Prefixes To High Level, Symbolically., , , and . CoRR, (2023)Concurrency in Boolean networks., , , , and . Nat. Comput., 19 (1): 91-109 (2020)Timed Alignments with Mixed Moves., and . Business Process Management Workshops, volume 492 of Lecture Notes in Business Information Processing, page 186-197. Springer, (2023)A Canonical Contraction for Safe Petri Nets., and . Trans. Petri Nets Other Model. Concurr., (2014)Alignment-based Quality Metrics in Conformance Checking., , and . EMISA Forum, 36 (2): 77-80 (2016)Alignment-Based Trace Clustering., , and . ER, volume 10650 of Lecture Notes in Computer Science, page 295-308. Springer, (2017)Optimized SAT encoding of conformance checking artefacts., , and . Computing, 103 (1): 29-50 (2021)