Ruben Turkenburg

According to our database, Ruben Turkenburg authored at least 8 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Constructing Witnesses for Lower Bounds on Behavioural Distances.

Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Trees in Coalgebra from Generalized Reachability.

Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg

CoRR, March, 2025

Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl).

Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

Proving Behavioural Apartness.

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2024

A Categorical Approach to Coalgebraic Fixpoint Logic.

Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Preservation and Reflection of Bisimilarity via Invertible Steps.

Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Forward and Backward Steps in a Fibration.

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Corecursion Up-to via Causal Transformations.

Damien Pous, Jurriaan Rot, Ruben Turkenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2022