Daniel Luckhardt

According to our database, Daniel Luckhardt authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Expressivity of Bisimulation Pseudometrics over Analytic State Spaces.

Daniel Luckhardt, Harsh Beohar, Clemens Kupke

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

On Kleisli liftings and decorated trace semantics.

Daniel Luckhardt, Harsh Beohar, Sebastian Küpper

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024