Corecursion Up-to via Causal Transformations. - Damien Pous; Jurriaan Rot; Ruben Turkenburg (CMCS, 2022)

Forward and Backward Steps in a Fibration. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CALCO, 2023)

Preservation and Reflection of Bisimilarity via Invertible Steps. - Ruben Turkenburg; Clemens Kupke; Jurriaan Rot; Ezra Schoen (FoSSaCS, 2023)

A Categorical Approach to Coalgebraic Fixpoint Logic. - Ezra Schoen; Clemens Kupke; Jurriaan Rot; Ruben Turkenburg (CMCS, 2024)

Proving Behavioural Apartness. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CMCS, 2024)

Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). - Thorsten Wißmann; Bálint Kocsis; Jurriaan Rot; Ruben Turkenburg (CALCO, 2025)

Trees in Coalgebra from Generalized Reachability. - Thorsten Wißmann; Bálint Kocsis; Jurriaan Rot; Ruben Turkenburg (CoRR, 2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances. - Ruben Turkenburg; Harsh Beohar; Franck van Breugel; Clemens Kupke; Jurriaan Rot (CoRR, 2025)