Niels Lücking

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Business Process

Kalman Filtering

State Estimation

Top Venues

Log. Methods Comput. Sci.

Publications

Erich Grädel, Niels Lücking, Matthias Naaf
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials. Log. Methods Comput. Sci. 20 (1) (2024)
Mahsa Pourbafrani, Niels Lücking, Matthieu Lucke, Wil M. P. van der Aalst
Steady State Estimation for Business Process Simulations. BPM (Forum) (2023)
Erich Grädel, Niels Lücking, Matthias Naaf
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. GandALF (2021)
Erich Grädel, Niels Lücking, Matthias Naaf
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. CoRR (2021)