Ruben Turkenburg

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Top Venues

Publications

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Forward and Backward Steps in a Fibration. CALCO (2023)
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
Preservation and Reflection of Bisimilarity via Invertible Steps. FoSSaCS (2023)
Damien Pous, Jurriaan Rot, Ruben Turkenburg
Corecursion Up-to via Causal Transformations. CMCS (2022)