A Lattice-Theoretical View of Strategy Iteration. - Paolo Baldan; Richard Eggert; Barbara König 001; Tommaso Padoan (CSL, 2023)

Fixpoint Theory - Upside Down. - Paolo Baldan; Richard Eggert; Barbara König 001; Tommaso Padoan (Log. Methods Comput. Sci., 2023)

Fixpoint Checks and Computations for Behavioural Metrics and Games. - Richard Eggert (2024)

A Monoidal View on Fixpoint Checks. - Paolo Baldan; Richard Eggert; Barbara König 001; Timo Matt; Tommaso Padoan (Log. Methods Comput. Sci., 2025)