Sebastian Küpper

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Kleisli liftings and decorated trace semantics	2026-04-02	Paper
Conditional bisimilarity for reactive systems	2026-02-24	Paper
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (available as arXiv preprint)	2022-12-07	Paper
Bisimulation maps in presheaf categories (available as arXiv preprint)	2022-04-29	Paper
scientific article; zbMATH DE number 7471695 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471695 (Why is no real title available?)	2022-02-09	Paper
Up-To Techniques for Weighted Systems Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata Soft Computing	2018-10-22	Paper
On path-based coalgebras and weak notions of bisimulation (available as arXiv preprint)	2018-08-13	Paper
scientific article; zbMATH DE number 6864542 (Why is no real title available?) (available as arXiv preprint)	2018-04-25	Paper
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata Advanced Information Systems Engineering	2014-09-15	Paper

Research outcomes over time

This page was built for person: Sebastian Küpper