Sebastian Küpper

According to our database, Sebastian Küpper authored at least 16 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Conditional Bisimilarity for Reactive Systems.

Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow

Log. Methods Comput. Sci., 2022

Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Coalgebraic modal logic and games for coalgebras with side effects.

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

CoRR, 2021

2020

Conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

Sci. Comput. Program., 2020

2019

Bisimulation Maps in Presheaf Categories.

Harsh Beohar, Sebastian Küpper

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2018

Behavioural Analysis of Systems with Weights and Conditions.

Sebastian Küpper

PhD thesis, 2018

A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata.

Barbara König, Sebastian Küpper

Soft Comput., 2018

A coalgebraic treatment of conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

Log. Methods Comput. Sci., 2018

2017

Up-To Techniques for Weighted Systems (Extended Version).

Filippo Bonchi, Barbara König, Sebastian Küpper

CoRR, 2017

PAWS: A Tool for the Analysis of Weighted Systems.

Barbara König, Sebastian Küpper, Christina Mika

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Up-To Techniques for Weighted Systems.

Filippo Bonchi, Barbara König, Sebastian Küpper

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

On Path-Based Coalgebras and Weak Notions of Bisimulation.

Harsh Beohar, Sebastian Küpper

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

A coalgebraic treatment of conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

CoRR, 2016

2015

Robustness and closure properties of recognizable languages in adhesive categories.

H. J. Sander Bruggink, Barbara König, Sebastian Küpper

Sci. Comput. Program., 2015

2014

Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.

Barbara König, Sebastian Küpper

Proceedings of the Theoretical Computer Science, 2014

2013

Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories.

Sebastian Küpper, Barbara König, H. J. Sander Bruggink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013