Ruben Turkenburg

According to our database, Ruben Turkenburg authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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