Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation. - Daniel Schuster 001; Gero Joss Kolhof (ICSOC Workshops, 2020)

An Invertible State Space for Process Trees. - Gero J. Kolhof; Sebastiaan J. van Zelst (CoRR, 2024)