Items where authors include "Kupke, C."
![[up]](/style/images/multi_up.png)
Up a levelProceedings Paper
Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, van Breugel, F. et al. (2 more authors) (2025) Constructing witnesses for lower bounds on behavioural distances. In: Leibniz International Proceedings in Informatics. 34th EACSL Annual Conference on Computer Science Logic (CSL 2026), 24-27 Feb 2026, Paris, France. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik . (In Press)
Luckhardt, D. orcid.org/0000-0002-1886-5622, Beohar, H. orcid.org/0000-0001-5256-1334 and Kupke, C. orcid.org/0000-0002-0502-391X (2025) Expressivity of bisimulation pseudometrics over analytic state spaces. In: Cîrstea, C. and Knapp, A., (eds.) Leibniz International Proceedings in Informatics. 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025), 16-18 Jun 2025, Strathclyde, United Kingdom. Leibniz International Proceedings in Informatics (LIPIcs), 342 . .
Turkenburg, R. orcid.org/0000-0001-7336-9405, Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. orcid.org/0000-0002-0502-391X et al. (1 more author) (2024) Proving behavioural apartness. In: König, B. and Urbat, H., (eds.) Coalgebraic Methods in Computer Science. 17th IFIP WG 1.3 International Workshop, CMCS 2024, 06-07 Apr 2024, Luxembourg City, Luxembourg. Lecture Notes in Computer Science, 14617 . Springer Nature Switzerland , pp. 156-173. ISBN 9783031664373
Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2023) Forward and backward steps in a fibration. In: Baldan, P. and de Paiva, V., (eds.) 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 19-21 Jun 2023, Padova, Italy. Leibniz International Proceedings in Informatics (LIPIcs), 270 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 6:1-6:18.
Preprint
Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2024) Proving behavioural apartness. [Preprint] (Submitted)