Hennessy-Milner Theorems via Galois Connections. - Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CSL, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CoRR, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Karla Messing (CMCS, 2024)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. - Keri D'Angelo; Sebastian Gurke; Johanna Maria Kirss; Barbara König 001; Matina Najafi; Wojciech Rozowski; Paul Wild (CONCUR, 2024)

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. - Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing; Jonas Forster; Lutz Schröder; Paul Wild (STACS, 2024)

Approximating Fixpoints of Approximated Functions. - Paolo Baldan; Sebastian Gurke; Barbara König 001; Tommaso Padoan; Florian Wittbold (CAV (2), 2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CSL, 2025)

Computing Approximated Fixpoints via Dampened Mann Iteration. - Paolo Baldan; Sebastian Gurke; Barbara König 001; Tommaso Padoan; Florian Wittbold (CoRR, 2025)