Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. - Erich Grädel; Niels Lücking; Matthias Naaf (GandALF, 2021)

Steady State Estimation for Business Process Simulations. - Mahsa Pourbafrani; Niels Lücking; Matthieu Lucke; Wil M. P. van der Aalst (BPM (Forum), 2023)

Semiring Provenance for B "uchi Games: Strategy Analysis with Absorptive Polynomials. - Erich Grädel; Niels Lücking; Matthias Naaf (Log. Methods Comput. Sci., 2024)