• Corecursion up-to via Causal Transformations, Damien Pous, Jurriaan Rot, Ruben Turkenburg (presented at CMCS '22, DOI)
• Preservation and Reflection of Bisimilarity via Invertible Steps, Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen (presented at FoSSaCS '23, DOI)
• Forward and Backward Steps in a Fibration, Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot (CALCO '23, DOI)
• Proving Behavioural Apartness, Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot (CMCS '24, to appear)
• A Categorical Approach to Coalgebraic Fixpoint Logic, Ezra Schoen, Clemens Kupke, Jurriaan Rot and Ruben Turkenburg (CMCS '24, to appear)