Sebastian Küpper

Available identifiers

zbMath Open kupper.sebastianMaRDI QIDQ1797780

List of research outcomes

Publication	Date of Publication	Type
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic	2022-12-07	Paper
Bisimulation maps in presheaf categories	2022-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5028460	2022-02-09	Paper
Up-To Techniques for Weighted Systems	2020-08-05	Paper
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata	2018-10-22	Paper
On path-based coalgebras and weak notions of bisimulation	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4637688	2018-04-25	Paper
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata	2014-09-15	Paper

Research outcomes over time

This page was built for person: Sebastian Küpper