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
https://portal.mardi4nfdi.de/entity/Q4580201	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sebastian Küpper