Preservation and reflection of bisimilarity via invertible steps R Turkenburg, C Kupke, J Rot, E Schoen Springer, 2023 | 1 | 2023 |
Forward and Backward Steps in a Fibration R Turkenburg, H Beohar, C Kupke, J Rot Dagstuhl: Dagstuhl Publishing, 2023 | 1 | 2023 |
Proving Behavioural Apartness R Turkenburg, H Beohar, C Kupke, J Rot arXiv preprint arXiv:2404.16588, 2024 | | 2024 |
A Categorical Approach to Coalgebraic Fixpoint Logic E Schoen, C Kupke, J Rot, R Turkenburg | | 2024 |
Corecursion up-to via Causal Transformations D Pous, J Rot, R Turkenburg International Workshop on Coalgebraic Methods in Computer Science, 133-154, 2022 | | 2022 |