Ruben Turkenburg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Constructing Witnesses for Lower Bounds on Behavioural Distances. | Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2025 | CALCO | Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). | Thorsten Wimann, Blint Kocsis, Jurriaan Rot, Ruben Turkenburg |
| 2023 | CALCO | Forward and Backward Steps in a Fibration. | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
| 2023 | FOSSACS | Preservation and Reflection of Bisimilarity via Invertible Steps. | Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |