On Kleisli liftings and decorated trace semantics. - Daniel Luckhardt; Harsh Beohar; Sebastian Küpper (CoRR, 2024)

Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. - Daniel Luckhardt; Harsh Beohar; Clemens Kupke (CALCO, 2025)