Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories. - Sebastian Küpper; Barbara König 001; H. J. Sander Bruggink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. - Barbara König 001; Sebastian Küpper (IFIP TCS, 2014)

Robustness and closure properties of recognizable languages in adhesive categories. - H. J. Sander Bruggink; Barbara König 001; Sebastian Küpper (Sci. Comput. Program., 2015)

A coalgebraic treatment of conditional transition systems with upgrades. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Alexandra Silva 001 (CoRR, 2016)

On Path-Based Coalgebras and Weak Notions of Bisimulation. - Harsh Beohar; Sebastian Küpper (CALCO, 2017)

Up-To Techniques for Weighted Systems. - Filippo Bonchi; Barbara König 001; Sebastian Küpper (TACAS (1), 2017)

PAWS: A Tool for the Analysis of Weighted Systems. - Barbara König 001; Sebastian Küpper; Christina Mika (QAPL@ETAPS, 2017)

Up-To Techniques for Weighted Systems (Extended Version). - Filippo Bonchi; Barbara König 001; Sebastian Küpper (CoRR, 2017)

A coalgebraic treatment of conditional transition systems with upgrades. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Alexandra Silva 001; Thorsten Wißmann (Log. Methods Comput. Sci., 2018)

A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. - Barbara König 001; Sebastian Küpper (Soft Comput., 2018)

Behavioural Analysis of Systems with Weights and Conditions. - Sebastian Küpper (Dr. Hut, 2018)

Bisimulation Maps in Presheaf Categories. - Harsh Beohar; Sebastian Küpper (MFPS, 2019)

Conditional transition systems with upgrades. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Alexandra Silva 001 (Sci. Comput. Program., 2020)

Coalgebraic modal logic and games for coalgebras with side effects. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Christina Mika-Michalski (CoRR, 2021)

Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Christina Mika-Michalski (CMCS, 2022)

Conditional Bisimilarity for Reactive Systems. - Mathias Hülsbusch; Barbara König 001; Sebastian Küpper; Lara Stoltenow (Log. Methods Comput. Sci., 2022)

On Kleisli liftings and decorated trace semantics. - Daniel Luckhardt; Harsh Beohar; Sebastian Küpper (CoRR, 2024)