Ruben Turkenburg

11 papers B 4Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CSL
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 J jnl
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CoRR
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 B conf
Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl).
CALCO
Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg
2025 J jnl
Trees in Coalgebra from Generalized Reachability.
CoRR
Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg
2024 — conf
A Categorical Approach to Coalgebraic Fixpoint Logic.
CMCS
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
2024 J jnl
A Categorical Approach to Coalgebraic Fixpoint Logic.
CoRR
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
2024 — conf
Proving Behavioural Apartness.
CMCS
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2024 J jnl
Proving Behavioural Apartness.
CoRR
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2023 B conf
Forward and Backward Steps in a Fibration.
CALCO
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2023 B conf
Preservation and Reflection of Bisimilarity via Invertible Steps.
FoSSaCS
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
2022 — conf
Corecursion Up-to via Causal Transformations.
CMCS
Damien Pous, Jurriaan Rot, Ruben Turkenburg