Sebastian Küpper

ORCID

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 18

Top Venues

CoRR

Sci. Comput. Program.

Log. Methods Comput. Sci.

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

University of Duisburg-Essen, Germany (PHD)

Education History

University of Duisburg-Essen, Germany

PHD

Publications

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

Sebastian Küpper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Küpper