Publications by Sebastian Küpper

2017

Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems. In Proc. of TACAS '17, Part I, pages 535–552. Springer, 2017. LNCS 10205.
Info
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition system with upgrades. In Proc. of TASE '17 (Theoretical Aspects of Software Engineering), 2017. to appear.
Info
Harsh Beohar and Sebastian Küpper. On path-based coalgebras and weak notions of bisimulation. In Proc. of CALCO '17, 2017. to appear.
Info
Barbara König, Sebastian Küpper, and Christina Mika. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), 2017. to appear.
Info

2016

Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, pages 1–18, 2016.
Info
See dx.doi.org ...

2015

H. J. Sander Bruggink, Barbara König, and Sebastian Küpper. Robustness and closure properties of recognizable languages in adhesive categories. Sci. Comput. Program., 104:71–98, 2015.
Info
See dx.doi.org ...

2014

Barbara König and Sebastian Küpper. Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata. In Proc. of TCS '14, IFIP AICT, pages 311–325. Springer, 2014. LNCS 8705.
Info

2013

H.J. Sander Bruggink, Barbara König, and Sebastian Küpper. Concatenation and other closure properties of recognizable languages in adhesive categories. In Proc. of GT-VMT '13 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 58 of Electronic Communications of the EASST, 2013.
Info

2012

Sebastian Küpper. Abschlusseigenschaften für graph-sprachen mit anwendungen auf terminierungsanalyse. Master's thesis, Universität Duisburg-Essen, 2012.
PDF (678 kB)
Info

2011

Sebastian Küpper. Matchings und totale dominanz. Master's thesis, Universität Duisburg-Essen, 2011.
PDF (524 kB)
Info

2010

Sebastian Küpper. Algorithmen für baum- und pfadzerlegungen von graphen, 2010.
PDF (575 kB)
Info
© University of Duisburg-Essen, Theoretical Computer Science group