Niels Lücking

According to our database, Niels Lücking authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials.

Erich Grädel, Niels Lücking, Matthias Naaf

Log. Methods Comput. Sci., 2024

2023

Steady State Estimation for Business Process Simulations.

Mahsa Pourbafrani, Niels Lücking, Matthieu Lucke, Wil M. P. van der Aalst

Proceedings of the Business Process Management Forum, 2023

2021

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.

Erich Grädel, Niels Lücking, Matthias Naaf

Proceedings of the Proceedings 12th International Symposium on Games, 2021