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

Complete Test Suites for Automata in Monoidal Closed Categories. - Bálint Kocsis; Jurriaan Rot (FoSSaCS, 2025)

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