Sebastian Küpper

23 papers B 4Misc 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2024 B conf
On Kleisli liftings and decorated trace semantics.
MFPS
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
2022 J jnl
Conditional Bisimilarity for Reactive Systems.
Log. Methods Comput. Sci.
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2022 — conf
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.
CMCS
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
2021 J jnl
Coalgebraic modal logic and games for coalgebras with side effects.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
2020 B conf
Conditional Bisimilarity for Reactive Systems.
FSCD
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2020 J jnl
Conditional Bisimilarity for Reactive Systems.
CoRR
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2020 J jnl
Conditional transition systems with upgrades.
Sci. Comput. Program.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2019 B conf
Bisimulation Maps in Presheaf Categories.
MFPS
Harsh Beohar, Sebastian Küpper
2019 J jnl
Bisimulation maps in presheaf categories.
CoRR
Harsh Beohar, Sebastian Küpper
2018 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
Log. Methods Comput. Sci.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
2018 J jnl
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata.
Soft Comput.
Barbara König, Sebastian Küpper
2018 — —
Behavioural Analysis of Systems with Weights and Conditions.
Sebastian Küpper
2017 J jnl
Conditional Transition Systems with Upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 Misc conf
Conditional transition systems with upgrades.
TASE
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 B conf
On Path-Based Coalgebras and Weak Notions of Bisimulation.
CALCO
Harsh Beohar, Sebastian Küpper
2017 J jnl
On path-based coalgebras and weak notions of bisimulation.
CoRR
Harsh Beohar, Sebastian Küpper
2017 — conf
PAWS: A Tool for the Analysis of Weighted Systems.
QAPL
Barbara König, Sebastian Küpper, Christina Mika
2017 J jnl
Up-To Techniques for Weighted Systems (Extended Version).
CoRR
Filippo Bonchi, Barbara König, Sebastian Küpper
2017 — conf
Up-To Techniques for Weighted Systems.
TACAS (1)
Filippo Bonchi, Barbara König, Sebastian Küpper
2016 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2015 J jnl
Robustness and closure properties of recognizable languages in adhesive categories.
Sci. Comput. Program.
H. J. Sander Bruggink, Barbara König, Sebastian Küpper
2014 — conf
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.
IFIP TCS
Barbara König, Sebastian Küpper
2013 J jnl
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sebastian Küpper, Barbara König, H. J. Sander Bruggink